Видимо, более наглядно, чем Милевский, никто не описывал.
https://bartoszmilewski.com/2017/04/17/kan-extensions/
https://bartoszmilewski.com/2018/01/23/pointwise-kan-extensions/
Нутам, частично не удовлетворяет "хацкель не предлагать" ;-)
На первый взгляд, очень так —
https://en.wikipedia.org/wiki/Kan_extension
Но имхо, надо ещё понять (ко)концы, это важная, очень важная тема.
Ну это всё (пределы-сопряжённости-(ко)концы-расширенияКана) между собой очень хорошо так завязано.
Ну и имхо, на каком-то этапе, таки желательно почитать Маклейна, он хорош, хоть и примеры у него такие вот ;-)
#link

Ачойта хацкель не предлагать? ;-)
(У меня есть свой ответ, но интересно мнение)

в хаскелл только потерный Кан можно сделать в основном это идея глобализации континюейшн (правое расширение)

ок, начну с эндов

Тоже бартоша копать?

А как расширения Кана связаны с продолжениями?
Интересно. Ну в смысле, что как-то точно могут быть связаны, просто потому, что расширения могут быть связаны в принципе, с чем угодно.
Но где-как это даёт удобства?

В смысле, вопрос про предел эндофунктора?...
Какой именно вопрос?

А, с end'ов ;-)

ну вот правое расширение
Yoneda
Limit
Codensity
Cont
ContT
все это выразимо через Ran

Да, я так понял end и coend там рекомендовали до каны изучить

Не знаю пока. Но думаю, что во-первых, Милевский это уже описывал, во-вторых, что у него более-менее наглядно ;-)
Ещё есть у Catsters'ов.
Ну там они, по сути, тупо расжёвывают определение.
Вроде, какую-то парочку примеров дают...
Щас посмотрю, пролистаю быстро.
Ссылку щас найду —
https://www.youtube.com/playlist?list=PLg-WC4aaB3JuUXyuc337P8UYQSQVTjyP6
#link

Да, ессно. Я где-то про это и сказал, что расширения могут быть при чём в почти любой теме ;-)
Где их использование даёт какие-то удобства?
В принципе, это вполне возможно, но чотта мне воображения не хватает, что ли...
(думаю, что тема применения категорных конструкций в программировании, это вполне тема чатега, если не так, то пусть меня поправят)

ну вот я через Ran сделал примитивную модель Rx Observable (как идея,что это есть что-то похожее на ContT)

к тому же есть 4 статьи у Кметта

@Comonoid что можешь сказать про 6 йог?

"6 йог" — що це таке?...

Гротендика

;-)
Please note that the nLab and nForum will be down for planned maintenance between around 02:00 GMT and 15:00 GMT on the 11th of March.
The nLab talk Google Group can be used for communication during the period of downtime.
Apologies for any inconvenience.

Видимо, я не знаю, о чём речь ;-(