Тоже посмотрел из любопытства. Пояснение там совсем нерелевантное к тому, что поясняется. Оно служит иллюстрацией к словам "Не надо думать, что при любом равновесии тел
c
и
с
тела
и
обязательно будут в равновесии". Но какое же здесь равновесие между телами если Лена не обязательно любит Колю и Алешу?
Как известно, одно из отличий любви от дружбы в том, что любовь не обязана быть взаимной. Вот если бы сказали, что Коля дружит с Леной и Алеша дружит с Леной, то предпосылки для шутки про Колю и Алешу бы имелись, и являлись бы пояснением того, что дружба это симметричное отношение, но не обязательно транзитивное.
Для несимметричного отношения пример тоже не подходит. Здесь корректным примером возможного отсутствия транзитивности было бы "Коля любит Лену, а Лена любит Алешу". И даже иллюстрацией того, что это может не быть категорией, поскольку композиция морфизмов не гарантируется
И после этого физики удивляются, почему их учебники непонятны для математиков
Математики явно лучше поясняют похожую ситуацию, см. "Conceptual Mathematics. A First Introduction to Categories" Stephen Schanuel и William Lawvere, Article I, стр. 14: "Many 1950s movie plots are based on this diagram".