Let $(M,p)\xrightarrow{\ \ F\ \ }(S,s)\xleftarrow{\ \ G\ \ }(N,q)$ be smooth maps of pointed differentiable manifolds. If $F$ and $G$ are transversal then the fibered product $(M,p)\times_{(S,s)}(N,q)$ exists, the underlying pointed topological space is given by the fibered product $(M\times_SN,(p,q))$ and the tangent space is given by the fibered product $$T_{(p,q)}( (M,p)\times_{(S,s)}(N,q))=T_p(M)\times_{T_s(S)}T_q(N)\,.$$In other words, fibered products of transversal morphisms of pointed differentiable manifolds exists and are preserved both by the forgetful functor to the category of pointed topological spaces and by the tangent space functor to the category of $\mathbb{K}$-vector spaces. A reference for this is Theorem 5.47 in Manifolds, Sheaves and Cohomology by Torsten Wedhorn. I know that not all fibered products exist in the category of (pointed) manifolds, see for example here. However, my question is the following:
Do the forgetful functor $\mathbf{Man}_\ast\longrightarrow\mathbf{Top}_\ast$ and the tangent space functor $\mathbf{Man}_\ast\longrightarrow\mathbf{Vect}_\mathbb{K}$ commute with the formation of fibered products in the categorical sense? I.e. are universal cones sent to universal cones whenever they exist?
Is there anything unclear about the question or has nobody ever thought about it?
