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
(52)- The nominal/FM Yoneda lemma
- scientific article; zbMATH DE number 7449991 (Why is no real title available?)
- Composite variety-based topological theories
- A monadic approach to polycategories
- Syntactic characterizations of various classes of locally presentable categories
- When programs have to watch paint dry
- Stabilized profunctors and stable species of structures
- Computads for weak -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
- Products in double categories, revisited
- Lax familial representability and lax generic factorizations
- Theories of analytic monads
- Higher dimensional categories: induction on extensivity
- Adjunction up to automorphism
- Normalization for multimodal type theory
- Algebra objects and algebra families for finite limit theories
- Non-unital polygraphs form a presheaf category
- Local fibred right adjoints are polynomial
- Descent for internal multicategory functors
- Quasi-coproducts and accessible categories with wide pullbacks
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\)
- A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
- Limits in free coproduct completions
- Categorical structure in coherent theory of arithmetic
- Spreads and the symmetric topos
- Variations on the bagdomain theme
- A classification of accessible categories
- Infinitary addition, real numbers, and taut monads
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity
- Families of symmetries as efficient models of resource binding
- String diagrams for 4-categories and fibrations of mapping 4-groupoids
- Doubly weak double categories
- Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
- Normalization for multimodal type theory
- Yoneda structures from 2-toposes
- A note on coalgebras and presheaves
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Rigidity is undecidable
- A general theory of self-similarity
- scientific article; zbMATH DE number 7566056 (Why is no real title available?)
- Combinatorial structure of type dependency
- The category of 3-computads is not cartesian closed
- Fuzzy presheaves are quasitoposes
- Polynomial functors and polynomial monads
- The monads of classical algebra are seldom weakly Cartesian
- 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)
