Strong functors on many-sorted sets

DOI10.14712/1213-7243.2019.029zbMath1474.18001OpenAlexW3006945279MaRDI QIDQ5218975

Paul Blain Levy

Publication date: 6 March 2020

Published in: Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14712/1213-7243.2019.029

zbMATH Keywords

strong functorstrong monadmany-sorted set

Mathematics Subject Classification ID

Special properties of functors (faithful, full, etc.) (18A22)

Related Items (1)

Unnamed Item

Cites Work

• Notions of computation and monads
• Strong functors and monoidal monads
• Initial algebras and terminal coalgebras in many-sorted sets
• Unnamed Item

This page was built for publication: Strong functors on many-sorted sets