Closed categories generated by commutative monads
From MaRDI portal
Publication:5655526
DOI10.1017/S1446788700010272zbMath0244.18007MaRDI QIDQ5655526
Publication date: 1971
Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) 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 (34)
Unnamed Item ⋮ Semantics of weakening and contraction ⋮ Unnamed Item ⋮ Two-dimensional monad theory ⋮ Real sets ⋮ Dagger categories of tame relations ⋮ Functional distribution monads in functional-analytic contexts ⋮ Bundle functors and fibrations ⋮ Involutive categories and monoids, with a GNS-correspondence ⋮ Affine parts of monads ⋮ GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES ⋮ LNL polycategories and doctrines of linear logic ⋮ Value Iteration is Optic Composition ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Pseudo-commutativity of KZ 2-monads ⋮ Petri nets are monoids ⋮ Unnamed Item ⋮ Quantitative domains and infinitary algebras ⋮ Some reasons for generalising domain theory ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ Two-dimensional linear algebra ⋮ Pseudo-commutative Monads ⋮ Skew structures in 2-category theory and homotopy theory ⋮ V-localizations and V-Kleisli algebras ⋮ Monads on higher monoidal categories ⋮ Closed categories of coalgebras ⋮ Categories ⋮ Monads on symmetric monoidal closed categories ⋮ A reflection theorem for closed categories ⋮ On the differential graded Eilenberg-Moore construction ⋮ Pseudo-commutative monads and pseudo-closed 2-categories ⋮ Order completion monads ⋮ Unnamed Item
Cites Work
This page was built for publication: Closed categories generated by commutative monads
