Closed categories generated by commutative monads

DOI10.1017/S1446788700010272MaRDI QIDQ5655526zbMATH OpenFDO

Authors Anders Kock

Publication date 1971

Published in Journal of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1446788700010272

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Cites work

• A generalization of the functorial calculus
• Deductive systems and categories
• Monads on symmetric monoidal closed categories

Cited in

(43)

• Order completion monads
• Two-dimensional monad theory
• Affine parts of monads
• Quantitative domains and infinitary algebras
• V-localizations and V-Kleisli algebras
• Categories
• Semantics of weakening and contraction
• Functional distribution monads in functional-analytic contexts
• Bundle functors and fibrations
• Pseudo-commutative monads and pseudo-closed 2-categories
• Involutive categories and monoids, with a GNS-correspondence
• Skew structures in 2-category theory and homotopy theory
• On the differential graded Eilenberg-Moore construction
• Real sets
• Monads on symmetric monoidal closed categories
• A reflection theorem for closed categories
• Some reasons for generalising domain theory
• Dagger categories of tame relations
• scientific article; zbMATH DE number 3749236 (Why is no real title available?)
• scientific article; zbMATH DE number 3499979 (Why is no real title available?)
• scientific article; zbMATH DE number 3512376 (Why is no real title available?)
• scientific article; zbMATH DE number 3592214 (Why is no real title available?)
• Closed categories of coalgebras
• Two-dimensional linear algebra
• Pseudo-commutative monads
• Eilenberg-Moore monoids and backtracking monad transformers
• Initial algebras of terms with binding and algebraic structure
• scientific article; zbMATH DE number 7779295 (Why is no real title available?)
• GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES
• LNL polycategories and doctrines of linear logic
• Value Iteration is Optic Composition
• Pseudo-commutativity of KZ 2-monads
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• Enriching diagrams with algebraic operations
• A categorical account of composition methods in logic
• Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
• Bicategories of automata, automata in bicategories
• Coherent Taylor expansion as a bimonad
• Monads on higher monoidal categories
• Coherence for pseudo commutative 2-monads
• A taxonomy of categories for relations
• Strong dinatural transformations and generalised codensity monads
• Petri nets are monoids

This page was built for publication: Closed categories generated by commutative monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5655526)