> 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