sheaf): category of sheaf is preadditive when target is preadditive (#16324)

Commit

3 years ago

feat(category_theory/sites/sheaf): category of sheaf is preadditive when target is preadditive (#16324) `Sheaf J A` is preadditive when `A` is

Author

jjaassoonn

Parents