Revision 8699e065-6178-4ad2-85dd-95cbbc70c2f3

Call an indexed collection of coinitial arrows $\{f_i:X\to Y_i\}_{I\in I}$ in a category $\mathcal{C}$ an *$I$-indexed source in $\mathcal{C}$*. For a category $\mathcal{C}$, call an ${\bf Ob}_\mathcal{C}$-indexed source in any category a *$\mathcal{C}$-indexed source*.

Using this language, a cone to a functor $F:\mathcal{C}\to\mathcal{D}$ is just a $\mathcal{C}$-indexed source in $\mathcal{D}$ with $Y_i=F(i)$ for all objects $i\in\mathcal{C}$ and a coherence condition relating members of the source in the 'natural' way.

>**Definition.** Let $F:\mathcal{C}\to\mathcal{D}$ be a functor, with $S:\mathcal{I}\to\mathcal{C}$ a diagram of shape $\mathcal{I}$ in $\mathcal{C}$. We say that $F$ *creates the limit of $S$* iff $F\circ S$ having a limit $$\pi':\Delta L'\Rightarrow F\circ S$$ in $\mathcal{D}$ implies that there exists a unique (up to iso) $\mathcal{I}$-indexed source $$\hat L=\{\pi_I:L\to S(I)\}_{I\in{\bf Ob}_\mathcal{I}}$$ in $\mathcal{C}$ such that $$F(\hat L)\cong\pi'$$ as cones, and further that $\pi:\Delta L\Rightarrow S$ is a limit of $S$ in $\mathcal{C}$. We say that $F$ *creates limits of shape $\mathcal{I}$* iff $F$ creates the limt of all functors $S:\mathcal{I}\to\mathcal{C}$, and that $F$ *creates limits* iff $F$ creates limits of shape $\mathcal{I}$ for all 'small' categories $\mathcal{I}$.

