* Injectives in toposes
@ 2016-06-10 21:57 Martin Escardo
0 siblings, 0 replies; only message in thread
From: Martin Escardo @ 2016-06-10 21:57 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-06-10 21:57 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-06-10 21:57 Injectives in toposes Martin Escardo
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).