Моя интуиция держится на том правиле выражения через эквалайзеры и продукты.
Что, лимит - это какое-то подмножество возможно сильно бесконечного декартового произведения, уточнённое кучей равенств всяких функций на нём
На множествах, это в точности так и есть.
С категориями "вообще", это близко к правде.