pith. sign in

arxiv: 1701.04919 · v1 · pith:7ZY7NZAKnew · submitted 2017-01-18 · 💻 cs.LO · math.CT

Linear Exponential Comonads without Symmetry

Masahito Hasegawa (RIMS , Kyoto University) This is my paper
classification 💻 cs.LO math.CT
keywords exponentiallinearcomonadscategoriesmonoidalbasicbeengeneral
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors

    cs.PL 2025-10 unverdicted novelty 7.0

    Establishes resource-safety properties for linear effectful call-by-push-value calculi with allocation effects and exceptions via a Curry-Howard correspondence modeling destructors in slice categories.