Commit 12f8f73

committed

feat(Presheaf): the category of presheaves has (X |-> Sieve X) as classifier

1 parent e215914 commit 12f8f73Copy full SHA for 12f8f73

1 file changed

+469

-0

lines changed

+469

-0

lines changed

Comments

(0)