今しばらくは、一つの圏 の中だけで話をすることにします。 単射、全射、同型射 が単射(mono)であるとは、任意の対象 と任意の射 に対して が成り立つことを言います。 が全射(epi)であるとは、任意の対象 と任意の射 に対して が成り立つことを言います。 …