2
$\begingroup$

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!

  • 3
    The category of small categories is monadic over $[\bullet \rightrightarrows \bullet, \textbf{Set}]$, hence in particular has all small limits. But the real question is – does this necessarily give you what you want? The fibred product of two subcategories of a fixed category is just their intersection, as in any concrete category.2012-08-20

0 Answers 0