Commit 2021-10-11 07:59 1539ee18

View on Github →

refactor(topology/sheaves/*): Make sheaf condition a Prop (#9607) Make sheaf_condition into a Prop and redefine the type of sheaves on a topological space X as a subtype of (opens X)ᵒᵖ ⥤ C.

Estimated changes