Skip to main content
3 of 6
added 289 characters in body
Tim Campion
  • 63.9k
  • 13
  • 143
  • 384

Category with few endofunctors?

Let $\mathcal C$ be a category whose skeleton has $\lambda$-many objects and $\kappa$-many morphisms. Then the skeleton of the endofunctor category $\mathcal C^{\mathcal C}$ has at most $\kappa^\lambda$ many morphisms.

My guess is that in most cases, this upper bound is achieved.

Question: What is an example of a category $\mathcal C$ (other than the terminal category or equivalents) whose skeleton has $\lambda$ many objects and $\kappa$ many morphisms, but the skeleton of whose endofunctor category $\mathcal C^{\mathcal C}$ has strictly fewer than $\kappa^\lambda$ many morphisms? Can it have as few as $\kappa$-many morphisms and $\lambda$-many objects?

Note that $\mathcal C^{\mathcal C}$ always has (skeletally) at least $\kappa+1$-many morphisms, given by constant morphisms between constant endofunctors, along with the identity functor.

Note also that if C is accessible, and has as many objects and morphisms as the size of the universe, then the number of accessible endofunctors and morphisms between them is also the size of the universe. So if my guess is correct, then most endofunctors are usually non accessible.

Tim Campion
  • 63.9k
  • 13
  • 143
  • 384