You are here: MIMS > EPrints
MIMS EPrints

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
394 Kb


We develop the notion of essentially algebraic theories from [1]. 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
MIMS number:2012.117
Deposited By:Mr Philip Bridge
Deposited On:14 December 2012

Download Statistics: last 4 weeks
Repository Staff Only: edit this item