From sets to categories: exponentials and subobject classifiers

IIn this presentation, an introduction of topos theory will be exposed. To this aim it will be shown how the category of sets and functions can be considered an elementary topos.