Pages that link to "Item:Q1208223"
From MaRDI portal
The following pages link to Introduction to extensive and distributive categories (Q1208223):
Displaying 29 items.
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- How iterative reflections of monads are constructed (Q384934) (← links)
- Non-canonical isomorphisms (Q418912) (← links)
- Lax algebra meets topology (Q429335) (← links)
- Category theory of symbolic dynamics (Q487987) (← links)
- A note on the categorical van Kampen theorem (Q536044) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Algebras of higher operads as enriched categories (Q633792) (← links)
- Finite objects in a locos (Q678844) (← links)
- Central reflections and nilpotency in exact Mal'tsev categories (Q684105) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals (Q725281) (← links)
- New wide classes of weakly Mal'tsev categories (Q748711) (← links)
- Generic models for computational effects (Q860841) (← links)
- Green 2-functors (Q5039722) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Internal Neighbourhood Structures II: Closure and closed morphisms (Q5889210) (← links)
- Internalization and enrichment via spans and matrices in a tricategory (Q6063398) (← links)
- A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES (Q6103450) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms (Q6146488) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Dependent Optics (Q6150150) (← links)
- Flatness, weakly lex colimits, and free exact completions (Q6196051) (← links)
- Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
