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.
1 to 4 of 4
I am wondering about the following question, concerning 2-sheaves:
Let be a sheaf-topos. By Bunge-Pare, cor 2.6 every geometric morphism
into is a 2-sheaf on equipped with the canonical topology, in the sense that the corresponding indexed category
is a 2-sheaf.
Moreover, by inspection and by a standard fact, if is an etale geometric morphism, then this 2-sheaf is actually a 1-sheaf, equivalently: is represented by an object of .
So we have this sequence of 2-functors
Unless I am missing something.
Is the last inclusion that of 2-sheaves which factor through the forgetful functor ?
Yes, that’s right. Except there is a size switch: is equivalent to the category of small 1-sheaves on itself, whereas the indexed category corresponding to a geometric morphism is a large 2-sheaf. In particular, the composite is not the obvious inclusion of 1-sheaves in 2-sheaves.
I don’t understand your last question.
Thanks!
In particular, the composite is not the obvious inclusion of 1-sheaves in 2-sheaves.
I noticed this while running to the train. It sends an object to the functor . So how should we think of this inclusion?
I don’t understand your last question.
For a 2-sheaf we can ask if it is equivalent to a composite .
I was wondering if those that have this factorization are those in the image of the last inclusion.
(I should be able to figure that out now. Currently I am throwing out these questions while travelling…)
So how should we think of this inclusion?
I would say, is a “category of sets” and is a “2-category of categories”, and this functor sends each “set” to the “overcategory” of “sets” over .
1 to 4 of 4