Hi, Paul LEVY wrote:
I've heard the term "lluf subcategory" meaning "subcategory with the same objects but possibly fewer morphisms". Is there a reference for this usage?
Two references to "lluf subcategories" that I am aware of: 1. Categories for Types - Roy L. Crole - 1993 - page 49 2. Practical Foundations of Mathematics - Paul Taylor - 1999 - page 211 (where the term "wide subcategory" is suggested as synonym). And thank you, Paul, for bringing this up, since it reminded me to ask: Does anyone know the origin of the term "lluf", or how it should be pronounced? Zippie -- --------------------------------------------------------------------- Dr. Zippora Arzi-Gonczarowski Typographics, Ltd. 46 Hehalutz St. Jerusalem 96222, Israel URL - http://www.actcom.co.il/typographics/zippie E-mail - zippie@actcom.co.il Tel: (+972)-2-6437819 Fax: (+972)-2-6434252 --------------------------------------------------------------------- 10-Jan-2002 22:40:05 -0400,1283;000000000000-00000000