Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Contravariance of categories of algebras (#767)
* Define IsMonad. * HomFunctor. * bind as a natural transformation. * Functor algebras (WIP). * Functor algebras. * Eilenberg-Moore category. * Variance of category of algebras. * No eta-equality for Category. * Shorten long lines. * Reenable eta-equality for categories. * Uncomment involutiveOp.
- Loading branch information