factor through

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Verb[edit]

factor through (third-person singular simple present factors through, present participle factoring through, simple past and past participle 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 is epic iff is the smallest sub-object of that factors through.