9 Jan
2002
9 Jan
'02
10:14 a.m.
I've heard the term "lluf subcategory" meaning "subcategory with the same objects but possibly fewer morphisms". Is there a reference for this usage?
I read it in Crole's "Categories for Types", page 49. Andrew ...... Andrew.Ker@comlab.ox.ac.uk ...... Junior Research Fellow ...... University College, Oxford, OX1 4BH ...... Tel: +44 1865 276618 10-Jan-2002 10:02:22 -0400,4896;000000000000-00000000