Formal Categories

DOI10.4153/CJM-1965-076-0MaRDI QIDQ5341789zbMATH OpenOpenAlexFDO

Authors J.-M. Maranda

Publication date 1965

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4153/cjm-1965-076-0

zbMATH Keywords

general algebraic structures

Cited in

(6)

• Triples on functor categories
• The formal theory of relative monads
• Kleisli categories, T-categories and internal categories
• Hopf categories associated to comonoidal functors
• Semantics for a Turing-complete reversible programming language with inductive types
• Coherent Taylor expansion as a bimonad

This page was built for publication: Formal Categories

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