« first day (316 days earlier)   

11:45 AM
6
Q: What's the point of "created limits"?

goblinSeeing 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...

12
Q: What is the "correct" definition of creation of limits?

Bruno StonekThere 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...

 

« first day (316 days earlier)