6
Seeing as there's an nLab page about creation of limits, I take it that at least some people think this is an important notion. There's also a discussion here about what the "correct" definition of this notion is. However, and maybe this is just my ignorance speaking, but I haven't actually found...
There are several definitions of what it means for a functor $F$ to create limits of a certain type.
There is the definition in MacLane's CWM:
Definition 1: A functor $F:\mathcal{C}\to \mathcal{D}$ creates limits of type $J$ if for every diagram $D\in \mathcal{C}^J$ such that $FD$ has a limi...
