Recall the notion of [locally presentable category (nLab)](http://ncatlab.org/nlab/show/locally+presentable+category): $\DeclareMathOperator{\Hom}{Hom}$


**Definition:** Fix a regular cardinal $\kappa$; a set is *$\kappa$-small* if its cardinality is strictly less than $\kappa$. A *$\kappa$-directed category* is a poset in which every $\kappa$-small set has an upper bound. A *$\kappa$-directed colimit* is the colimit of a diagram for which the indexing category $\kappa$-directed. An object $a$ of a category is *$\kappa$-small* if $\Hom(a,-)$ preserves $\kappa$-directed colimits. A category is *$\kappa$-locally presentable* if it is (locally small and) cocomplete and there exists a *set* of objects, all of which are $\kappa$-small, such that the cocompletion of (the full subcategory on) this set in the category is the entire category.


It is a fact that every $\kappa$-locally presentable category is also $\lambda$-locally presentable for every $\lambda > \kappa$.


In a current research project, we have some constructions that work naturally for $\kappa$-locally presentable categories for arbitrary regular cardinals $\kappa$. But all of our applications seem to be to $\aleph\_0$-locally presentable categories. For example, for any ring $R$, I'm pretty sure that the category of $R$-modules is $\aleph\_0$-locally presentable. (Every module has a presentation; any particular element or equation in the module is determined by some finite subpresentation.) The category of groups is $\aleph\_0$-locally presentable (by the same argument). I'm told that every topos is locally presentable for some $\kappa$; is a topos necessarily $\aleph\_0$-locally presentable?


Indeed, although I know of some categories that are not $\aleph\_0$-locally presentable but are $\kappa$-locally presentable for some larger $\kappa$; the example, apparently, is the poset of ordinals strictly less than $\kappa$ for some large regular cardinal $\kappa$. But this is not a category I have ever encountered "in nature"; it's more of a zoo specimen. Hence my somewhat ill-defined question:



> 
> **Question:** Do there exist "in nature" (or, "used by working mathematicians") categories that are $\kappa$-locally presentable for some $\kappa > \aleph\_0$ but that are not $\aleph\_0$-locally presentable?
> 
> 
> 


Put another way, is there any use to having a construction that works for all $\kappa$?


So far, I haven't thought much about general topoi, and we do want our project to include those, so I would certainly accept as an answer "yes, this particular topos". But there might be other "representation theoretic" categories, or other things.



What's an example of a locally presentable category "in nature" that's not $\aleph_0$-locally presentable?
The category of Banach spaces and contractions (over the reals or any other complete normed field, I think) is an example of an $\aleph\_{1}$-presentable category which is not $\aleph\_{0}$-presentable. The point is that the ground field is a strong generator and its represented functor $Ban(k,-)$ commutes with $\aleph\_{1}$-filtered colimits. It essentially boils down to the fact about infinitary operations that arsmath pointed out in the above remark, details can be found in Borceux, Handbook of categorical algebra, vol. 2, Example 5.2.2 (e).


To see that the "unit ball functor" $Ban(k,-)$ does not commute with ordinary filtered colimits, you can take for example the identity $\varinjlim\_{n < \omega} \ell^{1}(n) \cong \ell^{1}(\omega)$, where the $n$ are the finite ordinals and the maps the obvious inclusions. The set $\lim\_{n < \omega} Ban(k,\ell^{1}(n))$ only consists of sequences with finitely many non-zero entries, while the set $Ban(k,\ell^{1}(\omega))$ has all summable sequences of norm $\leq 1$.


