Skip to main content
1 of 4
Keith Kearnes
  • 14.6k
  • 2
  • 50
  • 86

I call $f=i\circ \overline{f}\circ \pi$ the canonical factorization of a function when I teach second year undergraduate discrete math (except that I write $f=\iota\circ \overline{f}\circ \nu$, using the Greek letters iota and nu for the inclusion map and the natural map). I have a handout for my students about this here (see the first link for the September 10 lecture).

Keith Kearnes
  • 14.6k
  • 2
  • 50
  • 86