Affine parts of monads

DOI10.1007/BF01222782zbMath0426.18003OpenAlexW2016716534MaRDI QIDQ1135920

Harald Lindner

Publication date: 1980

Published in: Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01222782

zbMATH Keywords

algebraic theoriesfinitely complete categoryterminal objectaffine idempotent operationaffine part of a monadcoadjointEilenberg-Moore situation

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Actions of a monoidal category, tensorial strength (18D25)

Related Items (4)

Semantics of weakening and contraction ⋮ From probability monads to commutative effectuses ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ Affine Monads and Side-Effect-Freeness

Cites Work

• Affine parts of algebraic theories. I
• Closed categories generated by commutative monads
• Unnamed Item
• Unnamed Item

This page was built for publication: Affine parts of monads