Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I see that Connes and Consani in the article listed there define a -set as a pointed functor from to rather than functors to as we have here.
The latter would seem to sit better with Gamma-space.
The category of Γ-sets in this sense is no longer a topos
Why is it not a topos? Set_* is a slice topos, presheaves valued in a topos again form a topos.
Rather a co-slice, no?
Re #5: I confused slice and co-slice, I guess.
But this does raise a question: what kind of category does the co-slice category of a topos form?
But this does raise a question: what kind of category does the co-slice category of a topos form?
in this case it is not just a coslice but one from the global point (terminal object) which makes it have a sub object classifier I think. If that is worth anything.
There is a comment by Vladimir Sotirov in MO:a/4765697 on pointed sets having a subobject classifier but not being an elementary topos.
1 to 8 of 8