Commit 2021-01-27 08:41 aa8980d9
View on Github →chore(category_theory/monad): comonadic adjunction (#5770) Defines comonadic adjunctions dual to what's already there
chore(category_theory/monad): comonadic adjunction (#5770) Defines comonadic adjunctions dual to what's already there