Hereditary triangular matrix comonads

From MaRDI portal



Abstract: We recognise Harada's generalized categories of diagrams as a particular case of modules over a monad defined on a finite direct product of additive categories. We work in the dual (albeit formally equivalent) situation, that is, with comodules over comonads. With this conceptual tool at hand, we obtain several of the Harada results with simpler proofs, some of them under more general hypothesis, besides with a characterization of the normal triangular matrix comonads that are hereditary, that is, of homological dimension less or equal than 1. Our methods rest on a matrix representation of additive functors and natural transformations, which allows us to adapt typical algebraic manipulations from Linear Algebra to the additive categorical setting.











This page was built for publication: Hereditary triangular matrix comonads

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