2
$\begingroup$

I'm having trouble presenting a proof for the intuitive fact that the composition of two full functors is again full.

Mostly, I'm having trouble doing the symbolic transformations that get me to the desired result.

I would like some advice on how to tackle this question.

  • 0
    welcome to math SE Allison!2012-10-26

1 Answers 1

2

A functor is full if every map $g : FX \to FY$ is equal to $Ff$ for some $f : X \to Y$.

The functor $FG$ is full when $F$ and $G$ full since, using fullness of $F$, we can express $g : FGX \to FGY$ as $Fh$ for some $h : GX \to GY$ which, using fullness of $G$, we can express as $Gf$ for some $f : X \to Y$. Putting both those facts together we can express $g : FGX \to FGY$ as $FGf$.