| Περίληψη: | Mελετάμε το πρόβλημα της διατήρησης κάποιας κλάσης πεπερασμένων ορίων από την αριστερή επέκταση Kan ενός συναρτητή. Παρουσιάζουμε αρχικά την περίπτωση για συναρτητές που λαμβάνουν τιμές στην κατηγορία των συνόλων. Η περίπτωση αυτή έχει μελετηθεί στην βιβλιογραφια, και ο χαρακτηρισμός τέτοιων επεκτάσεων Kan έχει να κάνει με την έννοια της επιπεδότητας του συναρτητή. Παρατηρώντας ότι η έννοια της επιπεδότητας μπορεί να ερμηνευτεί (με όρους εσωτερικής λογικής) σε μία κατηγορία η οποία είναι εφοδιασμένη με μία τοπολογία Grothendieck, μελετάμε το πρόβλημα στην γενικότητά του. Καθοριστικό ρόλο στην μελέτη μας, παίζει η έννοια του καθορισμένου συνορίου. Με αυτά τα εργαλεία καταλήγουμε σε ικανές και αναγκαίες συνθήκες για την διατήρηση πεπερασμένων γινομένων, πεπερασμένων συνεκτικών ορίων και όλων των πεπερασμένων ορίων από την αριστερή επέκταση Kan ενός συναρτητή που λαμβάνει τιμές σε μια κατηγορία η οποία είναι εφοδιασμένη με μία υποκανονική τοπολογία Grothendieck. Τέλος μελετάμε και την περίπτωση διατήρησης μονομορφισμών από αριστερές επεκτάσεις Kan μεταξύ αλγεβρικών κατηγοριών.
|
|---|
