Wp/grc/Θεωρία κατηγοριῶν

< Wp‎ | grc
Wp > grc > Θεωρία κατηγοριῶν

Ἐν τῇ μαθηματικῇ, ἡ θεωρία κατηγοριῶν ἀφορᾷ τὸν ἀφῃρημένον τρόπον συσχετίσεως μαθηματικῶν δομῶν τε καὶ τῶν ἑῶν σχέσεων. Ἀντικείμενα ἐρεύνης τῆσδε θεωρίας εἰσὶ τὰ άντικείμενα ἅπερ συνδέονται μεταξὺ τῶν μέσῳ μορφισμῶν (τάδε γενικεύσεις εἰσὶ τῶν τε θημώνων καὶ συναρτήσεων ἀντιστοίχως).

Κατηγορία τις μετὰ ἀντικειμένων X, Y, Z καὶ μορφισμῶν f, g

Παράδειγμά τι κατηγορίας ἐστὶ τὸ ὁμαδοειδές, ὅπερ ὁρίζεται ὡς κατηγορία τις ἧσπερ τὰ βέλη (μορφισμοί) εἰσὶν ἅπαντα ἀντιστρέψιμα.