Pages that link to "Item:Q1208223"
From MaRDI portal
The following pages link to Introduction to extensive and distributive categories (Q1208223):
Displaying 50 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)
- On the categorical meaning of Hausdorff and Gromov distances. I. (Q972523) (← links)
- Cartesian closed Dialectica categories (Q998318) (← links)
- On the relations between distributive computability and the BSS model (Q1349919) (← links)
- Van Kampen theorems for categories of covering morphisms in lextensive categories (Q1361199) (← links)
- Regular and exact completions (Q1380046) (← links)
- On the generic solution to \(P(X)\cong X\) in distributive categories (Q1380052) (← links)
- A representable approach to finite nondeterminism (Q1391859) (← links)
- van Kampen theorems for toposes (Q1413097) (← links)
- Smash product of pointed objects in lextensive categories (Q1413885) (← links)
- Locally cartesian closed exact completions (Q1588066) (← links)
- Weak subobjects and the epi-monic completion of a category. (Q1588073) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory (Q1647403) (← links)
- Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category (Q1681852) (← links)
- Quantalic topological theories (Q1689324) (← links)
- Enriched and internal categories: an extensive relationship (Q1689326) (← links)
- On functors preserving coproducts and algebras with iterativity (Q1727997) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Infinitary addition, real numbers, and taut monads (Q1794282) (← links)
- An extension of the regular completion (Q1850097) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Limits in free coproduct completions (Q1910734) (← links)
- Decidable (= separable) objects and morphisms in lextensive categories (Q1916429) (← links)
- Categorification of Hopf algebras of rooted trees. (Q1939375) (← links)
- Anticommutativity and the triangular lemma (Q1996098) (← links)
- Ultrafilters, finite coproducts and locally connected classifying toposes (Q2004956) (← links)
- Coextensive varieties via central elements (Q2046642) (← links)
- Partial pullback complement rewriting along admissible matches (Q2055979) (← links)
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Connected objects in categories of S-acts (Q2082739) (← links)
- The stable category of preorders in a pretopos. II: The universal property (Q2088041) (← links)
- The stable category of preorders in a pretopos. I: General theory (Q2125158) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
