Building off mathlib’s definition of a category, the first aim is to define a site following the Stacks Project Tag 00VG rather than using mathlib’s current definition. The focus here is on ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback