Commit 2020-03-16 08:00 ff84bf47

View on Github →

feat(category_theory/monad/limits): forgetful creates colimits (#2138)

  • forgetful creates colimits
  • tidy up proofs
  • add docs
  • suggestions from review

Estimated changes