{"version":"1.0","type":"link","title":"Exact completion - Newikis","description":"In category theory, a branch of mathematics, the exact completion constructs a Barr-exact category from any finitely complete category. It is used to form the effective topos and other realizability toposes.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}