[Settfa] An informal seminar this Thursday, 14:00 in Konirna (IM CAS).

[Wieslaw Kubis]

Dear all,

We shall have an informal seminar (details are below) with Nate Ackerman 
as a speaker (possibly some more short talks after that, or just an 
informal discussion). I apologize for the short notice, the idea came 
out just today.

All the best,

Wieslaw

================================

Cute and Cuddly Topoi And The Models That Live In Them 
<https://www.math.cas.cz/index.php/events/event/4010>

Nate Ackerman

Harvard University

Thursday 26 June 2025 - 14:00 to 15:30IM, konírna

Topoi are fundamental mathematical objects which lie at the crossroads 
between set theory, model theory, algebraic geometry and topology. One 
of the many ways of viewing a topos is as a mathematical universe with 
enough structure to contain models of first order theories. In this talk 
I will provide a gentle introduction to topoi. I will give several 
examples and walk through the basic properties that topoi possess which 
ensure they contain models of first order theories.

No category theory (other than the definition of a category) will be 
assumed.