Two-dimensional linear algebra

DOI10.1016/S1571-0661(04)80910-1zbMath1260.18003OpenAlexW2026194980MaRDI QIDQ4917040

J. M. E. Hyland, A. 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

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

Related Items (1)

Combining effects: sum and tensor

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Group-like structures in general categories. I. Multiplications and comultiplications
• Cartesian bicategories. I
• Two-dimensional monad theory
• The structure of multiplicatives
• Pseudo-commutative monads and pseudo-closed 2-categories
• Calculi for interaction
• The Logic of Bunched Implications
• Coherence for tricategories
• Closed categories generated by commutative monads

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