Intereting Posts

Prove that formula in monadic second order logic exists – for each node path is finite
Find $C$, if $A=CBC$, where $A$,$B$,$C$ are symmetric matrices.
Why does $1+2+3+\cdots = -\frac{1}{12}$?
Applications of Algebra in Physics
How can we show the cone $x^2 +y^2 = z^2$ is not a smooth manifold?
General question: What one can do to help students one is grading?
Proof of $(\mathbb{Z}/m\mathbb{Z}) \otimes_\mathbb{Z} (\mathbb{Z} / n \mathbb{Z}) \cong \mathbb{Z}/ \gcd(m,n)\mathbb{Z}$
Combinatorics-N boys and M girls are learning acting skills from a theatre in Mumbai.
Simple doubt about complex numbers
What's the largest possible volume of a taco, and how do I make one that big?
Improper integral of $\log x \operatorname{sech} x$
Integral of $\int_0^{\pi/2} \frac {\sqrt{\sin x}}{\sqrt {\sin x} + \sqrt {\cos x}}$dx
Conditional probability of cows
Closed form for $\sum\limits_{k=1}^{\infty}\zeta(4k-2)-\zeta(4k)$
Mean curvature in terms of Christoffel symbols

I feel like, having spent a little time doing category theory now, this is probably a silly question, but I keep coming up to many things (definitions, examples etc.) where *smallness* is required. I continually fail to see why this is: I can see why smallness (or local smallness) is a useful property, but often not why it is necessary, assuming it is.

For example, the following definition of the category of presheaves

http://ncatlab.org/nlab/show/category+of+presheaves

- Natural way of looking at projective transformations.
- Sheafication of a sheaf restricted to a open set
- What are exact sequences, metaphysically speaking?
- Have arrows in a category with this property a special name?
- What is the relationship between the second isomorphism theorem and the third one in group theory?
- Kan extensions for linear categories

requires $\mathcal{C}$ to be a small category to define the functor category $[\mathcal{C}^{\text{ op}}, \bf{Set}]$. A number of exercises I’ve attempted, such as

*“Let $\mathcal{C}$ be a small category and A abelian. Show that the functor category $[\mathcal{C}, A]$ is abelian.”*

*“Let $\mathcal{C}$ be a category such that, for each object $c$, the slice category $\mathcal{C}\,/c$ is equivalent to a small category, even though $\mathcal{C}$ may not be small. Show that the functor category $[\mathcal{C}^{\text{ op}}, \bf{Set}]$ is an elementary topos.”*

require smallness as an assumption. There are plenty of other examples which I can probably dredge up if needs be. It seems like generally a lot of these requirements somehow involve functor categories. Is there some much more basic definition (something extremely fundamental like functor or natural transformation) which requires a set rather than a class somewhere, which might be cropping up and causing all of these instances? Obviously for adjointness you require a bijection between morphisms $FA \to B$ and $A \to GB$, but although bijections are usually between sets I expect you can probably define one safely between classes too in a similar manner.

I know the hom-functor requires $\mathcal{C}$ to be locally small before you can define the functor $\mathcal{C} \to \bf{Set}$, since of course the map wouldn’t necessarily take things into $\bf{Set}$ otherwise, and this all spills over into the Yoneda lemma, but is that really the cause of all these smallness requirements? Often we’re talking about a collection of all possible functors, rather than specifying just one, so is it generally just the case that when dealing with a functor we need a category to be sufficiently small so that we know we definitely get sets coming out the other side? Or is there more going on here that I’ve failed to notice? Why is smallness and local smallness frequently so important? The first exercise I suggested wasn’t for functors mapping onto $\bf{Set}$, after all.

Obviously you aren’t going to know every single example of a time I’ve noticed a smallness assumption and to be honest I’ve probably forgotten many of them, but any general thoughts you could provide on the matter would be very well received. As a guide, I’ve completed a fairly in-depth first course in Category Theory and am currently undertaking one in Topos Theory, if that helps to gauge the level of complexity I’d probably have come across.

