The formal theory of monads

From MaRDI portal
Publication:2553668

DOI10.1016/0022-4049(72)90019-9zbMath0241.18003OpenAlexW4213084408WikidataQ56687298 ScholiaQ56687298MaRDI QIDQ2553668

Ross H. Street

Publication date: 1972

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(72)90019-9



Related Items

Quantum double of Hopf monads and categorical centers, A bicategorical approach to actions of monoidal categories, A unified framework for notions of algebraic theory, Hom weak ω-categories of a weak ω-category, Lax distributive laws for topology, II, Cosmoi of Internal Categories, Strictification tensor product of 2-categories, EXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGS, Doctrines, modalities and comonads, Coherence for bicategorical cartesian closed structure, Weak $\infty$-categories via terminal coalgebras, Categorifying Computations into Components via Arrows as Profunctors, Cosimplicial Homotopies, Unnamed Item, Descent Data and Absolute Kan Extensions, Quantale-Enriched Multicategories Via Actions, Composing PROBs, Unnamed Item, Frobenius monads and pseudomonoids, A category-theoretic account of program modules, A dialectica-like model of linear logic, A remark on the theory of semi-functors, A compositional approach to quantum functions, On the 2-Categories of Weak Distributive Laws, Unnamed Item, 2-dimensional bifunctor theorems and distributive laws, A diagrammatic approach to symmetric lenses, The algebra of the Feistel-Toffoli construction, The category of implicative algebras and realizability, Algebras versus coalgebras, Divergences on monads for relational program logics, Distributive laws for relative monads, Monads Defined by Involution-Preserving Adjunctions, BRAIDED MIXED DATUMS AND THEIR APPLICATIONS ON HOM-QUANTUM GROUPS, Operads within monoidal pseudo algebras, Coherence for product monoids and their actions, On operads, bimodules and analytic functors, On lax transformations, adjunctions, and monads in $(\infty,2)$-categories, On quasi-monoidal comonads and their corepresentations, No-iteration mixed distributive laws, Comonadic base change for enriched categories, \(G_\infty\)-ring spectra and Moore spectra for \(\beta\)-rings, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi, Unnamed Item, Lawvere theories, finitary monads and Cauchy-completion, LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES, Powersets of terms and composite monads, Idempotents in bicategories, Iterated distributive laws, Polynomial functors and polynomial monads, On lifting of biadjoints and lax algebras, Generalised powerlocales via relation lifting, Unnamed Item, Cauchy characterization of enriched categories, Contravariance through enrichment, Models for the computational λ-calculus, Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness, Quasi-Kan extensions for 2-categories, Hopf polyads, Hopf categories and Hopf group monoids viewed as Hopf monads, Coalgebraic semantics for timed processes, Unnamed Item, Coalgebroids in monoidal bicategories and their comodules, Combining effects: sum and tensor, Comodules and Corings, From coherent structures to universal properties, Monads on tensor categories, A basic distributive law, Generalized enrichment of categories, Unnamed Item, Towards a Formal Theory of Graded Monads, Galois and cleft monoidal cowreaths. Applications, Corings over rings with local units, Faà di Bruno for operads and internal algebras, Weakest preconditions in fibrations, A category-theoretic account of program modules, On the formal theory of pseudomonads and pseudodistributive laws, Categorical semantics for arrows, A 2-Categories Companion, An Australian Conspectus of Higher Categories, The formal theory of multimonoidal monads, A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories, ON ITERATED TWISTED TENSOR PRODUCTS OF ALGEBRAS, Quantifiers on languages and codensity monads, A factorization of regularity, Unnamed Item, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Unnamed Item, Distributive laws between the Three Graces, Coextension of scalars in operad theory, Algebraic Kan extensions along morphisms of internal algebra classifiers, Comparing hierarchies of types in models of linear logic, The bicategories of corings., The construction of set-truncated higher inductive types, Closed categories, star-autonomy, and monoidal comonads, Relation lifting, a survey, On quasi-Hopf smash products and twisted tensor products of quasialgebras., Skew-closed categories, On the tensor product of modules over skew monoidal categories, The cosemisimplicity and cobraided structures of monoidal comonads, Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories, Category-based modularisation for equational logic programming, The Serre spectral sequence of a noncommutative fibration for de Rham cohomology, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, A micrological study of negation, Hochschild homology, lax codescent, and duplicial structure, Two-dimensional monad theory, Wreaths, mixed wreaths and twisted coactions, Tensor topology, General twisting of algebras., Involutive categories and monoids, with a GNS-correspondence, Algebraic weak factorisation systems. I: Accessible AWFS., Algebraic weak factorisation systems. II: Categories of weak maps., On the category of weak bialgebras, Semi-topological functors III: Lifting of monads and adjoint functors, Homotopy coherent adjunctions and the formal theory of monads, Frobenius and separable functors for the category of entwined modules over cowreaths. I: general theory, Representable \((\mathbb{T},\mathbf{V})\)-categories, Quantalic topological theories, Restriction categories II: Partial map classification, Glueing and orthogonality for models of linear logic, The monoidal Eilenberg-Moore construction and bialgebroids, Representing geometric morphisms using power locale monads, Factorisations of distributive laws, Quasi-bimonads and their representations, Algebraic theory of vector-valued integration, Cotwists of bicomonads and BiHom-bialgebras, Enriched categories as a free cocompletion, Graded algebraic theories, Levelwise modules over separable monads on stable derivators, Conspectus of variable categories, A categorical approach to cyclic duality., Factorization systems induced by weak distributive laws, Ionads, The formal theory of monoidal monads, Monads with arities and their associated theories, Monoidal ring and coring structures obtained from wreaths and cowreaths., The Gray tensor product for 2-quasi-categories, Weak \(n\)-categories: Comparing opetopic foundations., Enhanced 2-categories and limits for lax morphisms, Idempotent splittings, colimit completion, and weak aspects of the theory of monads, Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories, Gabriel-Morita theory for excisive model categories, Not every pseudoalgebra is equivalent to a strict one, Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\), A general limit lifting theorem for 2-dimensional monad theory, On monoids in the category of sets and relations, Weak bimonoids in duoidal categories, Monads in double categories, A skew-duoidal Eckmann-Hilton argument and quantum categories, Generalized Płonka sums and products, Modules over monads and initial semantics, Weak bimonads and weak Hopf monads, Internal Kleisli categories, Pre-torsors and Galois comodules over mixed distributive laws, Smash coproducts of monoidal comonads and Hom-entwining structures, Induced functors on categories of algebras, V-localizations and V-Kleisli algebras, Morita contexts as lax functors, Monads generated by monoids, The general theory of diads, The incidence comodule bialgebra of the Baez-Dolan construction, Limits indexed by category-valued 2-functors, Turaev bicategories and generalized Yetter-Drinfel'd modules in 2-categories, The weak theory of monads, Relating categorical semantics for intuitionistic linear logic, Conservative descent for semi-orthogonal decompositions, Monads and comonads on module categories, Yoneda structures on 2-categories, Categories, Soft adjunction between 2-categories, Notions of computation and monads, Structural induction and coinduction in a fibrational setting, Codensity, profiniteness and algebras of semiring-valued measures, Representable multicategories, A coherent approach to pseudomonads, Some properties of Fib as a fibred \(2\)-category, Cofibrantly generated lax orthogonal factorisation systems, Pseudo-commutative monads and pseudo-closed 2-categories, The formal theory of monads. II, Distributive laws and factorization, Variation through enrichment, Semantic factorization and descent, Paired wreaths: 2-categorical background of a class of cross products, Combining a monad and a comonad, Fixpoint operators for domain equations, Weak Hom-Hopf algebras and their (co)representations., From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories, Limits for lax morphisms