Topics
Foundations
Description
In this work we aim to construct alternatives, namely toposes, to the category of sets as basics objects of mathematics, and we will see how we can construct models and reason about them in this setting.
Year of Submission
2023/24