An essentially surjective and full functor is a functor which is both essentially surjective and full.
Sometimes this condition is abbreviated eso and full, where “eso” is short for “essentially surjective on objects”.
Let $f \colon X \longrightarrow Y$ be a functor between small categories that happen to be groupoids, and write $i \;\colon\; Grpd \hookrightarrow \infty Grpd$ for the full inclusion of groupoids into the (∞,1)-topos ∞Grpd of ∞-groupoids. Then the following are equivalent:
$F$ is essentially surjective and full
$i(F)$ is a 0-connected morphism
As discussed there, an effective epimorphism in ∞Grpd between 1-groupoids is precisely an essentially surjective functor.
So it remains to check that for an essentially surjective $f$, being 0-connected is equivalent to being full.
The homotopy pullback $X \times_Y X$ is given by the groupoid whose objects are triples $(x_1, x_2 \in X, \alpha : f(x_1) \to f(x_2))$ and whose morphisms are corresponding tuples of morphisms in $X$ making the evident square in $Y$ commute.
By prop. it is sufficient to check that the diagonal functor $X \to X \times_Y X$ is (-1)-connected, hence, as before, essentially surjective, precisely if $f$ is full.
First assume that $f$ is full. Then for $(x_1,x_2, \alpha) \in X \times_Y X$ any object, by fullness of $f$ there is a morphism $\hat \alpha : x_1 \to x_2$ in $X$, such that $f(\hat \alpha) = \alpha$.
Accordingly we have a morphism $(\hat \alpha,id) : (x_1, x_2) \to (x_2, x_2)$ in $X \times_Y X$
to an object in the diagonal.
Conversely, assume that the diagonal is essentially surjective. Then for every pair of objects $x_1, x_2 \in X$ such that there is a morphism $\alpha : f(x_1) \to f(x_2)$ we are guaranteed morphisms $h_1 : x_1 \to x_2$ and $h_2 : x_2 \to x_2$ such that
Therefore $h_2^{-1}\circ h_1$ is a preimage of $\alpha$ under $f$, and hence $f$ is full.
In the 2-topos Cat, the pair of classes of morphisms consisting of
left class: essentially surjective and full functors
right class: faithful functors
form a factorization system in a 2-category – the (eso and full, faithful) factorization system.
When restricted to the (2,1)-topos Grpd and in view of Prop. , this is the special case of the n-connected/n-truncated factorization system in the (∞,1)-topos ∞Grpd for the case that $(n = 0)$ and restricted to 1-truncated objects. More on this is at infinity-image – Of Functors between groupoids.
basic properties of…
Created on May 27, 2020 at 12:09:47. See the history of this page for a list of all contributions to it.