Functor: について･･･ ある圏 三つ組: functor: functor: natural transformation: から同じく三つ組: functor: functor: natural transformation: へのmorphismを、 *1 を満たすfunctor: と定義すれば、categoryを成す(と思う)。 命題 Comma category: から…