Pages that link to "Item:Q3995283"
From MaRDI portal
The following pages link to Accessible Categories: The Foundations of Categorical Model Theory (Q3995283):
Displaying 50 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Rational operational models (Q265819) (← links)
- \(\mu\)-abstract elementary classes and other generalizations (Q272987) (← links)
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- Towers and fibered products of model structures (Q346848) (← links)
- Tensor products of finitely cocomplete and abelian categories (Q405919) (← links)
- Universality of categories of coalgebras (Q409255) (← links)
- Approximations and adjoints in homotopy categories (Q431236) (← links)
- Ionads (Q456842) (← links)
- Relatively terminal coalgebras (Q456862) (← links)
- Monads with arities and their associated theories (Q456883) (← links)
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- Rectification of enriched \(\infty\)-categories (Q498726) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
- Cartesian modules over representations of small categories (Q520370) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- On exact categories and applications to triangulated adjoints and model structures (Q639542) (← links)
- Category-theoretic aspects of abstract elementary classes (Q639686) (← 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)
- Abstract elementary classes and accessible categories (Q714732) (← links)
- Gabriel-Ulmer duality for topoi and its relation with site presentations (Q831310) (← 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)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Duality and small functors (Q894950) (← links)
- Commutativity (Q899553) (← links)
- Cellular objects and Shelah's singular compactness theorem (Q899557) (← 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)
- Enhancing the filtered derived category (Q1635329) (← links)
