Is there a way to export the Grothendieck construction to different contexts than $Cat$? in theory, if you build $\int F$ out of $F\colon \mathcal C\to Cat$, or $F\colon \mathcal C\to Sets$, as a suitable (lax) pullback along the canonical forgetful $Cat_*\to Cat$, $Sets_*\to Sets$, you can do the same replacing $Sets_*$ with pointed categories, pointed spaces, pointed simplicial sets and their unpointed analogues.

The central importance of the category of elements in both Category Theory and Geometry makes me wonder if there is a well-established, abstract way to perform these constructions, capturing the various examples. Is it possible to talk about a Grothendieck construction for suitable functors $F\colon \mathcal C\to $ "something", proveided this something is "nice"?

More precisely, is there a "general Grothendieck construction in enriched category theory"? If not (I firmly believe the answer is no, given that weighted limits are seldom reducible to conical ones, and more importantly in non-cartesian situations "conical limits" make no sense), how can I enucleate a set of properties on $\cal V$ in such a way that there is a Grothendieck construction for $\cal V$-presheaves?

**Edit:** apparently the answer to the previous questions is yes. But now the validity of this machinery (Definition 3.1 and the rest of section 3) makes me wonder if the following result remains true in enriched setting.

The following properties for a functor $F\colon \mathcal C\to \bf Sets$ are equivalent:

- $F$ commutes with finite limits;
- The Yoneda extension $\text{Lan}_{y}F$ commutes with finite limits;
- $F$ is a filtered colimit of representable functors;
- The category of elements $\int F$ of $F$ is cofiltered.

If yes, how's it proved? (Haven't thought about it yet, so the answer could be trivial.)