Sites

Site-theoretic descent and sheaf theory that mention no geometry. Generic stacks in groupoids use the CategoryTheory declaration namespace.