da killing_buddha » 11/01/2018, 00:56
Ma guarda che non serve chissà che scienza per capire la definizione di "fattorizzare". Se lo riesci a capire in un monoide, lo riesci a capire in una categoria. E comunque non serve alcuna pertinenza tecnica, è solo una definizione.
Un morfismo $f : A \to B$ "fattorizza" in una composizione $hg$ quando, appunto, riesci a scrivere $f=hg$. Ciò significa che esistono $g : A\to X$ e $h :X\to B$ che si compongono e danno $f$.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)