[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

categories: Re: rfn+rfr

To: categories@mta.ca
Subject: categories: Re: rfn+rfr
From: Frank Atanassow <franka@cs.uu.nl>
Date: Fri, 18 Jan 2002 18:22:12 +0100
In-reply-to: <200201171832.KAA07744@kamiak.eecs.wsu.edu>; from dbenson@eecs.wsu.edu on Thu, Jan 17, 2002 at 10:32:40AM -0800
References: <200201171832.KAA07744@kamiak.eecs.wsu.edu>
Sender: cat-dist@mta.ca
User-agent: Mutt/1.2.5i

David Benson wrote (on 17-01-02 10:32 -0800):
> We are in the presence of a functor F: A --> B which is
> surjective on the objects of B, up to isomorphism. 
> I suppose I could call such functors ``soouti'',
> but I am hoping that someone will suggest a better name.

"Essentially surjective", unless I am missing something.

> Somewhat related, I have not been able to discover the
> definition of ``essential image'' in print,
> and I would greatly appreciate a reference, preferably the first one.

Taylor's "Practical Foundations" mentions "representative image" on p.210,
which I take it is the same thing.

-- 
Frank Atanassow, Information & Computing Sciences, Utrecht University
Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands
Tel +31 (030) 253-3261 Fax +31 (030) 251-379

References:
- categories: rfn+rfr
  - From: "David Benson" <dbenson@eecs.wsu.edu>

Prev by Date: categories: Reference needed
Next by Date: categories: representative image
Previous by thread: categories: rfn+rfr
Next by thread: categories: Reference needed
Index(es):
- Date
- Thread