Introduction to extensive and distributive categories
From MaRDI portal
Publication:1208223
DOI10.1016/0022-4049(93)90035-RzbMath0784.18001OpenAlexW2001462012WikidataQ72421876 ScholiaQ72421876MaRDI QIDQ1208223
Stephen Lack, Robert F. C. Walters, Aurelio Carboni
Publication date: 16 May 1993
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(93)90035-r
Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (only showing first 100 items - show all)
Modalities in homotopy type theory ⋮ The stable category of preorders in a pretopos. I: General theory ⋮ Relating Coalgebraic Notions of Bisimulation ⋮ Traces, Executions and Schedulers, Coalgebraically ⋮ Van Kampen Colimits as Bicolimits in Span ⋮ Green 2-functors ⋮ A representation theorem for integral rigs and its applications to residuated lattices. ⋮ A categorical foundation for structured reversible flowchart languages ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Unnamed Item ⋮ Distributivity of categories of coalgebras ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ Higher dimensional categories: induction on extensivity ⋮ The S-replete construction ⋮ On the relations between distributive computability and the BSS model ⋮ Topological theories and closed objects ⋮ Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory ⋮ Unnamed Item ⋮ Coherence for bicategorical cartesian closed structure ⋮ Van Kampen theorems for categories of covering morphisms in lextensive categories ⋮ Characterization of coextensive varieties of universal algebras ⋮ Covariant isotropy of Grothendieck toposes and extensive categories ⋮ Generic models for computational effects ⋮ Limits in free coproduct completions ⋮ Unnamed Item ⋮ Decidable (= separable) objects and morphisms in lextensive categories ⋮ Regular and exact completions ⋮ On the generic solution to \(P(X)\cong X\) in distributive categories ⋮ Unnamed Item ⋮ \(\mathcal{M}\)-coextensive objects and the strict refinement property ⋮ How iterative reflections of monads are constructed ⋮ Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category ⋮ A representable approach to finite nondeterminism ⋮ Equational properties of iterative monads ⋮ Quantalic topological theories ⋮ Enriched and internal categories: an extensive relationship ⋮ Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs ⋮ Categorification of Hopf algebras of rooted trees. ⋮ Non-canonical isomorphisms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A lattice-theoretical perspective on adhesive categories ⋮ Cartesian effect categories are Freyd-categories ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Lax algebra meets topology ⋮ Algebras of higher operads as enriched categories ⋮ Universality of coproducts in categories of lax algebras ⋮ van Kampen theorems for toposes ⋮ Smash product of pointed objects in lextensive categories ⋮ Unnamed Item ⋮ On stability of exactness properties under the pro-completion ⋮ A note on recursive functions ⋮ Unnamed Item ⋮ Elementary doctrines as coalgebras ⋮ On functors preserving coproducts and algebras with iterativity ⋮ Category theory of symbolic dynamics ⋮ Unnamed Item ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Finite objects in a locos ⋮ Iterative reflections of monads ⋮ Exact completion of path categories and algebraic set theory. I: Exact completion of path categories ⋮ Central reflections and nilpotency in exact Mal'tsev categories ⋮ Anticommutativity and the triangular lemma ⋮ A note on the categorical van Kampen theorem ⋮ Quantum Speedup and Categorical Distributivity ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Extensivity of categories of relational structures ⋮ Setoids and universes ⋮ On the categorical meaning of Hausdorff and Gromov distances. I. ⋮ Locating reaction with 2-categories ⋮ Remarks on isomorphisms in typed lambda calculi with empty and sum types ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Algèbres rationnelles et variétés algébriques sur un corps commutatif quelconque ⋮ Unnamed Item ⋮ Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals ⋮ A classification of geometric morphisms and localizations for presheaf categories and algebraic categories ⋮ Cartesian closed Dialectica categories ⋮ Infinitary addition, real numbers, and taut monads ⋮ Unnamed Item ⋮ Coextensive varieties via central elements ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ Internal neighbourhood structures ⋮ A coalgebraic view on reachability ⋮ New wide classes of weakly Mal'tsev categories ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ Partial pullback complement rewriting along admissible matches ⋮ Dagger extension theorem ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Majority categories ⋮ Coalgebraic Monads ⋮ Adjunction Models For Call-By-Push-Value With Stacks ⋮ Joyal's arithmetic universes via type theory ⋮ On Iteratable Endofunctors ⋮ Connected objects in categories of S-acts ⋮ The stable category of preorders in a pretopos. II: The universal property ⋮ Locally cartesian closed exact completions ⋮ Weak subobjects and the epi-monic completion of a category. ⋮ An extension of the regular completion ⋮ A characterization of the left exact categories whose exact completions are toposes ⋮ Products and coequalizers in pointed categories
Cites Work
This page was built for publication: Introduction to extensive and distributive categories
