functor_category): Some additional isomorphisms involving (co)limits of functors. (#11152)

Commit

4 years ago

feat(category_theory/limits/functor_category): Some additional isomorphisms involving (co)limits of functors. (#11152)

Author

adamtopaz

Parents