Κατηγορική λογική Α' τάξης : καρτεσιανές και ομαλές θεωρίες

• Κύριος συγγραφέας: Σαπουνάκης, Ευάγγελος
• Άλλοι συγγραφείς: Καραζέρης, Παναγής
• Μορφή: Thesis
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: Κατηγορική λογική; Καρτεσιανές κατηγορίες; Ομαλές κατηγορίες; Κατηγορίες κλασμάτων; Categorical logic; Cartesian categories; Regular categories; Categories of fractions; 511.3

Στην παρούσα εργασία μελετάμε τη διασύνδεση μεταξύ τμημάτων της πρωτοβάθμιας κατηγορηματικής λογικής με τη θεωρία κατηγοριών. Συγκεκριμένα παρουσιάζουμε στοιχεία από τη θεωρία των Καρτεσιανών και Ομαλών κατηγοριών και εκθέτουμε αναλυτικά τον γενικό μηχανισμό για την ορθή ερμηνεία σε αυτές, θεωριών σ...