[TYPES] Inverse limit for categories

Arthur Azevedo de Amorim aarthur at seas.upenn.edu
Thu Sep 28 12:15:23 EDT 2017

Previous message (by thread): [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?
Next message (by thread): [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one?
Next message (by thread): [TYPES] Meaning explanations and the invalidity of the law of excluded middle
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list