23 Feb
2004
23 Feb
'04
12:35 p.m.
Is there a "tradition" in constructive development of category theory? If so, what is a good reference?
Not sure if this is what you're looking for, but there's a very nice paper, "Category theory as coherently constructive lattice theory", by Roland Backhouse et al: http://www.cs.nott.ac.uk/~rcb/papers/abstract.html#CatTheory Jeremy -- Jeremy.Gibbons@comlab.ox.ac.uk Oxford University Computing Laboratory, TEL: +44 1865 283508 Wolfson Building, Parks Road, FAX: +44 1865 273839 Oxford OX1 3QD, UK. URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html