Giraud's Theorem and Categories of Representations
Algebraic Geometry
2015-05-19 v1 Category Theory
Abstract
We present an alternate proof of Giraud's Theorem based on the fact that given the conditions on a category E for being a topos, its objects are sheaves by construction. Generalizing sets to R-modules for R a commutative ring, we prove that a category with small hom-sets and finite limits is equivalent to a category of sheaves of R-modules on a site if and only if it satisfies Giraud's axioms and in addition is enriched in a certain symmetric monoidal category parametrized by an R-module.
Cite
@article{arxiv.1505.04463,
title = {Giraud's Theorem and Categories of Representations},
author = {Renaud Gauthier},
journal= {arXiv preprint arXiv:1505.04463},
year = {2015}
}
Comments
48 pages