multiequalizers. (#10294)

Commit

4 years ago

feat(category_theory/sites/sheaf): Add sheaf conditions in terms of multiforks/multiequalizers. (#10294) Another PR toward sheafification.

Author

adamtopaz

Parents