On effective descent \(\mathcal{V}\)-functors and familial descent morphisms (Q6146488)

Le Creurer [\url{https://books.google.co.jp/books/about/Descent_of_Internal_Categories.html?id=1Jl4rgEACAAJ&redir_esc=y}] studied the problem of effective descent morphisms for essentially algebraic structures internal to a category \(\mathcal{B}\)\ with finite limits, giving sufficient conditions for effective descent morphisms in \(\mathcal{C} =\mathsf{Cat}(\mathcal{B})\) and confirming that these conditions provide a complete characterization with the added requirement that \(\mathcal{B}\) is extensive and has a (regular epi, mono)-factorization system. Making use of Le Creurer's results, \textit{F. Lucatelli Nunes} [Theory Appl. Categ. 33, 390--444 (2018; Zbl 1405.18002), Lemma 9.10, Theorem 9.11], via his study on effective descent morphisms for bilimits of categories, provided sufficient conditions for effective descent morphisms in \(\mathcal{C}=\mathcal{V}\)-\(\mathsf{Cat}\) via the following pseudopullback \[ \begin{array} [c]{ccc} \mathcal{V}\text{-}\mathsf{Cat} & \rightarrow & \mathsf{Cat}(\mathcal{V}) \\ _{\mathrm{ob}}\downarrow & & \downarrow_{(-)_{0}}\\ \mathsf{Set} & \rightarrow & \mathcal{V} \end{array} \] for suitable lextensive categories \(\mathcal{V}\), with the cartesian monoidal structure. The principal objective in this paper is to extend [\textit{F. Lucatelli Nunes}, Theory Appl. Categ. 33, 390--444 (2018; Zbl 1405.18002), Theorem 9.11] to all cartesian monoidal categories \(\mathcal{V}\) with finite limits (Theorem 3.3). The synopsis of the paper goes as follows. \begin{itemize} \item[\S 1] recalls the notion of pseudopullback in the restricted context of the 2-categories \(\mathsf{Cat}\) and \(\mathsf{MndCat}\), fixing some terminology and notation for (strong) monoidal functors used in the proofs of the results in \S 2 and recalling a couple of results from [\textit{F. Lucatelli Nunes}, Theory Appl. Categ. 33, 390--444 (2018; Zbl 1405.18002)] and [\textit{M. Weber}, Theory Appl. Categ. 18, 665--732 (2007; Zbl 1152.18005)] restated in a convenient form, which are part of the toolkit in \S 3. \item[\S 2] is devoted to establishing some technical results on preservation of pseudopullbacks by the 2-functor \((-)\)-\(\mathsf{Cat} :\mathsf{MndCat}\rightarrow\mathsf{CAT}\) (Theorem 2.1), full faithfulness (Lemma 2.2), and preservation of descent morphisms by suitable functors (Lemma 2.3). \item[\S 3] establishes the main result (Theorem 3.3), restating that if \(\mathcal{V}\) is a cartesian monoidal category, the following composite of functors \[ \mathcal{V}\text{-}\mathsf{Cat}\rightarrow\mathsf{Fam}(\mathcal{V}) \text{-}\mathsf{Cat}\rightarrow\mathsf{Cat}\left( \mathsf{Fam} (\mathcal{V}) \right) \] \item[\S 4] provides tractable descriptions of (effective) (almost) descent morphisms in \(\mathsf{Fam}(\mathcal{V})\), with an illustrative application to categories enriched in (co)complete Heyting lattices, obtaining Theorem 4.9 which refines Theorem 3.3 for regular categories, with further refinements for infinitary coherent categories, exact categories or locally cartesian closed categories. \item[\S 5] Provides some brief remarks regarding categories enriched in cartesian monoidal categories such as the category \(\mathsf{CHaus}\) of compact Hausdorff spaces, the category \(\mathsf{Stn}\) of Stone spaces and a (Grothendieck) topos. \item[\S 6] gives a couple of concluding remarks, where some possible lines of future research, with regard to extending the results to all symmetric monoidal categories, or to generalized multicategories, are sketched. \end{itemize}