[TYPES] Inverse limit for categories

Arthur Azevedo de Amorim <[email protected]> Thu, 28 Sep 2017 16:15:23 +0000

Newsgroups	gmane.comp.science.types
Message-ID	<CAHAb9XgZmfwJg061GAoa6hyjcJ89s9_Jm9J0B3RmwgBRHXfsPA@mail.gmail.com>

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Is anybody aware of an analog of the inverse limit construction at the
level of categories? That is, I want to build an entire category that has
recursive structure, and not just a recursive object in a concrete category
like CPO.

Thanks,

Arthur