5
$\begingroup$

Is there any one (or more) categories that doesn't have a functor? Functors go between categories, so is there any category that only has an identity functor but no other functor that maps it to another category?

$\endgroup$
  • 2
    $\begingroup$ You can always define the opposite functor into the opposite category. If the category is symmetric then the opposite category can be identified with it in a natural way, but whether or not this makes it the same category depends on what you want. $\endgroup$ – Alex Becker May 20 '13 at 1:59
  • 3
    $\begingroup$ @Alex. I don't get it. What is your opposite functor? In general there is no interesting functor (by which I always mean covariant, since contravariant functors are in fact covariant functors in disguise) $C \to C^{op}$. $\endgroup$ – Martin Brandenburg May 20 '13 at 9:33
2
$\begingroup$

Every category has at least 2 outgoing functors: the identity functor plus at least another one. Actually every category has infinitely many outgoing functors. You can easily see this by considering the cases of:

  • the empty category which goes to every other one (it is the initial category, after all)
  • the non empty categories which go trivially or non trivially to every other non empty and/or non terminal category

However the empty category has only one ingoing functor. The identity functor. Every other category has more than one ingoing functor

$\endgroup$
  • $\begingroup$ The empty category always maps to the empty subcategory of codomain category of every functor, right? $\endgroup$ – user3146 Nov 18 at 19:58
6
$\begingroup$

A very strong no! For every two categories $C,D$ and an object $d\in ob(D)$ there is a functor $F:C\to D$ mapping every thing in $C$ to $d$ and $id_d$.

$\endgroup$
  • $\begingroup$ mapping every thing in C to d or to D? $\endgroup$ – Ellen May 20 '13 at 2:09
  • 3
    $\begingroup$ every object to $d$ and every arrow to $id_d$. $\endgroup$ – Ittay Weiss May 20 '13 at 2:11
  • 2
    $\begingroup$ Of course, if $D$ is empty... $\endgroup$ – Zhen Lin May 20 '13 at 7:33
  • 2
    $\begingroup$ Who assumes that? :) For me, sets are discrete categories, including the empty set. $\endgroup$ – Berci May 20 '13 at 10:22
  • 2
    $\begingroup$ @Berci I'm just saying that above I said "... $D$ and an object $d\in ob(D)$". Of course I'm not claiming that the empty category does not exist. And as a side note, for me sets are just indiscrete categories. $\endgroup$ – Ittay Weiss May 20 '13 at 10:26
0
$\begingroup$

For every category $C$ there is a functor from $C$ to the category $1$ consisting of exactly one object and one arrow.

So you can map every category $C$ to the category $1$.

Conversely, $1$ can be embedded into any other category.

So every category "has a functor" other than identity functor.

$\endgroup$
  • 1
    $\begingroup$ Of course, for one category this is the identity. $\endgroup$ – Alex Becker May 20 '13 at 2:03
  • 4
    $\begingroup$ Your answer is false if taken literally: $1$ does not embed into the empty category, and the category $1$ only has the identity endofunctor. $\endgroup$ – Zhen Lin May 20 '13 at 7:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.