Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 15th 2014
   • (edited Feb 15th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexfor some reason it seems we never had an entry _[[compactly generated (infinity,1)-category]]_ (and out of all sections listed at _[[HTT]]_ just 5.5.7 had been missing for some reason which is a mystery to me now). I gave it a minimum of content. But this alerts one that there is a distinction being made here which we don't have in the corresponding 1-categorical entries.

   for some reason it seems we never had an entry compactly generated (infinity,1)-category (and out of all sections listed at HTT just 5.5.7 had been missing for some reason which is a mystery to me now).

   I gave it a minimum of content. But this alerts one that there is a distinction being made here which we don’t have in the corresponding 1-categorical entries.

2. • CommentRowNumber2.
   • CommentAuthorZhen Lin
   • CommentTimeFeb 15th 2014
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexWhat distinction are you speaking of? A locally presentable category that is $\kappa$-accessible is precisely a locally $\kappa$-presentable category.

   What distinction are you speaking of? A locally presentable category that is $\kappa$-accessible is precisely a locally $\kappa$-presentable category.