Diads and their application to topoi (Q843758)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Diads and their application to topoi |
scientific article |
Statements
Diads and their application to topoi (English)
0 references
15 January 2010
0 references
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.
0 references
topos
0 references
(co)monad
0 references
diad
0 references
(co)algebra
0 references
dialgebra
0 references