Recall the notion of a final functor, which is a sort of colimit-preservation property.

Is such class of functors stable under pullbacks in Cat? Namely, is the pullback of a final functor along any other functor still final? If not, what is a counterexample?

A reference would also be welcome.

Mathematics Asked by geodude on November 12, 2021

1 AnswersNo, final functors are not stable under pullback in general.

Let $I := {0to1}$ be the walking arrow category, then $1:*to I$ picks out the terminal object and is thus final. The diagram $require{AMScd}$ begin{CD} varnothing @>>> *\ @V{F}VV @VV{1}V\ * @>>{0}> I end{CD} is a pullback square, but the functor $F:varnothingto*$ is not final. Indeed, let $G:*tomathbf{Set}$ pick any nonempty set $X$, then $varinjlim G=X$, but $varinjlim Gcirc F=varnothing$ since the colimit of the empty diagram is just the initial object in $mathbf{Set}$. As the unique map $varnothingto X$ is not bijective, we can conclude that $F$ is not final despite the finality of $1:*to I$.

However, final functors form an orthogonal factorisation system with discrete fibrations, and so in particular are closed under *pushouts* in $mathbf{Cat}$ (see e.g., here)

Answered by shibai on November 12, 2021

1 Asked on February 17, 2021 by lucas-myers

boundary value problem fourier series partial differential equations poissons equation

3 Asked on February 17, 2021 by john-smith-kyon

abstract algebra almost complex complex analysis complex geometry linear algebra

1 Asked on February 17, 2021 by zamir-ibrahim

1 Asked on February 16, 2021 by eduard

discrete mathematics ergodic theory measure theory probability theory random walk

2 Asked on February 16, 2021 by yk1

2 Asked on February 16, 2021 by sqrt

1 Asked on February 15, 2021 by wheea

1 Asked on February 15, 2021 by adilah

0 Asked on February 15, 2021 by elster

convergence divergence multivariable calculus taylor expansion

0 Asked on February 15, 2021 by deltachief

7 Asked on February 15, 2021 by anastasiya-romanova

calculus harmonic numbers improper integrals integration real analysis

2 Asked on February 14, 2021 by darius-chitu

3 Asked on February 14, 2021 by sugaku

1 Asked on February 14, 2021 by gevorg-hmayakyan

diophantine equations elementary number theory quadratic residues

1 Asked on February 14, 2021

1 Asked on February 14, 2021

1 Asked on February 14, 2021 by flowian

4 Asked on February 14, 2021

Get help from others!

Recent Questions

- Why random variables is a function? It seems that it violates the definition of function.
- An inequality for two positive series
- Computing the matrix differential/derivative of the matrix$rightarrow$scalar function $log det(BCB^T)$
- Characteristic function of random variable is always integrable
- Invariant $SU(3)$ subgroup for ${bf 8}$ in ${bf 3}^* otimes {bf 3} ={bf 1} oplus {bf 8}$

Recent Answers

- Ingix on An inequality for two positive series
- zkutch on Why random variables is a function? It seems that it violates the definition of function.
- Kavi Rama Murthy on Characteristic function of random variable is always integrable
- Mike F on Why random variables is a function? It seems that it violates the definition of function.
- greg on Computing the matrix differential/derivative of the matrix$rightarrow$scalar function $log det(BCB^T)$

© 2021 InsideDarkWeb.com. All rights reserved.