6 Mar
2015
6 Mar
'15
3:21 a.m.
"Categories, Allegories" by Freyd and Scedrov defines categories that way, on p.3. -- Peter Uwe Egbert Wolter wrote:
Some years ago (around 30?) I read a book where it was mentioned that one could define categories without (explicit) objects in the sense that objects are mimicked by identity morphisms. Unfortunately, I can not reconstruct what book it was.
I know how this works. I would, however, like to have a reference.
Best
Uwe Wolter
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]