Free extensivity via distributivity
(co)lax idempotent pseudomonadbicategorical biproductsCartesian closed categoryextensive categoryfree coproduct completionpseudodistributive law
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Extensive, distributive, and adhesive categories (18B50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proarrow equipments, Yoneda structures, KZ doctrines (lax idempotent monads) (18D65) 2-categories, bicategories, double categories (18N10) 2-dimensional monad theory (18N15) Functional programming and lambda calculus (68N18)
- A coherent approach to pseudomonads
- A representation result for free cocompletions
- CHAD for expressive total languages
- Codescent objects and coherence
- Completely and totally distributive categories. I.
- Descent Data and Absolute Kan Extensions
- Descent for internal multicategory functors
- Distributive laws for pseudomonads. II
- Distributive laws via admissibility
- Doctrines on 2-categories
- Effective descent maps of topological spaces
- Effective descent morphisms in categories of lax algebras
- Facets of descent. I
- Facets of descent. II
- Galois theories
- Higher-order containers
- How nice are free completions of categories?
- scientific article; zbMATH DE number 4008629 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 4127473 (Why is no real title available?)
- scientific article; zbMATH DE number 1271223 (Why is no real title available?)
- scientific article; zbMATH DE number 1024330 (Why is no real title available?)
- scientific article; zbMATH DE number 1129148 (Why is no real title available?)
- scientific article; zbMATH DE number 2068089 (Why is no real title available?)
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- scientific article; zbMATH DE number 3305157 (Why is no real title available?)
- scientific article; zbMATH DE number 3335071 (Why is no real title available?)
- scientific article; zbMATH DE number 3394391 (Why is no real title available?)
- Introduction to extensive and distributive categories
- KZ-pseudomonads and Kan Injectivity
- Lax comma 2-categories and admissible 2-functors
- Monads for which structures are adjoint to units
- On algebraically exact categories and essential localizations of varieties
- On biadjoint triangles
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
- On lifting of biadjoints and lax algebras
- Pro-Categories and Multiadjoint Functors
- Pseudo-Kan extensions and descent theory
- Pseudoalgebras and non-canonical isomorphisms
- Representable multicategories
- The closure of a class of colimits
- The extensive completion of a distributive category
- The rise and fall of \(V\)-functors
- Two-dimensional monad theory
- Two-dimensional monadicity
- Universal locally connected refinements
- Van Kampen theorems for categories of covering morphisms in lextensive categories
This page was built for publication: Free extensivity via distributivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7006433)
