Connected limits, familial representability and Artin glueing
From MaRDI portal
Publication:4882486
Recommendations
Cites work
- A note on context-free languages
- A reflection theorem for closed categories
- Algebra objects and algebra families for finite limit theories
- Artin glueing
- Automorphisms of \(\Omega\)
- Categories and Computer Science
- Collapsed toposes and cartesian closed varieties
- Enriched categorical semantics for distributed calculi
- Exponentiable morphisms, partial products and pullback complements
- Limits indexed by category-valued 2-functors
- Metric spaces, generalized logic, and closed categories
- Pullback preserving functors
- Relatively free products in regular varieties
- Simply Connected Limits
- The free category with products on a multigraph
Cited in
(47)- A presentation of the initial lift-algebra
- Adjunction up to automorphism
- Limits in free coproduct completions
- A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\)
- A monadic approach to polycategories
- scientific article; zbMATH DE number 7449991 (Why is no real title available?)
- The monads of classical algebra are seldom weakly Cartesian
- When programs have to watch paint dry
- The petit topos of globular sets
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Stabilized profunctors and stable species of structures
- Normalization for multimodal type theory
- Descent for internal multicategory functors
- Higher dimensional categories: induction on extensivity
- Cartesian monads on toposes
- Fibrations and partial products in a 2-category
- Rigidity is undecidable
- Families of symmetries as efficient models of resource binding
- A note on coalgebras and presheaves
- The category of 3-computads is not cartesian closed
- Fuzzy presheaves are quasitoposes
- Lax familial representability and lax generic factorizations
- The nominal/FM Yoneda lemma
- Computads for weak \(\omega \)-categories as an inductive type
- A classification of accessible categories
- Polynomial functors and polynomial monads
- Non-unital polygraphs form a presheaf category
- A general theory of self-similarity
- Composite variety-based topological theories
- Variations on the bagdomain theme
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity
- Process synchronisation as fusion
- Free precategories as presheaf categories
- Local fibred right adjoints are polynomial
- Infinitary addition, real numbers, and taut monads
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
- Syntactic characterizations of various classes of locally presentable categories
- Theories of analytic monads
- Spreads and the symmetric topos
- Yoneda structures from 2-toposes
- String diagrams for 4-categories and fibrations of mapping 4-groupoids
- scientific article; zbMATH DE number 7566056 (Why is no real title available?)
- Quasi-coproducts and accessible categories with wide pullbacks
- Algebra objects and algebra families for finite limit theories
- Combinatorial structure of type dependency
- On the structure of categories of coalgebras
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)
