In homotopy type theory, the Kleisli category of the exponential comonad on spans is equivalent to the category of V-ary polynomials, yielding a new model of linear logic.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Polynomials in homotopy type theory as a Kleisli category
In homotopy type theory, the Kleisli category of the exponential comonad on spans is equivalent to the category of V-ary polynomials, yielding a new model of linear logic.