Abstract
A diad is a generalisation of a monad and a comonad. The idea is that we ignore the unit or counit, and consider only the natural transformations between T and T 2. It turns out that almost all the constructions that we form for a monad or comonad can also be constructed from a related diad. Diads were introduced in Kenney (Appl. Categ. Structures, 2008), where they give a generalisation of the results that the category of coalgebras for a finite-limit preserving comonad on a topos is another topos, and that the category of algebras for a finite-limit preserving idempotent monad on a topos is another topos. In that paper, we were only interested in a special class of diads called codistributive diads, and we considered only the part of the theory of diads necessary to prove the result about finite-limit preserving diads in topoi. Here, we will study general diads in greater detail. We will develop the general theory with constructions that extend the standard constructions for monads and comonads.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Eppendahl, A.: Coalgebra-to-algebra morphisms. Electron. Notes Theor. Comput. Sci. 29, 42–49 (1999)
Fawcett, B., Wood, R.J.: Constructive complete distributivity I. Math. Proc. Cambridge Philos. Soc. 107, 81–89 (1990)
Guitart, R., Riguet, J.: Envelope karoubienne de catégories de kleisli. Cahiers Topologie Géom. Différentielle Catég. 33(3), 261–266 (1992)
Kenney, T.: Diads and their application to topoi. Appl. Categ. Structures (2008). doi:10.1007/s10485-008-9161-4
Kock, A.: Monads for which structures are adjoint to units. J. Pure Appl. Algebra 104, 41–59 (1995)
Koslowski, J.: Monads and interpolads in bicategories. Theory Appl. Categ. 3(8), 182–212 (1997)
Paré, R., Rosebrugh, R., Wood, R.J.: Idempotents in bicategories. Bull. Austral. Math. Soc. 39(3), 421–434 (1989)
Riguet, J.: Relations binaires, etc. Bull. Soc. Math. France 76, 114–155 (1948)
Rosebrugh, R., Wood, R.J.: Constructive complete distributivity II. Math. Proc. Cambridge Philos. Soc. 110, 245–249 (1991)
Rosebrugh, R., Wood, R.J.: Constructive complete distributivity III. Canad. Math. Bull. 35, 534–547 (1992)
Rosebrugh, R., Wood, R.J.: Constructive complete distributivity IV. Appl. Categ. Structures 2(2), 119–144 (1994)
Street, R.H.: The formal theory of monads. J. Pure Appl. Algebra 2, 149–168 (1972)
Author information
Authors and Affiliations
Corresponding author
Additional information
Funded by an AARMS postdoctoral fellowship. I would also like to thank Geoff Cruttwell, Robert Paré, and Richard Wood for a lot of helpful discussions. I would also like to thank the referee for a very thorough review, which greatly improved the paper.
Rights and permissions
About this article
Cite this article
Kenney, T. The General Theory of Diads. Appl Categor Struct 18, 523–572 (2010). https://doi.org/10.1007/s10485-008-9181-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-008-9181-0