scientific article; zbMATH DE number 3680046
From MaRDI portal
Publication:3876103
zbMATH Open0436.18005MaRDI QIDQ3876103FDOQ3876103
Authors: Ross H. Street 
Publication date: 1980
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1980__21_2_111_0
Title of this publication is not available (Why is that?)
monadsadjunctionenriched categoriesfibrations2-categoriestriplesbilimitsdoctrinesfinite ordinalsbidiscretegroupoidal and posetal objectsmonoid-structure-preserving homomorphism in bicategoriesny-gamuts
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Fibered categories (18D30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metric spaces, generalized logic, and closed categories
- Introduction to bicategories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Limits indexed by category-valued 2-functors
- Title not available (Why is that?)
- Formal category theory: Adjointness for 2-categories
- Title not available (Why is that?)
- Cosmoi of Internal Categories
Cited In (only showing first 100 items - show all)
- Fibred 2-categories and bicategories
- Monoidal Grothendieck construction
- Lax colimits and free fibrations in \(\infty\)-categories
- Monads in double categories
- Local adjunctions
- Monoidal bicategories and Hopf algebroids
- Tensor products of finitely cocomplete and abelian categories
- A theorem on Barr-exact categories, with an infinitary generalization
- Conspectus of variable categories
- Title not available (Why is that?)
- Algebraic theories of quasivarieties
- Strong conceptual completeness for first-order logic
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Fibrations and partial products in a 2-category
- The Grothendieck construction for model categories
- Spectra associated to symmetric monoidal bicategories
- Title not available (Why is that?)
- The Classifying Topos of a Continuous Groupoid. I
- A 2-categories companion
- A categorical outlook on relational modalities and simulations
- Categorical notions of fibration
- Restriction categories. I: Categories of partial maps
- Languages for monoidal categories
- Enriched categories as a free cocompletion
- Icons
- Category theoretic structure of setoids
- Variation through enrichment
- Locating reaction with 2-categories
- Central extensions of smooth 2-groups and a finite-dimensional string 2-group
- Two-dimensional monad theory
- On the categorical structure of \(H^{2}\)
- Higher cohomologies of modules
- Coherence for bicategorical cartesian closed structure
- Categories of representations of coalgebroids
- Modulated bicategories
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
- Monads for which structures are adjoint to units
- Completely and totally distributive categories. I.
- Title not available (Why is that?)
- Categorified quantum \(\mathfrak{sl}_2\) is an inverse limit of flag 2-categories
- Logical systems. I: Internal calculi.
- A coherent approach to pseudomonads
- The Isbell monad
- The universal property of the multitude of trees
- A classification of accessible categories
- Algebraic weak factorisation systems. I: Accessible AWFS.
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Skew structures in 2-category theory and homotopy theory
- Cofibrations. II: Left exact right actions and compositions of gamuts
- A Picard-Brauer exact sequence of categorical groups
- Ultrafilters, finite coproducts and locally connected classifying toposes
- Two-dimensional sheaf theory
- Flexible limits for 2-categories
- Ordinals in Frobenius monads
- The formal theory of monads. II
- From coherent structures to universal properties
- Weak complicial sets. I: Basic homotopy theory
- Avoiding the axiom of choice in general category theory
- Morita contexts as lax functors
- Pseudo-commutativity of KZ 2-monads
- Title not available (Why is that?)
- An Australian conspectus of higher categories
- A note on coalgebras and presheaves
- van Kampen theorems for toposes
- (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories
- Cofibrations in the bicategory of topoi
- An axiomatics for bicategories of modules
- Fibrations and universal view updatability
- Categories in categories, and size matters
- Completeness results for intuitionistic and modal logic in a categorical setting
- Categorification of algebraic quantum field theories
- Tensors of comodels and models for operational semantics
- Right saturations and induced pseudofunctors between bicategories of fractions
- The fundamental pro-groupoid of an affine 2-scheme
- Title not available (Why is that?)
- On the regular representation of an (essentially) finite 2-group
- Cauchy completeness for DG-categories
- A construction of certain weak colimits and an exactness property of the 2-category of categories
- Indexed and fibred structures for Hoare logic
- How strict is strictification?
- Title not available (Why is that?)
- Pseudo-Kan extensions and descent theory
- Group actions on 2-categories
- Bicategorical type theory: semantics and syntax
- On operads, bimodules and analytic functors
- A bicategorical interpretation for relative Cuntz-Pimsner algebras
- Variation on a comprehensive theme
- Monoidal centres and groupoid-graded categories
- Formal category theory in augmented virtual double categories
- Proarrows and cofibrations
- Lax familial representability and lax generic factorizations
- Stable Postnikov data of Picard 2-categories
- From operator categories to higher operads
- Title not available (Why is that?)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories
- Stone duality for relations
- The symmetric monoidal 2-category of permutative categories
- Sigma limits in 2-categories and flat pseudofunctors
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3876103)
