Maybe a crazy idea but hear me out:
Not every category has all colimits/limits of a certain shape so it doesn't make sense to ask for a functor $\text{colim}: C^I \rightarrow C$. But what if we define a strict $2-$category $\text{PartialCat}$, which consists of categories and "partial functors" $F : A \rightarrow B$ defined only on a subcategory of $A$. So a partial functor between $A$ and $B$ is a diagram $A \leftarrow S \rightarrow B$ where $S$ is a subcategory of $A$.
Composition of $A \leftarrow S \xrightarrow F B$ and $B \leftarrow S' \xrightarrow G C$ is defined by the diagram $A \leftarrow F^{-1}(S') \rightarrow S' \xrightarrow G C$, giving us the diagram $A \leftarrow F^{-1}(S') \rightarrow C$ i.e a partial functor $A \rightarrow C$.
If we find a suitable notion of $2-$morphisms between partial functors we can define $\text{colim}$ as the left adjoint of the diagonal functor $C \xleftarrow{id} C \xrightarrow \Delta C^I$ in the $2-$category $\text{PartialCat}$.
$\text{colim}$ would then ideally be defined on the full subcategory of $C^I$ consisting of the diagrams $I \rightarrow C$ which have a colimit in $C$ and take those diagrams to their colimit.
This would allow us to bypass a lot of the diagram manipulation used to prove simple results such as "Left adjoint functors preserve colimits" for categories where all colimits don't exist and instead use $2-$categorical machinery. We generally prove results about colimits by using their universal property but we could bypass this and just use facts about adjunctions in $2-$categories basically.
We could also generalize this construction to define colimits of diagrams in $(\infty,1)-$categories easier since these are generally harder to understand just in terms of their universal property. Proving that $(\infty, 1)-$left adjoints preserve $(\infty, 1)-$colimits is not an easy result to prove analytically but becomes easy if we assume that there is a $(\infty,1)-$functor $\text{colim}: C^I \rightarrow C$ for quasicategories $C$ and $I$. This is just a formal consequence of the theory of adjunctions in a $2-$category. Specifically the homotopy $2-$category of quasicategories.
As for what the $2-$morphisms in $\text{PartialCat}$ should be I have no idea, maybe if $A \leftarrow S \rightarrow B$ and $A \leftarrow S' \rightarrow B$ are two partial functors called $F$ and $G$ respectively we can define $\text{Hom}(F,G)$ as the set of natural transformations between the two functors but restricted to $S \cap S' \rightarrow B$ so they have a common domain.
Explicitly: $\text{Hom}(F,G) = \text{Nat}(\left.F\right|_{S \cap S'} , \ \left.G\right|_{S \cap S'})$
I don't know how these natural transformations are supposed to compose though so it's probably wrong. Can't quite figure it out.
Thoughts about all this?