Definify.com

Definition 2024


factor_through

factor through

English

Verb

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: that it is 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.