Reference for certain categorical limits I would like to know if there is a special name for the following concept, papers that feature something similar or a general reference. Let $\mathcal{C}$ be a category and $\mathcal{D}$ a subcategory (or more generally a subclass of objects and morphisms). For a diagram $F:J\to\mathcal{C}$, say that the $\mathcal{D}$-limit of $F$ is a cone in $\mathcal{C}$ that satisfy a universal property respect to all cones whose vertex and morphisms to the vertex are in $\mathcal{D}$. $\mathcal{D}$-colimit would be the same concept but with cocones. It is clear that a $\mathcal{C}$-limit is precisely a usual limit, while any cone is a $\emptyset$-limit.
I am particularly interested in understanding in greater generality the behaviour of the examples in the following questions:
-Do colimits of manifolds coincide with underlying colimits as topological spaces?
-Are GIT's good categorical quotients just locally ringed space coequalizers?
-Colimits of manifolds
M-complete category is certainly related but too specific.
 A: This is such a natural notion, that I feel it must be written about somewhere, but I don't think it's in any of my usual sources like Borceux's books, Mac Lane's Categories for the working mathematician, or Emily Riehl's book Category Theory in Context.
It seems to me that such a notion, if previously invented, might be called a "relative limit" or "relative colimit." It feels like the sort of thing Grothendieck could have written about. Googling led me to writings of Lurie definining the analogous notion for $\infty$-categories, e.g., in Higher Topos Theory (4.3.1) and at this link in Kerodon.
The theory of Mahavier limits is also related, as this paper by Ittay Weiss spells out.
A: We can view a category $C_0 \hookrightarrow C$ equipped with a specified subcategory as an $\mathscr M$-category, which is a category enriched in the category of injections and commutative squares. As with any enriched category, we have the notion of weighted limit, which is an enriched notion of limit. Roughly speaking, a weighted limit for an $\mathscr M$-category comprises a limit in $C$ whose projections are in $C_0$, and for which the mediating morphism induced by the limit is in $C_0$ if each of its composite with each of the projections is in $C_0$. This seems to fit the description you give.
Unfortunately, I'm not aware of any explicit references for weighted limits in this setting: the closest reference I can find gives a description of weighted limits for $\mathscr F$-categories, which are a 2-categorical generalisation of $\mathscr M$-categories: see Proposition 3.6 of Lack–Shulman's Enhanced 2-categories and limits for lax morphisms. Alternatively, we can see these limits as kinds of limits in the double category where one class of morphisms is given by $C_0$ and the other is given by $C$: see Grandis–Paré's Limits in double categories, for instance, although this specific example is not mentioned.
