20 May
2014
20 May
'14
4:54 a.m.
On 5/19/2014 7:03 AM, pjf wrote:
Every category with finite limits is equivalent to a tau-category with a functorial choice of finite limits (and the construction is choice-free).
Why merely finite? Didn't you show this for all \omega-polynomials (i.e. less than \omega^\omega), or have I overlooked something? Vaughan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]