Pages that link to "Item:Q922544"
From MaRDI portal
The following pages link to A theorem on Barr-exact categories, with an infinitary generalization (Q922544):
Displaying 22 items.
- Barr's embedding theorem for enriched categories (Q538061) (← links)
- On regular monomorphisms in weakly locally presentable categories (Q678842) (← links)
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- Representation of categories (Q1084490) (← links)
- Functorial semantics and HSP type theorems (Q1319054) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Definable categories (Q1689577) (← links)
- Weak equivalence of internal categories (Q1840735) (← links)
- On linear exactness properties (Q2035813) (← links)
- Structure sheaves of definable additive categories (Q2268582) (← links)
- Enriched regular theories (Q2301998) (← links)
- Tameness from two successive good frames (Q2303697) (← links)
- Quasi-coproducts and accessible categories with wide pullbacks (Q2563764) (← links)
- Definable additive categories: purity and model theory (Q3082826) (← links)
- The Bartle-Graves theorem in the category of quotient bornological spaces (Q3426095) (← links)
- A property of effectivization and its uses in categorical logic (Q4975426) (← links)
- Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} (Q5243125) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
- Strictly atomic modules in definable categories (Q6580069) (← links)
- A complete axiomatization of infinitary first-order intuitionistic logic over \(\mathcal{L}_{\kappa^+ , \kappa} \) (Q6614041) (← links)
- Definable categories and monoidal categories (Q6617861) (← links)
