00:00:00 / 00:00:00

Ranges of functors and geometric classes via topos theory

By Peter Arndt

Appears in collection : Toposes Online

We explore criteria for the axiomatizability of images of functors by kappa-geometric sequents. We observe that under mild hypotheses functors between accessible categories can be assumed to be induced by a kappa-geometric morphism between classifying kappa-toposes, and we arrive at our criteria using the factorization of this morphism into a surjection, followed by a dense inclusion, followed by a closed inclusion.

Information about the video

  • Date of recording 28/06/2021
  • Date of publication 28/06/2021
  • Institution IHES
  • Language English
  • Audience Researchers
  • Format MP4

MSC codes

Document(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Give feedback