Zulip Chat Archive

Stream: Is there code for X?

Topic: presentable objects

Reid Barton (May 30 2023 at 07:48):

Is there a definition (perhaps in LTE) of a $\kappa$ -presentable / $\kappa$ -compact object of a category, i.e. $X$ such that $\mathrm{Hom}(X, -)$ commutes with $\kappa$ -filtered colimits?

Reid Barton (May 30 2023 at 07:48):

(even for $\kappa = \omega$ )

Johan Commelin (May 30 2023 at 08:16):

I don't think we had this in LTE

Reid Barton (May 30 2023 at 11:05):

Dang, that means I need to decide which name to use :upside_down:

Last updated: Dec 20 2023 at 11:08 UTC