2012.117: Sheaves as essentially algebraic objects
2012.117: Philip Bridge (2012) Sheaves as essentially algebraic objects.
Full text available as:
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
We develop the notion of essentially algebraic theories from . We associate with each Grothendieck site a corresponding essentially algebraic theory whose models are the sheaves on that site. This is used to classify locally finitely presented toposes, and to show that the category of modules over a ring object in a locally finitely presented topos is also locally finitely presentable.
|Item Type:||MIMS Preprint|
|Uncontrolled Keywords:||ringed space, sheaf, module, category, locally finitely presented, locally finitely generated|
|Subjects:||MSC 2000 > 16 Associative rings and algebras|
MSC 2000 > 18 Category theory; homological algebra
|Deposited By:||Mr Philip Bridge|
|Deposited On:||14 December 2012|