Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan
Mελετάμε το πρόβλημα της διατήρησης κάποιας κλάσης πεπερασμένων ορίων από την αριστερή επέκταση Kan ενός συναρτητή. Παρουσιάζουμε αρχικά την περίπτωση για συναρτητές που λαμβάνουν τιμές στην κατηγορία των συνόλων. Η περίπτωση αυτή έχει μελετηθεί στην βιβλιογραφια, και ο χαρακτηρισμός τέτοιων επεκ...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | Greek |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10889/5420 |
| id |
nemertes-10889-5420 |
|---|---|
| record_format |
dspace |
| spelling |
nemertes-10889-54202022-09-05T14:01:41Z Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan Προτσώνης, Γρηγόρης Καραζέρης, Παναγής Δρόσος, Κωνσταντίνος Καραζέρης, Παναγής Εμμανουήλ, Ιωάννης Μαρμαρίδης, Νικόλαος Μπεληγιάννης, Απόστολος Τζερμιάς, Παύλος Κοντολάτου, Αγγελική Protsonis, Grigoris Επεκτάσεις Kan Επιπεδότητα Καθορισμένα συνόρια Αλγεβρικές θεωρίες Διατήρηση πεπερασμένων ορίων Κατηγορική πραγματοποίηση Kan extensions Flatness Postulated colimits Algebraic theories Preservation of finite limits Categorical realization 512.74 Mελετάμε το πρόβλημα της διατήρησης κάποιας κλάσης πεπερασμένων ορίων από την αριστερή επέκταση Kan ενός συναρτητή. Παρουσιάζουμε αρχικά την περίπτωση για συναρτητές που λαμβάνουν τιμές στην κατηγορία των συνόλων. Η περίπτωση αυτή έχει μελετηθεί στην βιβλιογραφια, και ο χαρακτηρισμός τέτοιων επεκτάσεων Kan έχει να κάνει με την έννοια της επιπεδότητας του συναρτητή. Παρατηρώντας ότι η έννοια της επιπεδότητας μπορεί να ερμηνευτεί (με όρους εσωτερικής λογικής) σε μία κατηγορία η οποία είναι εφοδιασμένη με μία τοπολογία Grothendieck, μελετάμε το πρόβλημα στην γενικότητά του. Καθοριστικό ρόλο στην μελέτη μας, παίζει η έννοια του καθορισμένου συνορίου. Με αυτά τα εργαλεία καταλήγουμε σε ικανές και αναγκαίες συνθήκες για την διατήρηση πεπερασμένων γινομένων, πεπερασμένων συνεκτικών ορίων και όλων των πεπερασμένων ορίων από την αριστερή επέκταση Kan ενός συναρτητή που λαμβάνει τιμές σε μια κατηγορία η οποία είναι εφοδιασμένη με μία υποκανονική τοπολογία Grothendieck. Τέλος μελετάμε και την περίπτωση διατήρησης μονομορφισμών από αριστερές επεκτάσεις Kan μεταξύ αλγεβρικών κατηγοριών. We study the problem of preservation of some classes of finite limits from the left Kan extension of a functor. Initially we present the case where the functor takes values in the category of sets. This case has been studied in the literature, and the characterization of such Kan extensions is related with the notion of flatness. Observing that the notion o flatness can be interpreted (with terms of internal logic) in a category which is equipped with a Grothendieck topology, we study the problem in its generality. Crucial role plays the notion of postulated colimit. With those tools, we conclude necessary and sufficient conditions for the preservation of finite products, of finite connected limits and all the finite limits from the left Kan extension of a functor which takes values into a category which is equipped with a subcanonical Grothendieck topology. Finally we study the case of preservation of monomorphisms from certain Kan extensions between algebraic categories. 2012-08-31T11:06:21Z 2012-08-31T11:06:21Z 2012-04-20 2012-08-31 Thesis http://hdl.handle.net/10889/5420 gr Η ΒΚΠ διαθέτει αντίτυπο της διατριβής σε έντυπη μορφή στο βιβλιοστάσιο διδακτορικών διατριβών που βρίσκεται στο ισόγειο του κτιρίου της. 0 application/pdf |
| institution |
UPatras |
| collection |
Nemertes |
| language |
Greek |
| topic |
Επεκτάσεις Kan Επιπεδότητα Καθορισμένα συνόρια Αλγεβρικές θεωρίες Διατήρηση πεπερασμένων ορίων Κατηγορική πραγματοποίηση Kan extensions Flatness Postulated colimits Algebraic theories Preservation of finite limits Categorical realization 512.74 |
| spellingShingle |
Επεκτάσεις Kan Επιπεδότητα Καθορισμένα συνόρια Αλγεβρικές θεωρίες Διατήρηση πεπερασμένων ορίων Κατηγορική πραγματοποίηση Kan extensions Flatness Postulated colimits Algebraic theories Preservation of finite limits Categorical realization 512.74 Προτσώνης, Γρηγόρης Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan |
| description |
Mελετάμε το πρόβλημα της διατήρησης κάποιας κλάσης πεπερασμένων ορίων από την αριστερή επέκταση Kan ενός συναρτητή. Παρουσιάζουμε αρχικά την περίπτωση για συναρτητές που λαμβάνουν τιμές στην κατηγορία των συνόλων. Η περίπτωση αυτή έχει μελετηθεί στην βιβλιογραφια, και ο χαρακτηρισμός τέτοιων επεκτάσεων Kan έχει να κάνει με την έννοια της επιπεδότητας του συναρτητή. Παρατηρώντας ότι η έννοια της επιπεδότητας μπορεί να ερμηνευτεί (με όρους εσωτερικής λογικής) σε μία κατηγορία η οποία είναι εφοδιασμένη με μία τοπολογία Grothendieck, μελετάμε το πρόβλημα στην γενικότητά του. Καθοριστικό ρόλο στην μελέτη μας, παίζει η έννοια του καθορισμένου συνορίου. Με αυτά τα εργαλεία καταλήγουμε σε ικανές και αναγκαίες συνθήκες για την διατήρηση πεπερασμένων γινομένων, πεπερασμένων συνεκτικών ορίων και όλων των πεπερασμένων ορίων από την αριστερή επέκταση Kan ενός συναρτητή που λαμβάνει τιμές σε μια κατηγορία η οποία είναι εφοδιασμένη με μία υποκανονική τοπολογία Grothendieck. Τέλος μελετάμε και την περίπτωση διατήρησης μονομορφισμών από αριστερές επεκτάσεις Kan μεταξύ αλγεβρικών κατηγοριών. |
| author2 |
Καραζέρης, Παναγής |
| author_facet |
Καραζέρης, Παναγής Προτσώνης, Γρηγόρης |
| format |
Thesis |
| author |
Προτσώνης, Γρηγόρης |
| author_sort |
Προτσώνης, Γρηγόρης |
| title |
Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan |
| title_short |
Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan |
| title_full |
Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan |
| title_fullStr |
Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan |
| title_full_unstemmed |
Διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις Kan |
| title_sort |
διατήρηση κλάσεων πεπερασμένων ορίων από αριστερές επεκτάσεις kan |
| publishDate |
2012 |
| url |
http://hdl.handle.net/10889/5420 |
| work_keys_str_mv |
AT protsōnēsgrēgorēs diatērēsēklaseōnpeperasmenōnoriōnapoaristeresepektaseiskan |
| _version_ |
1771297254271877120 |
