Is there a general construction or existence theorem for the fibered product of two subcategories of some ambient category? What sort of problems might one run into? Does this require a 2-categorical construction?
Thanks!
Is there a general construction or existence theorem for the fibered product of two subcategories of some ambient category? What sort of problems might one run into? Does this require a 2-categorical construction?
Thanks!