University of Cambridge > Talks.cam > Category Theory Seminar > Trees for subtoposes of the effective topos

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Trees for subtoposes of the effective topos

Download to your calendar using vCal

If you have a question about this talk, please contact Julia Goedecke .

For making concrete calculations about subtoposes of the effective topos, it is crucial to have a tangible representation of the corresponding local operators. We introduce tree-like structures called `sights’, in order to further understand a representation due to A.M. Pitts (which arises from the topos-theoretic construction of the least local operator making a given subobject of a topos dense) and to define another useful representation. We apply these methods to establish some new examples of subtoposes, and to compare them to known ones. We also remark that a realizability-like semantics can be formulated for the arithmetic of subtoposes in terms of sights.

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Fisher Buidling, St John's College Brownsfield Youth and Community Centre, Green End Road

Other talks

From Plate to Brain: Global Diet, Cognitive Function and Neuroimaging in Diverse Populations Carrollian momenta from anti de Sitter Talk TBC Reversals of the Geodynamo Genomic Medicine CPC Sheref Mansy, topic TBA
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity