Two-dimensional linear algebra

Martin Hyland, John Power

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

We introduce previous termtwonext term-previous termdimensionalnext termprevious termlinearnext term algebra, by which we do not mean previous termtwonext term-previous termdimensionalnext term vector spaces but rather the systematic replacement in previous termlinearnext term algebra of sets by categories. This entails the study of categories that are simultaneously categories of algebras for a monad and categories of coalgebras for comonad on a category such as SymMons, the category of small symmetric monoidal categories. We outline relevant notions such as that of pseudo-closed previous term2next term-category, symmetric monoidal Lawvere theory, and commutativity of a symmetric monoidal Lawvere theory, and we explain the role of coalgebra, explaining its precedence over algebra in this setting. We outline salient results and perspectives given by the dual approach of algebra and coalgebra, extending to previous termtwonext term dimensions the study of previous termlinearnext term algebra.
Original languageEnglish
Pages (from-to)227-240
Number of pages14
JournalElectronic Notes in Theoretical Computer Science
Volume44
Issue number1
DOIs
Publication statusPublished - 2001

Fingerprint

Linear algebra
Algebra
Term
Coalgebra
Vector spaces
Monoidal Category
Monads
Commutativity
Replacement
Vector space
Closed

Cite this

Two-dimensional linear algebra. / Hyland, Martin; Power, John.

In: Electronic Notes in Theoretical Computer Science, Vol. 44, No. 1, 2001, p. 227-240.

Research output: Contribution to journalArticle

Hyland, Martin ; Power, John. / Two-dimensional linear algebra. In: Electronic Notes in Theoretical Computer Science. 2001 ; Vol. 44, No. 1. pp. 227-240.
@article{d9bfa7ec87fe4c71b5b867b2097e0803,
title = "Two-dimensional linear algebra",
abstract = "We introduce previous termtwonext term-previous termdimensionalnext termprevious termlinearnext term algebra, by which we do not mean previous termtwonext term-previous termdimensionalnext term vector spaces but rather the systematic replacement in previous termlinearnext term algebra of sets by categories. This entails the study of categories that are simultaneously categories of algebras for a monad and categories of coalgebras for comonad on a category such as SymMons, the category of small symmetric monoidal categories. We outline relevant notions such as that of pseudo-closed previous term2next term-category, symmetric monoidal Lawvere theory, and commutativity of a symmetric monoidal Lawvere theory, and we explain the role of coalgebra, explaining its precedence over algebra in this setting. We outline salient results and perspectives given by the dual approach of algebra and coalgebra, extending to previous termtwonext term dimensions the study of previous termlinearnext term algebra.",
author = "Martin Hyland and John Power",
year = "2001",
doi = "10.1016/S1571-0661(04)80910-1",
language = "English",
volume = "44",
pages = "227--240",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "1",

}

TY - JOUR

T1 - Two-dimensional linear algebra

AU - Hyland, Martin

AU - Power, John

PY - 2001

Y1 - 2001

N2 - We introduce previous termtwonext term-previous termdimensionalnext termprevious termlinearnext term algebra, by which we do not mean previous termtwonext term-previous termdimensionalnext term vector spaces but rather the systematic replacement in previous termlinearnext term algebra of sets by categories. This entails the study of categories that are simultaneously categories of algebras for a monad and categories of coalgebras for comonad on a category such as SymMons, the category of small symmetric monoidal categories. We outline relevant notions such as that of pseudo-closed previous term2next term-category, symmetric monoidal Lawvere theory, and commutativity of a symmetric monoidal Lawvere theory, and we explain the role of coalgebra, explaining its precedence over algebra in this setting. We outline salient results and perspectives given by the dual approach of algebra and coalgebra, extending to previous termtwonext term dimensions the study of previous termlinearnext term algebra.

AB - We introduce previous termtwonext term-previous termdimensionalnext termprevious termlinearnext term algebra, by which we do not mean previous termtwonext term-previous termdimensionalnext term vector spaces but rather the systematic replacement in previous termlinearnext term algebra of sets by categories. This entails the study of categories that are simultaneously categories of algebras for a monad and categories of coalgebras for comonad on a category such as SymMons, the category of small symmetric monoidal categories. We outline relevant notions such as that of pseudo-closed previous term2next term-category, symmetric monoidal Lawvere theory, and commutativity of a symmetric monoidal Lawvere theory, and we explain the role of coalgebra, explaining its precedence over algebra in this setting. We outline salient results and perspectives given by the dual approach of algebra and coalgebra, extending to previous termtwonext term dimensions the study of previous termlinearnext term algebra.

UR - http://dx.doi.org/10.1016/S1571-0661(04)80910-1

U2 - 10.1016/S1571-0661(04)80910-1

DO - 10.1016/S1571-0661(04)80910-1

M3 - Article

VL - 44

SP - 227

EP - 240

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 1

ER -