This definition is very similar to the one found in [The Joy of Cats](http://katmat.math.uni-bremen.de/acc/acc.pdf) by Adamek, Herrlich, and Strecker (p. 227 definition 13.17), but they required uniqueness on the nose for $\hat L$ and that $F(\hat L)=\pi'$.

The discussion and lemmas in their book after their definition establish that it implies all other kinds of 'things you want a functor to do to limits' (c.f. the diagram in remark 13.38, p. 232, reproduced below), with the exception of preservation.
[![][1]][1]
The definition above also implies all the good behavior one could ask for (except preservation), and is 'respected by equivalence' better than the one in JoC since it makes no reference to uniqueness on the nose or equality -- <s>equivalences create limits in both senses of the definition though</s>. 

**EDIT**: Unless I'm mistaken, their definition is satisfied by the forgetful functors they list but *not* equivalences, since $\hat L$ is only unique up to iso and we only have $F(\hat L)\cong\pi'$ for the obvious source $\hat L$ corresponding to $\pi'$ by essential surjectivity followed by fullness. Accordingly it seems this definition is better than the one in JoC, as it is satisfied by equivalences which should certainly 'create limits' however we define the term.

I would argue that the lattice of nice implications above (that includes properties explicitly listed in the definitions you reference) make both versions of this definition more satisfying than the other options available. This definition doesn't imply preservation of limits, though, so if preservation of limits matches our intuition for what 'creating a limit' should mean we ought add that $F$ preserves limits to the above definition.

As a note, the subtle difference between the Adamek, Herrlich, and Strecker definition and most other definitions encountered is that we don't a-priori impose the cone coherence conditions on the source in the domain when we assert that it is unique; it must be unique as a source, not as a cone. We then 'create' the cone coherence conditions using $F$; this matches nicely with what 'creating' a limit should mean, in my opinion.

---

What follows is a proof that equivalences satisfy the above definition of 'creating limits'.

>**Proof** Let $F:\mathcal{C}\simeq\mathcal{D}$ be an equivalence, with $S:\mathcal{I}\to\mathcal{J}$ be a diagram of shape $\mathcal{I}$ in $\mathcal{C}$, and suppose that $F\circ S$ has a limit $\pi':\Delta L'\Rightarrow F\circ S$. Since $F$ is essentially surjective there exists some object $L\in\mathcal{C}$ and an isomorphism $u:F(L)\cong L'$, so $\pi'\circ u:\Delta F(L)\Rightarrow F\circ S$ is also trivially a limit of $F\circ S$. Further, since $F$ is full we obtain a source $$\hat L=\{\pi_I:L\to S(I)\}_{I\in\mathcal{I}}$$ in $\mathcal{C}$ with $F(\pi_I)=\pi'_I\circ u$ for all objects $I\in\mathcal{I}$, thus $F(\hat L)\cong\pi'$ as cones since $u$ was an iso and a morphism of cones by the preceding equations for all $I$. If any other source $\hat L''=\{\pi'':L''\to S(I)\}_{I\in\mathcal{I}}$ satisfies $F(\hat L'')\cong\pi'\cong F(\hat L)$ then there exists a unique isomorphism of cones $$w':F(L)\to F(L''),$$ and since $F$ is full this arrow is the image of an arrow $w:L\to L''$ which is unique satisfying $F(w:L\to L'')=w':F(L)\to F(L'')$ by faithfulness of $F$. We then have that $$F(\pi''_I\circ w)=F(\pi''_I)\circ F(w)=F(\pi''_I)\circ w'=F(\pi_I)\implies\pi''_I\circ w=\pi_I,$$ since $F$ is faithful, and $w$ is an iso since $w'$ is with $w^{-1}:L''\to L$ the unique arrow such that $F(w^{-1}:L''\to L)=w'^{-1}:F(L'')\to F(L)$, so $\hat L''\cong\hat L$ and since $\hat L''$ was an arbitrary source $\hat L$ is the unique source up to isomorphism whose image is $\pi'\circ u$. $\pi:\Delta L\Rightarrow S$ is further a limit of $S$; it is a cone since 
[![][2]][2]
commutes for all arrows $f:I\to I'\in\mathcal{I}$ since $\pi'$ is a cone to $F\circ S$, thus
[![][3]][3]
commutes for all arrows $f:I\to I'\in\mathcal{I}$ since $F$ is faithful. This cone is further terminal, since any other cone $'\pi:\Delta'L\Rightarrow S$ gives rise to a cone $F('\pi):\Delta F('L)\Rightarrow F\circ S$ which induces a unique morphism of cones $'u:F('L)\to F(L)=L'$ with $F(\pi_I)\circ{'u}=\pi'_I\circ {'u}=F({'\pi_I})$, and since $F$ is full there exists an arrow $v:{'L}\to L\in\mathcal{C}$ which is unique satisfying $F(v:{'L}\to L)={'u}:F({'L})\to F(L)$ since $F$ is faithful, and $v$ is also a morphism of cones since $$F(\pi_I\circ v)=F(\pi_I)\circ F(v)=\pi'_I\circ{'u}=F({'\pi_I})\implies\pi_I\circ v={'\pi_I}$$ for all objects $I\in\mathcal{I}$, again by faithfulness of $F$. 

It is not immediately apparent how to modify the above proof to get that equivalences satisfy the JoC definition of creating limits. We might be able to get around this (non-canonically in a universe with choice) by using the fact that two categories are equivalent iff they have isomorphic skeletons, then choosing a skeleton of $\mathcal{D}$ that already contains the limit $\pi':\Delta L'\Rightarrow F\circ S$ and a skeleton of $\mathcal{C}$ isomorphic to this skeleton -- we should then have that the JoC definition is satisfied as well, unless I'm mistaken.


  [1]: https://i.sstatic.net/2scBF.jpg
  [2]: https://i.sstatic.net/icpBQ.png
  [3]: https://i.sstatic.net/tJqt8.png