Introduction to distributive categories
From MaRDI portal
Publication:4282805
DOI10.1017/S0960129500000232zbMATH Open0793.18006OpenAlexW2135434676MaRDI QIDQ4282805FDOQ4282805
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
Recommendations
Categorical structures (18D99) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Embedding theorems, universal categories (18B15)
Cites Work
Cited In (33)
- The extensive completion of a distributive category
- A coinductive calculus for asynchronous side-effecting processes
- Unguarded recursion on coinductive resumptions
- A generalization of the concept of sketch
- Syntactic characterizations of various classes of locally presentable categories
- Constructing process categories
- Distributive laws for the coinductive solution of recursive equations
- 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
- Unguarded recursion on coinductive resumptions
- Weakly distributive categories
- Quantum speedup and categorical distributivity
- A coinductive calculus for asynchronous side-effecting processes
- Distributivity of categories of coalgebras
- Classical distributive restriction categories
- Restriction categories. I: Categories of partial maps
- Higher dimensional categories: induction on extensivity
- 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
- Adjunction models for call-by-push-value with stacks
- From probability monads to commutative effectuses
- 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
- \(\mathcal{M}\)-coextensive objects and the strict refinement property
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)