Isomorphisms are formalized using category theory.
Οι ισομορφισμοί έχουν επισημοποιηθεί χρησιμοποιώντας την θεωρία κατηγοριών.