英和和英

動詞

factor through (三人称単数 現在形 factors through, 現在分詞 factoring through, 過去形および過去分詞形 factored through)

1. (category theory) Said of a morphism: to be equal to a composition of two morphisms, one of which is the given morphism (that is being said to be "factored through").
   • 1995, Colin McLarty, Elementary Categories, Elementary Toposes, page 142:

     LEMMA 16.3 An arrow ${\displaystyle f:A\rightarrow B}$ is epic iff ${\displaystyle 1_{B}}$ is the smallest sub-object of ${\displaystyle B}$ that ${\displaystyle f}$ factors through.