Two-dimensional monad theory

DOI10.1016/0022-4049(89)90160-6zbMath0675.18006OpenAlexW2081723613MaRDI QIDQ1121980

R. Blackwell, G. M. Kelly, A. John Power

Publication date: 1989

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(89)90160-6

zbMATH Keywords

bicategory monad doctrine 2- category algebras for a ranked monad universal algebra of categories with structure

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

Strong shape in categories enriched over groupoids, Algebraic Kan extensions along morphisms of internal algebra classifiers, Coalgebraic Components in a Many-Sorted Microcosm, Interpolation property for bicartesian closed categories, A characterization of pie limits, Unnamed Item, The cosemisimplicity and cobraided structures of monoidal comonads, Bicategories in univalent foundations, Lawvere theories enriched over a general base, Lax orthogonal factorisation systems, Skew monoidal categories and skew multicategories, Pseudo-distributive laws and axiomatics for variable binding, Monads for which structures are adjoint to units, Doctrines, modalities and comonads, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Generic models for computational effects, Discrete Lawvere theories and computational effects, Enrichment through variation, A formalism for the specification of essentially-algebraic structures in 2-categories, A general coherence result, Lambek's categorical proof theory and Läuchli's abstract realizability, Real sets, On the generic solution to $P(X)\cong X$ in distributive categories, Stable Postnikov data of Picard 2-categories, $K$-theory for 2-categories, A homotopy coherent cellular nerve for bicategories, The Gray tensor product via factorisation, Involutive categories and monoids, with a GNS-correspondence, Algebraic weak factorisation systems. I: Accessible AWFS., Algebraic weak factorisation systems. II: Categories of weak maps., Unnamed Item, The linear-non-linear substitution 2-monad, Enriched Lawvere Theories for Operational Semantics, Glueing and orthogonality for models of linear logic, Commutativity, Monoidal indeterminates and categories of possible worlds, Enriched categories as a free cocompletion, Homotopy limits for 2-categories, On semiflexible, flexible and pie algebras, Accessible aspects of 2-category theory, Unicity of enrichment over $\mathcal Cat$ or $\mathcal Gpd$, Operads within monoidal pseudo algebras, Levelwise modules over separable monads on stable derivators, Centers and homotopy centers in enriched monoidal categories, Two-dimensional regularity and exactness, A 2-categorical pasting theorem, Pseudo-commutativity of KZ 2-monads, Two-dimensional monadicity, Permutation 2-groups. I: Structure and splitness, Operadic categories and décalage, Unnamed Item, Modelling environments in call-by-value programming languages., Enhanced 2-categories and limits for lax morphisms, Triposes, q-toposes and toposes, How strict is strictification?, Pseudoalgebras and non-canonical isomorphisms, Laplaza sets, or how to select coherence diagrams for pseudo algebras, Not every pseudoalgebra is equivalent to a strict one, The Eckmann-Hilton argument and higher operads, A general limit lifting theorem for 2-dimensional monad theory, (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories, Unnamed Item, On lifting of biadjoints and lax algebras, Logic programming: laxness and saturation, The identity type weak factorisation system, Coinverters and categories of fractions for categories with structure, Two-dimensional linear algebra, Pseudo-commutative Monads, Revisiting the categorical interpretation of dependent type theory, Elements of a theory of algebraic theories, Contravariance through enrichment, Pseudo-Kan Extensions and Descent Theory, Combinatorial structure of type dependency, 2-nerves for bicategories, Central extensions of smooth 2-groups and a finite-dimensional string 2-group, Skew structures in 2-category theory and homotopy theory, A colimit decomposition for homotopy algebras in Cat, Morita contexts as lax functors, Props in Network Theory, Homomorphisms of higher categories, Icons, Model structures on the category of small double categories, Lifting PIE limits with strict projections, Flexible limits for 2-categories, Axiomatics for Data Refinement in Call by Value Programming Languages, A 2-Categories Companion, An Australian Conspectus of Higher Categories, Affine geometric spaces in tangent categories, The free category with products on a multigraph, A representation result for free cocompletions, Cofibrantly generated lax orthogonal factorisation systems, Pseudo-commutative monads and pseudo-closed 2-categories, Codescent objects and coherence, The Bicategory-Theoretic Solution of Recursive Domain Equations, Unnamed Item, Adjoint functor theorems for homotopically enriched categories, Premonoidal categories as categories with algebraic structure, Tortile tensor categories, Limits for lax morphisms, Beck's theorem for pseudo-monads, An algebraic formulation for data refinement, Coherence for bicategorical cartesian closed structure, Weak $\infty$-categories via terminal coalgebras, An interpretation of dependent type theory in a model category of locally cartesian closed categories, A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES, Comparison of the colimit and the 2-colimit, Distributive laws for relative monads, On operads, bimodules and analytic functors, The relative monoidal center and tensor products of monoidal categories, Unnamed Item, Understanding the small object argument, Understanding the small object argument, Tensors of Comodels and Models for Operational Semantics, Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness, Symmetric monoidal categories and $\Gamma$-categories, Fibrations of AU-contexts beget fibrations of toposes, Unnamed Item, From coherent structures to universal properties, Restriction categories. I: Categories of partial maps, Higher-dimensional Mac Lane's pentagon and Zamolodchikov equations, On bicolimits of $ C^* $-categories, The existential completion

Cites Work