The following pages link to Regular and exact completions (Q1380046):
Displaying 34 items.
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- Families of symmetries as efficient models of resource binding (Q2919450) (← links)
- Exact completions and small sheaves (Q2919780) (← links)
- Notions of flatness relative to a Grothendieck topology (Q3156481) (← links)
- Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
- Completion varieties (Q3705505) (← links)
- A note on the exact completion of a regular category, and its infinitary generalizations (Q4226769) (← links)
- (Q4230985) (← links)
- A note on free regular and exact completions and their infinitary generalizations (Q4342434) (← links)
- (Q4379679) (← links)
- (Q4390739) (← links)
- \(M\)-completeness is seldom monadic over graphs (Q4488088) (← links)
- (Q4675788) (← links)
- A property of effectivization and its uses in categorical logic (Q4975426) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- The matrix taxonomy of finitely complete categories (Q5080357) (← links)
- The existential completion (Q5129224) (← links)
- A characterisation of the category of compact Hausdorff spaces (Q5137920) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- Categories of weak fractions (Q5207358) (← links)
- Regular functors and relative realisability categories (Q5400856) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Syntactic characterizations of various classes of locally presentable categories (Q5939609) (← links)
- When do completion processes give rise to extensive categories? (Q5939822) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Exact completion and representations in abelian categories (Q5947977) (← links)
- On algebraically exact categories and essential localizations of varieties (Q5952407) (← links)
- Accessible categories with a class of limits (Q6051098) (← links)
- A generalization of de Vries duality to closed relations between compact Hausdorff spaces (Q6113249) (← links)
- On categorical structures arising from implicative algebras: from topology to assemblies (Q6145036) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)
- Stone duality for relations (Q6612781) (← links)
- Filtered colimit elimination from Birkhoff's variety theorem (Q6671712) (← links)
