Connected limits, familial representability and Artin glueing
From MaRDI portal
Publication:4882486
DOI10.1017/S0960129500001183zbMath0849.18002MaRDI QIDQ4882486
Aurelio Carboni, Peter T. Johnstone
Publication date: 16 June 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Functor categories, comma categories (18A25)
Related Items
A categorical framework for congruence of applicative bisimilarity in higher-order languages, Higher dimensional categories: induction on extensivity, Variations on the bagdomain theme, Yoneda structures from 2-toposes, Families of Symmetries as Efficient Models of Resource Binding, Limits in free coproduct completions, Unnamed Item, When programs have to watch paint dry, Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs, Descent for internal multicategory functors, A general theory of self-similarity, A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs, A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity, Unnamed Item, The category of 3-computads is not cartesian closed, Polynomial functors and polynomial monads, A presentation of the initial lift-algebra, Cartesian monads on toposes, Local fibred right adjoints are polynomial, Combinatorial structure of type dependency, Composite variety-based topological theories, The monads of classical algebra are seldom weakly Cartesian, Theories of analytic monads, Rigidity is undecidable, Syntactic characterizations of various classes of locally presentable categories, On the structure of categories of coalgebras, Unnamed Item, Lax familial representability and lax generic factorizations, Non-unital polygraphs form a presheaf category, Infinitary addition, real numbers, and taut monads, Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\), Spreads and the symmetric topos, The nominal/FM Yoneda Lemma, A Note on Coalgebras and Presheaves, A monadic approach to polycategories, Quasi-coproducts and accessible categories with wide pullbacks, Process synchronisation as fusion, The petit topos of globular sets, A classification of accessible categories, Fibrations and partial products in a 2-category
Cites Work
- Collapsed toposes and cartesian closed varieties
- Exponentiable morphisms, partial products and pullback complements
- Pullback preserving functors
- Algebra objects and algebra families for finite limit theories
- Enriched categorical semantics for distributed calculi
- Relatively free products in regular varieties
- Limits indexed by category-valued 2-functors
- Automorphisms of \(\Omega\)
- A note on context-free languages
- The free category with products on a multigraph
- Artin glueing
- A reflection theorem for closed categories
- Simply Connected Limits
- Categories and Computer Science
- Metric spaces, generalized logic, and closed categories