Pages that link to "Item:Q3995283"
From MaRDI portal
The following pages link to Accessible Categories: The Foundations of Categorical Model Theory (Q3995283):
Displayed 50 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories (Q676312) (← links)
- On regular monomorphisms in weakly locally presentable categories (Q678842) (← links)
- On combinatorial model categories (Q839591) (← links)
- Model-theoretic imaginaries and coherent sheaves (Q843754) (← links)
- \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems (Q857748) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Unexpected properties of locally presentable categories (Q913938) (← links)
- A theorem on Barr-exact categories, with an infinitary generalization (Q922544) (← links)
- Weak complicial sets. I: Basic homotopy theory (Q950425) (← links)
- Mal'cev conditions revisited (Q1029605) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Open localizations (Q1181456) (← links)
- The fundamental localic groupoid of a topos (Q1184023) (← links)
- The logic of structures (Q1196790) (← links)
- Syntactic characterization of closure under connected limits (Q1210580) (← links)
- Dinatural numbers (Q1295522) (← links)
- More on directed colimits of models (Q1330914) (← links)
- On the notion of bimodel for functorial semantics (Q1332449) (← links)
- Descent and duality (Q1345009) (← links)
- Accessibility and the solution set condition (Q1346709) (← links)
- Liminf convergence in \(\Omega\)-categories (Q1390934) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Higher Čech theory (Q1770810) (← links)
- How accessible are categories of algebras? (Q1812029) (← links)
- A classification of accessible categories (Q1850092) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- Quillen closed model structures for sheaves (Q1898414) (← links)
- On preaccessible categories (Q1910729) (← links)
- Limits in free coproduct completions (Q1910734) (← links)
- Logical quantizations of first-order structures (Q1915367) (← links)
- On pure morphisms in accessible categories (Q1916142) (← links)
- Categorical shape theory as a formal language for pattern recognition? (Q1924765) (← links)
- Braided groups (Q2366066) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Pure morphisms in pro-categories (Q2502913) (← links)
- Quasi-coproducts and accessible categories with wide pullbacks (Q2563764) (← links)
- A factorization of regularity (Q2573482) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- (Q2719722) (← links)
- (Q2752243) (← links)
- (Q2762307) (← links)
- On Pure Quotients and Pure Subobjects (Q3366658) (← links)
- The Classifying Topos of a Continuous Groupoid. I (Q3487618) (← links)
- (Q4300696) (← links)
- Sketches and computation – I: basic definitions and static evaluation (Q4302336) (← links)