## Keywords

- set theory
- model theory
- category theory
- large cardinal axioms

Andrew D Brooke-Taylor (Speaker)

Activity: Participating in or organising an event types › Invited talk

- set theory
- model theory
- category theory
- large cardinal axioms