mathlib
dc5a3db9 - feat(algebra/category): Forgetful functors preserve filtered colimits (#9101)

Commit

4 years ago

feat(algebra/category): Forgetful functors preserve filtered colimits (#9101) Shows that forgetful functors of various algebraic categories preserve filtered colimits.

Author

justus-springer

Parents

41414a3a

mathlib dc5a3db9 - feat(algebra/category): Forgetful functors preserve filtered colimits (#9101)

mathlib
dc5a3db9 - feat(algebra/category): Forgetful functors preserve filtered colimits (#9101)