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 (40)
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
This page was built for publication: Connected limits, familial representability and Artin glueing
