IJ
Что такое диаграмма? Мы взяли категорию-шаблон A и подсветили с помощью функтора похожий на неё кусочек в B (это диаграмма).
Что такое вершины конусов? Это "смежные" объекты в B из которых можно морфировать в любой объект на диаграмме.
Что такое предел? Это наилучший, оптимальный из "смежных" объектов, такой, из которого можно добраться не только до объектов диаграммы, но и до всех других "смежных" объектов.
Предела может не быть. Он также определяется с точностью до изоморфизма, ибо из изоморфных (между ними стрелки <- и -> ) кандидатов на предел нет способа отдать предпочтение какому-то одному.