Commit 2020-03-15 01:43 8c2a254c
View on Github →feat(category_theory): comonads and coalgebras (#2134)
- Comonads and coalgebras
- Update docstring
- add docstrings
- Update src/category_theory/monad/algebra.lean Co-Authored-By: Johan Commelin johan@commelin.net
- Update src/category_theory/monad/algebra.lean Co-Authored-By: Johan Commelin johan@commelin.net
- Update src/category_theory/monad/algebra.lean Co-Authored-By: Johan Commelin johan@commelin.net
- make the linter happy
- revert change to nolints
- disable inhabited instance linter