Introduction to distributive categories

DOI10.1017/S0960129500000232zbMath0793.18006OpenAlexW2135434676MaRDI QIDQ4282805

J. Robin 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

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

Related Items (28)

Distributivity of categories of coalgebras ⋮ Higher dimensional categories: induction on extensivity ⋮ Limits in free coproduct completions ⋮ Sketches and computation – I: basic definitions and static evaluation ⋮ \(\mathcal{M}\)-coextensive objects and the strict refinement property ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ From probability monads to commutative effectuses ⋮ Constructing process categories ⋮ Non-canonical isomorphisms ⋮ A generalization of the concept of sketch ⋮ Unguarded recursion on coinductive resumptions ⋮ A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators ⋮ Strong categorical datatypes II: A term logic for categorical programming ⋮ Weakly distributive categories ⋮ Effectuses from monads ⋮ Quantum Speedup and Categorical Distributivity ⋮ Introduction to extensive and distributive categories ⋮ Syntactic characterizations of various classes of locally presentable categories ⋮ When do completion processes give rise to extensive categories? ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Remarks on isomorphisms in typed lambda calculi with empty and sum types ⋮ A metalanguage for guarded iteration ⋮ Restriction categories. I: Categories of partial maps ⋮ Unnamed Item ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ List-arithmetic distributive categories: Locoi ⋮ Adjunction Models For Call-By-Push-Value With Stacks ⋮ Connected objects in categories of S-acts

Cites Work

• Some parametrized categorical concepts

This page was built for publication: Introduction to distributive categories