Αγαπητοί συνάδελφοι, συμφοιτητές και φίλοι,
Θα θέλαμε να σας ενημερώσουμε ότι την Πέμπτη 4 Μαΐου είναι η επόμενη ομιλία του “Σεμιναρίου Μεταπτυχιακών Φοιτητών “, η οποία θα πραγματοποιηθεί εκ του σύνεγγυς, στις 18.00 – 20.00 στην αίθουσα Μ2 του 3ου ορόφου της Σ.Θ.Ε.
Ομιλητής: Skylar Werner, University of Göttingen
Τίτλος: An introduction to Categorical Logic
Περίληψη: Category theory is the study of the algebraic properties of morphisms in an extreme generalized way. Because of this generalization, many areas of mathematics that seemed to be distinct as mathematical subjects are now connected. This talk will derive many Categorical thoughts and show how Propositional logic is embedded into the Categorical framework while hinting at how this new philosophy relates logic to geometry. At the end, we will define what a presheaf is and its connection to logic.
Να σημειωθεί ότι η ομιλία θα γίνει στα αγγλικά. Θα χαρούμε να σας δούμε όλους !
Με εκτίμηση,
Η ομάδα των διοργανωτών