к
Для меня очевидно, что если в это отношение добавить транзитивность, то оно уже не будет функцией
В общем случае восстановление структуры множеств и отображений на произвольной категории выглядит так:
1. El(A) = { все стрелки отовсюду в A }
2. Map(f: A -> B) = { отображение, которое ставит в соответствие стрелке h: X -> A встрелку f(h) = f . h : X -> B }