Diads and their application to topoi

From MaRDI portal
Publication:843758





As a common generalisation of monads and comonads the author introduces the concept of a diad. He demonstrates that many of the constructions performable for monads resp. comonads can be extended to diads. In particular, for diads so called dialgebras can be constructed as common generalisation of algebras of a monad resp. coalgebras of a comonad. Main result: the category of dialgebras for a finite--limit preserving left diad on a topos is again a topos.











This page was built for publication: Diads and their application to topoi

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