More mathlib CategoryTheory stuff

Changes

1 changed files (+2/-0)

• Category.lean
  • @@ -555,3 +555,5 @@ theorem bind_join_equiv' [E : EndofunctorMonoid m] : joinFromBind (bindFromJoin
    #check CategoryTheory.Category #check CategoryTheory.Functor #check CategoryTheory.yoneda + #check CategoryTheory.Monad + #check CategoryTheory.Monad.monadMonEquiv