Commit 2020-12-12 23:59 eb9164bd

feat(category_theory/sites): naming and attributes (#5340) Adds simps projections for sieve arrows and makes the names consistent (some used mem_ and others used _apply, now they only use the latter).