Publication:3876103
From MaRDI portal
zbMath0436.18005MaRDI QIDQ3876103
Publication date: 1980
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1980__21_2_111_0
triples; 2-categories; fibrations; monads; adjunction; enriched categories; bilimits; doctrines; finite ordinals; bidiscrete; groupoidal and posetal objects; monoid-structure-preserving homomorphism in bicategories; ny-gamuts
18D30: Fibered categories
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18D20: Enriched categories (over closed or monoidal categories)
Related Items
Unnamed Item, From coherent structures to universal properties, Restriction categories. I: Categories of partial maps, Languages for monoidal categories, Cofibrations in the bicategory of topoi, A theorem on Barr-exact categories, with an infinitary generalization, Weak complicial sets. I: Basic homotopy theory, Icons, Variation through enrichment, Bicategories of spans and relations, Cofibrations. II: Left exact right actions and compositions of gamuts, Strong conceptual completeness for first-order logic, Local adjunctions, Proarrows and cofibrations, Two-dimensional monad theory, Conspectus of variable categories, Two-dimensional sheaf theory, Pullback preserving functors, Flexible limits for 2-categories, Algebraic theories of quasivarieties, Fibrations and partial products in a 2-category, Modulated bicategories, Completeness results for intuitionistic and modal logic in a categorical setting, Monoidal bicategories and Hopf algebroids, van Kampen theorems for toposes, A coherent approach to pseudomonads, A representation result for free cocompletions, The universal property of the multitude of trees, Categories of representations of coalgebroids, Locating reaction with 2-categories, Spreads and the symmetric topos, An axiomatics for bicategories of modules, A classification of accessible categories, The formal theory of monads. II, A Picard-Brauer exact sequence of categorical groups, On the categorical structure of \(H^{2}\), Monads for which structures are adjoint to units, On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic, Avoiding the axiom of choice in general category theory, Fibrations and universal view updatability, Unnamed Item, A 2-Categories Companion, An Australian Conspectus of Higher Categories, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, The Classifying Topos of a Continuous Groupoid. I, Unnamed Item, Unnamed Item
Cites Work
- Limits indexed by category-valued 2-functors
- Formal category theory: Adjointness for 2-categories
- Metric spaces, generalized logic, and closed categories
- Cosmoi of Internal Categories
- Introduction to bicategories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
