generated at
共変関手
反変関手と対比して通常の関手\mathscr{A}\rightarrow\mathscr{B}のことをあえて、\mathscr{A}から\mathscr{B}への共変関手と言う