10 Jun
2016
10 Jun
'16
9:57 p.m.
It is known that the injective objects in a topos are the retracts of (exponential) powers of Omega. (And this is not difficult to see.) What more is known in a positive direction, and, in particular, are there "sharper" characterizations of the injectives? Thanks, Martin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]