University of Cambridge > Talks.cam > Junior Category Theory Seminar > The semi-direct product of categories

The semi-direct product of categories

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Sean Moss.

In topos theory we sometimes encounter the procedure of “externalising” an internal site. I will go through the first step of this process, which involves establishing an equivalence between internal and “external” presheaves. The central notion in this procedure is that of the semi-direct product of categories. I will define internal categories (briefly) and internal presheaves, and then proceed to show how the definition of semi-direct product has to be what it is in order to establish the aforementioned equivalence.

This talk is part of the Junior Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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