Oops, forgot to say that furthermore, it should hold (for such a category) that when the non vertices of the cospan are equal, the "projections' in the commutative square can be taken to be equal. e.d. On 25/04/13 11:19, Aleks Kissinger wrote:
Oops, forgot to send to list.
I think its actually a stronger property, but: perhaps cofiltered category?
On 25 April 2013 04:14, David Yetter<dyetter@math.ksu.edu> wrote:
Is there an existing name in the literature for a category in which every cospan admits a completion to a commutative square? (Just that, no uniqueness, no universal properties required, just every cospan sits inside at least one commutative square). If so, what have such things been called? If not, does anyone have a poetic idea for a good name for such categories?
Best Thoughts, David Yetter
yes !, a cofiltered category is just a connected such category, Verdier's formulation, see Mac Lane's book if you don't like the SGA4. e.d. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]