Linear Exponential Comonads without Symmetry
Logic in Computer Science
2017-01-25 v1 Category Theory
Abstract
The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric) monoidal categories, and show some basic results on them.
Keywords
Cite
@article{arxiv.1701.04919,
title = {Linear Exponential Comonads without Symmetry},
author = {Masahito Hasegawa},
journal= {arXiv preprint arXiv:1701.04919},
year = {2017}
}
Comments
In Proceedings LINEARITY 2016, arXiv:1701.04522