Commit 2021-12-13 07:15 fcd0f11c
View on Github →feat(category_theory/flat_functor): Generalize results into algebraic categories. (#10735) Also proves that the identity is flat, and compositions of flat functors are flat.
feat(category_theory/flat_functor): Generalize results into algebraic categories. (#10735) Also proves that the identity is flat, and compositions of flat functors are flat.