Two-dimensional linear algebra

DOI10.1016/S1571-0661(04)80910-1MaRDI QIDQ4917040zbMATH OpenOpenAlexFDO

Authors Martin Hyland, John Power

Publication date 26 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80910-1

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65)

Recommendations

• Two-dimensional monad theory
• Coalgebraic structures in module theory.
• Algebras versus coalgebras
• Distributive algebras in linear categories
• Lie monads and dualities

Cites work

• Calculi for interaction
• Cartesian bicategories. I
• Closed categories generated by commutative monads
• Coherence for tricategories
• Group-like structures in general categories. I. Multiplications and comultiplications
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3522192 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1392305 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• Pseudo-commutative monads and pseudo-closed 2-categories
• The Logic of Bunched Implications
• The structure of multiplicatives
• Two-dimensional monad theory

Cited in

(3)

• Linearization in two dimensions
• Combining effects: sum and tensor
• scientific article; zbMATH DE number 6673061 (Why is no real title available?)

This page was built for publication: Two-dimensional linear algebra

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