Category theory MOC

2-out-of-3

Let 𝖢 be a category. A subclass 𝐾 ⊆Mor⁡𝖢 is said to satisfy 2-out-of-3 iff given a commuting triangle

c

any two morphisms belonging to 𝐾 implies all morphisms belong to 𝐾. #m/def/cat

#state/tidy | #lang/en | #SemBr