- The empty function and constants
- Equivalences of continuity, sequential convergence iff limit (S.A. pp 106 t4.2.3, 110 t4.3.2)
- Finite-dimensional space naturally isomorphic to its double dual?
- A monomorphism of groups which is not universal?
- What exactly are the meaning of the followings in the definition of a category?
- Is this equality in a double category true?
- An application of Yoneda Lemma
- What are the prerequisites for learning category theory?
- distribution of categorical product (conjunction) over coproduct (disjunction)
- Intuituive reason why Fermats last theorem holds

My impression (as an outsider) is that the smallness assumptions are not considered to be important at all inside category theory itself. They are there only to make sure the results can be formalized in standard set theory, and don’t encode any particular intuitive insight. In most (probably all) concrete applications of the results, it is easy to argue that all of the categories involved are small enough to make things work anyway.

Like dicatorships traditionally call themselves the Democratic Republic of $X$, because countries are generally expected to want to be democracies, category theorists dutifully keep track of their smallness assumptions, because mathematical disciplines are generally expected to want to be expressible in ZFC. But it’s not as if any particular attention is paid to this *internally*.

Smallness conditions in category theory appear in several situations. One situation is to assure that certain constructions exist. This includes the most elementary cases of (as you mentioned) the forming of functor categories but also for the constructions of adjoints (i.e., the solution *set* condition in the Freyd adjoint functor theorem, with a huge emphasis here on the word ‘set’). A more advanced application of a categorical construction involving set conditions is in homotopical algebra. Establishing a Quillen model structure can be very hard. It is simplified enormously (yet typically remains hard) to construct a Quillen model structure by means of a cofibrant generation. There one needs to provide sets (and not just classes) of certain arrows with certain properties. If these sets exists the model structure is guaranteed. If such classes of arrows are proper classes and not sets then a model structure is not guaranteed.

Another aspect of smallness conditions is to assure that certain categorical conditions do not force degeneration. For instance, any category that admits all products, not just set indexed products, is known to be a poset. That is why one usually considers small complete (and small cocomplete) categories.

To conclude, smallness in category theory plays a crucial role in different ways. For some of these aspects a tacit assumption of Grothendieck universes is sufficient to hide all the size issues under the carpet and happily go on with your business. In other situations size issues play a very important role that can’t be ‘pushed away to a higher universe’.

- The ideal generated by a non-compact operator
- Closed set as a countable intersection of open sets
- Determine the area of a regular octagon with vertices on the unit circle
- Let $f(x)=ax^2+bx+c$ where $a,b,c$ are real numbers. Suppose $f(-1),f(0),f(1) \in $. Prove that $|f(x)|\le \frac{3}{2}$ for all $x \in $.
- How do I prove $\int_{-\infty}^{\infty}{\cos(x+a)\over (x+b)^2+1}dx={\pi\over e}{\cos(a-b)}$?
- There exists $C\neq0$ with $CA=BC$ iff $A$ and $B$ have a common eigenvalue
- Tangent bundles of exotic manifolds
- Solve the functional equation $2f(x)=f(ax)$ for some $a$.
- Matrix $\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ to a large power
- For a set such as $\{n_1, n_2,\ldots n_k\}$, how can I create all combinations?
- Euler numbers grow $2\left(\frac{2}{ \pi }\right)^{2 n+1}$-times slower than the factorial?
- “Pseudo-Cauchy” sequences: are they also Cauchy?
- Given a matrix $A$ of rank $n$, show that $\det(\operatorname{adj}(A))=\det(A)^{n-1}$ and $\operatorname{adj}(\operatorname{adj}(A))=(\det A)^{n-2}A$
- Find the limit: $\lim_\limits{x\to 0}{\frac{\left(1+x\right)^{1/x}-e}{x}}$
- Integrate $\int_0^1\mathrm{d} u_1 \cdots \int_0^1\mathrm{d} u_n \frac{\delta(1-u_1-\cdots-u_n)}{(u_1+u_2)(u_2+u_3)\cdots(u_{n-1}+u_n)(u_n+u_1)}$