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

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

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