Pages that link to "Item:Q4882486"
From MaRDI portal
The following pages link to Connected limits, familial representability and Artin glueing (Q4882486):
Displaying 38 items.
- A general theory of self-similarity (Q626101) (← links)
- A presentation of the initial lift-algebra (Q678845) (← links)
- Cartesian monads on toposes (Q678846) (← links)
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\) (Q742033) (← links)
- The category of 3-computads is not cartesian closed (Q942212) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- Variations on the bagdomain theme (Q1349648) (← links)
- The petit topos of globular sets (Q1588081) (← links)
- Composite variety-based topological theories (Q1759629) (← links)
- Infinitary addition, real numbers, and taut monads (Q1794282) (← links)
- Spreads and the symmetric topos (Q1815300) (← links)
- A classification of accessible categories (Q1850092) (← links)
- Limits in free coproduct completions (Q1910734) (← links)
- Higher dimensional categories: induction on extensivity (Q2134826) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Combinatorial structure of type dependency (Q2254771) (← links)
- The monads of classical algebra are seldom weakly Cartesian (Q2255534) (← links)
- Quasi-coproducts and accessible categories with wide pullbacks (Q2563764) (← links)
- Process synchronisation as fusion (Q2563765) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- Descent for internal multicategory functors (Q2682782) (← links)
- A Note on Coalgebras and Presheaves (Q2842566) (← links)
- A monadic approach to polycategories (Q2842822) (← links)
- Families of Symmetries as Efficient Models of Resource Binding (Q2919450) (← links)
- (Q3385646) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- Local fibred right adjoints are polynomial (Q4911305) (← links)
- The nominal/FM Yoneda Lemma (Q4988443) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- (Q5094128) (← links)
- Lax familial representability and lax generic factorizations (Q5121791) (← links)
- (Q5239846) (← links)
- Non-unital polygraphs form a presheaf category (Q5382906) (← links)
- Theories of analytic monads (Q5740404) (← links)
- Rigidity is undecidable (Q5740405) (← links)
- Syntactic characterizations of various classes of locally presentable categories (Q5939609) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)
