* Re: Roos theorem
@ 2020-12-02 11:54 Venkata Rayudu Posina
0 siblings, 0 replies; only message in thread
From: Venkata Rayudu Posina @ 2020-12-02 11:54 UTC (permalink / raw)
To: categories
If I may, I'd like to add to my earlier question regarding the conditions
under which
C = B^A
the following:
If A and B are adequate and discrete, respectively, subcategories of C,
then objects of C can be represented as contravariant functors A --> B.
Please correct me if I'm mistaken. Also, is this related to the theorem of
Roos in SGA4?
thank you,
posina
On Wed, Dec 2, 2020 at 3:48 PM Venkata Rayudu Posina <
posinavrayudu@gmail.com> wrote:
>
> Dear All,
>
> I hope and pray you and your family are all safe and well.
>
> I was wondering under what conditions a category C can be written as
> an exponential B^A (a category of contravariant functors interpreting
> a theory A into a background B). Reyes, Reyes, and Zolfaghari note
> (on p. 81 of their book: Generic Figures and their Glueings) that the
> answer to the above question is a theorem of Roos in SGA4, p. 415.
>
> Would you be kind enough to direct me to an English version of Roos
theorem.
>
> thank you,
> posina
[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:[~2020-12-02 11:54 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-12-02 11:54 Roos theorem Venkata Rayudu Posina
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).