Introduction to distributive categories

DOI10.1017/S0960129500000232MaRDI QIDQ4282805zbMATH OpenOpenAlexFDO

Authors J. R. B. Cockett

Publication date 18 August 1994

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500000232

zbMATH Keywords

extensive categorydistributive categoryuniversal coproduct

Mathematics Subject Classification ID

Categorical structures (18D99) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Embedding theorems, universal categories (18B15)

Recommendations

• The extensive completion of a distributive category
• Introduction to extensive and distributive categories
• List-arithmetic distributive categories: Locoi
• Distributive algebras in linear categories

Cites work

• Some parametrized categorical concepts

Cited in

(33)

• \(\mathcal{M}\)-coextensive objects and the strict refinement property
• A coinductive calculus for asynchronous side-effecting processes
• The extensive completion of a distributive category
• A generalization of the concept of sketch
• Unguarded recursion on coinductive resumptions
• Constructing process categories
• Distributive laws for the coinductive solution of recursive equations
• Syntactic characterizations of various classes of locally presentable categories
• Non-canonical isomorphisms
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Sketches and computation – I: basic definitions and static evaluation
• Distributive algebras in linear categories
• Weakly distributive categories
• Unguarded recursion on coinductive resumptions
• Quantum speedup and categorical distributivity
• A coinductive calculus for asynchronous side-effecting processes
• Distributivity of categories of coalgebras
• Higher dimensional categories: induction on extensivity
• Classical distributive restriction categories
• Restriction categories. I: Categories of partial maps
• A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators
• Introduction to extensive and distributive categories
• Completely and totally distributive categories. I.
• Limits in free coproduct completions
• When do completion processes give rise to extensive categories?
• List-arithmetic distributive categories: Locoi
• A metalanguage for guarded iteration
• From probability monads to commutative effectuses
• Adjunction models for call-by-push-value with stacks
• Effectuses from monads
• Connected objects in categories of S-acts
• mathlib4 Module Mathlib/CategoryTheory/Distributive/Cartesian
• Strong categorical datatypes II: A term logic for categorical programming

This page was built for publication: Introduction to distributive categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282805)