Κατηγορικοί μηχανισμοί προσδιορισμού ελεύθερων δομών επί γενικευμένων αλγεβρικών θεωριών

• Main Author: Κωστακιώτης, Ανδρέας
• Other Authors: Kostakiotis, Andreas
• Language: Greek
• Published: 2021
• Subjects: Προσαρτήσεις; Αλγεβρικές θεωρίες; Ελεύθερες δομές; Επεκτάσεις Kan; Ψευδομονάδες; Προσυναρτητές; Εξαρτήματα προμορφισμών; Adjunctions; Algebraic theories; Free constructions; Kan extensions; Pseudomonads; Profunctors; Proarrow equipments

Μας είναι οικείο από τη μαθηματική μας εμπειρία ότι για κάθε είδος αλγεβρικής δομής υπάρχουν οι ελεύθερες δομές επί των οποιωνδήποτε συνόλων. Η θεωρία κατηγοριών ξεκίνησε ορμώμενη από τη δυνατότητα που παρείχε στη μαθηματική κοινότητα να μεταφράσει και να περιγράψει τις καθολικές ιδιότητες τέτοιων δ...