Pages that link to "Item:Q3877834"
From MaRDI portal
The following pages link to A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on (Q3877834):
Displayed 24 items.
- Polynomial functors and polynomial monads (Q4902505) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
- Semantics of higher inductive types (Q4958656) (← links)
- Morita equivalence of factorizable semigroups (Q4968239) (← links)
- (Q5013826) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
- Finitary monads on the category of posets (Q5068206) (← links)
- Locally bounded enriched categories (Q5080356) (← links)
- (Q5111312) (← links)
- Lax orthogonal factorisations in ordered structures (Q5121790) (← links)
- (Q5207358) (← links)
- (Q5233738) (← links)
- Weak $\infty$-categories via terminal coalgebras (Q5239850) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
- (Q5274901) (← links)
- Kan injectivity in order-enriched categories (Q5740617) (← links)
- PRELOCALIZATIONS AND NATURAL NUMBERS (Q5758373) (← links)
- Understanding the small object argument (Q5891786) (← links)
- Understanding the small object argument (Q5896982) (← links)
- Reflective subcategories (Q5903472) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- A remark on conservative cocompletions of categories (Q5957784) (← links)