Skip to main content
added 6 characters in body
Source Link
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

Googling for "atomic morphism" gives me only 70 results. Is this concept so fruitless or does it have another standard name? What I mean is a morphism $f: A \rightarrow B$ such that $(\forall g,h)\ f = g \circ h \rightarrow (g = f\ \wedge\ h = id_A)\ \vee\ (g = id_B\ \wedge\ h = f)$.

$$(\forall g,h)\ f = g \circ h \rightarrow (g = f\ \wedge\ h = id_A)\ \vee\ (g = id_B\ \wedge\ h = f).$$

Googling for "atomic morphism" gives me only 70 results. Is this concept so fruitless or does it have another standard name? What I mean is a morphism $f: A \rightarrow B$ such that $(\forall g,h)\ f = g \circ h \rightarrow (g = f\ \wedge\ h = id_A)\ \vee\ (g = id_B\ \wedge\ h = f)$.

Googling for "atomic morphism" gives me only 70 results. Is this concept so fruitless or does it have another standard name? What I mean is a morphism $f: A \rightarrow B$ such that

$$(\forall g,h)\ f = g \circ h \rightarrow (g = f\ \wedge\ h = id_A)\ \vee\ (g = id_B\ \wedge\ h = f).$$

added 36 characters in body
Source Link
Hans-Peter Stricker
  • 9.7k
  • 5
  • 53
  • 113

Googling for "atomic morphism" gives me only 70 results. Is this concept so fruitless or does it have another standard name? What I mean is a morphism $f$$f: A \rightarrow B$ such that $f = g \circ h \rightarrow (g = f\ \wedge\ h = id)\ \vee\ (g = id\ \wedge\ h = f)$$(\forall g,h)\ f = g \circ h \rightarrow (g = f\ \wedge\ h = id_A)\ \vee\ (g = id_B\ \wedge\ h = f)$.

Googling for "atomic morphism" gives me only 70 results. Is this concept so fruitless or does it have another standard name? What I mean is a morphism $f$ such that $f = g \circ h \rightarrow (g = f\ \wedge\ h = id)\ \vee\ (g = id\ \wedge\ h = f)$.

Googling for "atomic morphism" gives me only 70 results. Is this concept so fruitless or does it have another standard name? What I mean is a morphism $f: A \rightarrow B$ such that $(\forall g,h)\ f = g \circ h \rightarrow (g = f\ \wedge\ h = id_A)\ \vee\ (g = id_B\ \wedge\ h = f)$.

Source Link
Hans-Peter Stricker
  • 9.7k
  • 5
  • 53
  • 113

Standard name of "atomic morphisms"?

Googling for "atomic morphism" gives me only 70 results. Is this concept so fruitless or does it have another standard name? What I mean is a morphism $f$ such that $f = g \circ h \rightarrow (g = f\ \wedge\ h = id)\ \vee\ (g = id\ \wedge\ h = f)$.