relative comonad

A *relative comonad* is what is to a *relative adjunction* as a comonad is to an adjunction.

- Benedikt Ahrens, Régis Spadotti,
*Terminal semantics for codata types in intensional Martin-Löf type theory*, (arXiv:1401.1053)

Created on September 16, 2016 at 04:16:21. See the history of this page for a list of all contributions to it.