Search
❯
Dec 08, 20251 min read
A site (C,J) is a category C equipped with a Grothendieck topology J.