scientific article

Publication date: 1980

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1980__21_2_111_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

Fibered categories (18D30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

A Universal Characterisation of Codescent Objects, Coherence for bicategorical cartesian closed structure, Cauchy completeness for DG-categories, Weighted colimits of 2-representations and star algebras, On straightening for Segal spaces, Bicategorical type theory: semantics and syntax, What is an equivalence in a higher category?, On operads, bimodules and analytic functors, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On lifting of biadjoints and lax algebras, Tensors of Comodels and Models for Operational Semantics, A construction of certain weak colimits and an exactness property of the 2-category of categories, Pseudo-Kan Extensions and Descent Theory, Coalgebroids in monoidal bicategories and their comodules, From coherent structures to universal properties, Lax familial representability and lax generic factorizations, Restriction categories. I: Categories of partial maps, A bicategorical interpretation for relative Cuntz-Pimsner algebras, Monoidal Grothendieck construction, The Isbell monad, Modulated bicategories, Algebraic Kan extensions along morphisms of internal algebra classifiers, Categorification of algebraic quantum field theories, Ordinals in Frobenius monads, Completeness results for intuitionistic and modal logic in a categorical setting, Logical systems. I: Internal calculi., Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory, Sigma limits in 2-categories and flat pseudofunctors, Monads for which structures are adjoint to units, Fibrations and Yoneda's lemma in an \(\infty\)-cosmos, Monoidal bicategories and Hopf algebroids, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic, Strong conceptual completeness for first-order logic, Avoiding the axiom of choice in general category theory, Local adjunctions, Proarrows and cofibrations, Right saturations and induced pseudofunctors between bicategories of fractions, Two-dimensional monad theory, Real sets, Wreaths, mixed wreaths and twisted coactions, Stable Postnikov data of Picard 2-categories, Lax colimits and free fibrations in \(\infty\)-categories, The fundamental pro-groupoid of an affine 2-scheme, A homotopy coherent cellular nerve for bicategories, Algebraic weak factorisation systems. I: Accessible AWFS., Fibred 2-categories and bicategories, Duality in non-abelian algebra. IV. Duality for groups and a universal isomorphism theorem, Variation on a comprehensive theme, Tensor products of finitely cocomplete and abelian categories, Which abelian tensor categories are geometric?, Spectra associated to symmetric monoidal bicategories, Higher cohomologies of modules, Enriched categories as a free cocompletion, van Kampen theorems for toposes, Conspectus of variable categories, Two-dimensional sheaf theory, Pseudo-commutativity of KZ 2-monads, Completely and totally distributive categories. I., A theorem on Barr-exact categories, with an infinitary generalization, Indexed and fibred structures for Hoare logic, Categorical notions of fibration, Pullback preserving functors, How strict is strictification?, Unnamed Item, Group actions on 2-categories, Fibrations and universal view updatability, (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories, From operator categories to higher operads, Weak complicial sets. I: Basic homotopy theory, Unnamed Item, Unnamed Item, Category theoretic structure of setoids, Monads in double categories, On the regular representation of an (essentially) finite 2-group, Central extensions of smooth 2-groups and a finite-dimensional string 2-group, Ultrafilters, finite coproducts and locally connected classifying toposes, Unnamed Item, Skew structures in 2-category theory and homotopy theory, Locating reaction with 2-categories, Morita contexts as lax functors, Unnamed Item, Icons, Languages for monoidal categories, Unnamed Item, Unusual spectral categories, The Classifying Topos of a Continuous Groupoid. I, Discrete and conservative factorizations in \textbf{Fib}\((B)\), Inner horns for 2-quasi-categories, Categorified quantum \(\mathfrak{sl}_2\) is an inverse limit of flag 2-categories, Flexible limits for 2-categories, Spreads and the symmetric topos, Algebraic theories of quasivarieties, An axiomatics for bicategories of modules, A 2-Categories Companion, An Australian Conspectus of Higher Categories, A categorical outlook on relational modalities and simulations, A Note on Coalgebras and Presheaves, Deriving Bisimulation Congruences: A 2-categorical Approach, Paths and Simulations, Unnamed Item, A coherent approach to pseudomonads, A representation result for free cocompletions, Cofibrations in the bicategory of topoi, The universal property of the multitude of trees, Categories of representations of coalgebroids, A classification of accessible categories, The formal theory of monads. II, A Picard-Brauer exact sequence of categorical groups, On the notion of pseudocategory internal to a category with a 2-cell structure, Variation through enrichment, Frobenius algebras and homotopy fixed points of group actions on bicategories, On the categorical structure of \(H^{2}\), Bicategories of spans and relations, Unnamed Item, Cofibrations. II: Left exact right actions and compositions of gamuts, Fibrations and partial products in a 2-category, The Grothendieck construction for model categories

Cites Work