Hi,

wow, a topic specific response, at last... But I wish you would be more specific... ;-)

A *referrer* (object) refers to a *referee* (object) by a *reference*
(arrow).


Doesn't work for me. Not in Ens (sets, maps), Grp (groups, homomorphisms), 
Top (topological spaces, continuous mappings), Diff (differential 
manifolds, smooth mappings), ... .

Why not begin with SET and functions...

Every human has a certain age, so that there is a function, ageOf:: Human-> Int, which can be regarded as a certain way of a reference relationship between Human and Int, in that by agoOf,

* Int reflects a certain aspect of Human, and, on the other hand,
* the structure of Human can be traced to Int.

Please tell me the aspect you feel uneasy with, and please give me your opinion, whether (in case of accepting this) you would rather choose to consider Human as referrer and Int as referee of the opposite -- for I think this is a deep question.

Thank you in advance,

Nick