[ 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
