Def CategoryTheory.comonadicAdjunction

Modification history