The extensive completion of a distributive category
The main result of this paper is the universal construction of an extensive category \({\mathcal D}_{\text{ex}}\) with products for each distributive category \({\mathcal D}\), together with a functor \({\mathcal D}\to {\mathcal D}_{\text{ex}}\) preserving finite products and finite coproducts. Formally speaking, the authors construct a left biadjoint to the inclusion of \({\mathfrak{Ext}}_{\mathfrak{pr}}\) into \(\mathfrak{Dist}\), where \(\mathfrak{Dist}\) is the 2-category of distributive categories, distributive functors and natural transformations, and \({\mathfrak{Ext}}_{\text{pr}}\) denotes its full sub-2-category of extensive ones.
- Introduction to extensive and distributive categories
- Restriction categories II: Partial map classification
- Smash product of pointed objects in lextensive categories
- Introduction to distributive categories
- scientific article; zbMATH DE number 700545 (Why is no real title available?)
- Completely and totally distributive categories. I.
- scientific article; zbMATH DE number 221078 (Why is no real title available?)
- Completely distributive enriched categories are not always continuous
- Characterization of left coextensive varieties of universal algebras
- When do completion processes give rise to extensive categories?
- Classical distributive restriction categories
- Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
- Free extensivity via distributivity
This page was built for publication: The extensive completion of a distributive category
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761574)
