This is generalized to the case of several objects and maps connecting them.
これは複数の対象とそれらをつなげる写像の場合に一般化される。