### Abstract

Original language | English |
---|---|

Pages (from-to) | 227-240 |

Number of pages | 14 |

Journal | Electronic Notes in Theoretical Computer Science |

Volume | 44 |

Issue number | 1 |

DOIs | |

Publication status | Published - 2001 |

### Fingerprint

### Cite this

*Electronic Notes in Theoretical Computer Science*,

*44*(1), 227-240. https://doi.org/10.1016/S1571-0661(04)80910-1

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

Research output: Contribution to journal › Article

*Electronic Notes in Theoretical Computer Science*, vol. 44, no. 1, pp. 227-240. https://doi.org/10.1016/S1571-0661(04)80910-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 -