Re: Sheaves of T-algebras

Try D1.2.13 and D1.2.14 in the Elephant. -- Peter Johnstone On Sun, 23 Sep 2012, Michael Barr wrote:

It must be known that if T is a left exact theory (same as nearly equational theory) and you make a sheaf of T-algebras (meaning the stalks are T-algebras, then the set of global sections is also a T-algebra. Can anyone give me reference?

Michael

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]