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.

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 (only showing first 100 items - show all)

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

This page was built for publication: