Re: equality is beautiful

Thorsten Altenkirch suggested the arrow category as an example where we would want equality on objects: http://www.mail-archive.com/epigram@durham.ac.uk/msg00285.html Bas On Sat, Mar 20, 2010 at 8:18 AM, David Leduc <david.leduc6@googlemail.com> wrote:

Dear all,

On 3/16/10, Richard Garner <rhgg2@hermes.cam.ac.uk> wrote:

...

Is this really the case?

I did some research on internet and found a document by Mathieu Dupont where, at the beginning of Section 4, he claims that it is the case. But he did not write where equality on objects in necessary. I am confused...

 http://breckes.org/dokumenty/warning.pdf

David

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]