Note on star-autonomous comonads
Craig Pastro
TL;DR
This paper explores star-autonomous comonads within linearly distributive categories, revealing that in autonomous cases, they are equivalent to Hopf comonads, thus providing a new perspective on their structure.
Contribution
It introduces an alternative approach to star-autonomous comonads using linearly distributive categories and establishes their equivalence to Hopf comonads in autonomous cases.
Findings
Star-autonomous comonads can be characterized via linearly distributive categories.
In autonomous cases, star-autonomous comonads coincide with Hopf comonads.
Provides a new framework for understanding comonads in categorical logic.
Abstract
We develop an alternative approach to star-autonomous comonads via linearly distributive categories. It is shown that in the autonomous case the notions of star-autonomous comonad and Hopf comonad coincide.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsStellar, planetary, and galactic studies · Astro and Planetary Science