(A : TopCat) →
  (B : TopCat) →
    CategoryTheory.Functor
      (↑(FundamentalGroupoid.fundamentalGroupoidFunctor.obj A) ×
        ↑(FundamentalGroupoid.fundamentalGroupoidFunctor.obj B))
      ↑(FundamentalGroupoid.fundamentalGroupoidFunctor.obj (TopCat.of (↑A × ↑B)))