categories: Re: lluf subcategory

[Zippora Arzi-Gonczarowski <zippie@actcom.co.il>]

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
---------------------------------------------------------------------