Connected limits, familial representability and Artin glueing
From MaRDI portal
Publication:4882486
DOI10.1017/S0960129500001183zbMATH Open0849.18002MaRDI QIDQ4882486FDOQ4882486
Publication date: 16 June 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Functor categories, comma categories (18A25)
Cites Work
- Metric spaces, generalized logic, and closed categories
- A reflection theorem for closed categories
- Exponentiable morphisms, partial products and pullback complements
- Collapsed toposes and cartesian closed varieties
- Limits indexed by category-valued 2-functors
- A note on context-free languages
- Simply Connected Limits
- Categories and Computer Science
- Artin glueing
- Relatively free products in regular varieties
- Algebra objects and algebra families for finite limit theories
- The free category with products on a multigraph
- Enriched categorical semantics for distributed calculi
- Automorphisms of \(\Omega\)
- Pullback preserving functors
Cited In (47)
- Title not available (Why is that?)
- Composite variety-based topological theories
- Syntactic characterizations of various classes of locally presentable categories
- A monadic approach to polycategories
- When programs have to watch paint dry
- Stabilized profunctors and stable species of structures
- Computads for weak \(\omega \)-categories as an inductive type
- On the structure of categories of coalgebras
- Process synchronisation as fusion
- Free precategories as presheaf categories
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- The petit topos of globular sets
- Fibrations and partial products in a 2-category
- A presentation of the initial lift-algebra
- Lax familial representability and lax generic factorizations
- Theories of analytic monads
- Higher dimensional categories: induction on extensivity
- Non-unital polygraphs form a presheaf category
- Local fibred right adjoints are polynomial
- Algebra objects and algebra families for finite limit theories
- Descent for internal multicategory functors
- Quasi-coproducts and accessible categories with wide pullbacks
- A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
- Limits in free coproduct completions
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\)
- Spreads and the symmetric topos
- A classification of accessible categories
- Variations on the bagdomain theme
- The nominal/FM Yoneda Lemma
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity
- Infinitary addition, real numbers, and taut monads
- String diagrams for 4-categories and fibrations of mapping 4-groupoids
- Families of symmetries as efficient models of resource binding
- Normalization for multimodal type theory
- Yoneda structures from 2-toposes
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Rigidity is undecidable
- A note on coalgebras and presheaves
- Title not available (Why is that?)
- A general theory of self-similarity
- Fuzzy presheaves are quasitoposes
- Combinatorial structure of type dependency
- The category of 3-computads is not cartesian closed
- Polynomial functors and polynomial monads
- The monads of classical algebra are seldom weakly Cartesian
- Title not available (Why is that?)
- Cartesian monads on toposes
This page was built for publication: Connected limits, familial representability and Artin glueing
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882486)
