additive_functor): additive functors preserve zero objects (#7463)

Commit

4 years ago

feat(category_theory/.../additive_functor): additive functors preserve zero objects (#7463) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents