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
Internal Neighbourhood Structures II: Closure and closed morphisms, Internalization and enrichment via spans and matrices in a tricategory, A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES, LNL polycategories and doctrines of linear logic, On effective descent \(\mathcal{V}\)-functors and familial descent morphisms, CHAD for expressive total languages, Dependent Optics, Pre-rigid monoidal categories, Flatness, weakly lex colimits, and free exact completions, Separable MV-algebras and lattice-ordered groups, Syntactic characterizations of various classes of locally presentable categories, When do completion processes give rise to extensive categories?, Restriction categories III: colimits, partial limits and extensivity, On algebraically exact categories and essential localizations of varieties, A metalanguage for guarded iteration, Restriction categories. I: Categories of partial maps, Unnamed Item, The effective model structure and -groupoid objects, 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, Adhesive and quasiadhesive 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, 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