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)

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

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)