Isotropy Groups of Quasi-Equational Theories

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

• Jason Parker, Brandon University
• Tuesday 01 December 2020, 14:15-15:15
• Zoom (Meeting ID 916 7928 3736, passcode 844306).

If you have a question about this talk, please contact José Siqueira.

In [2], my PhD supervisors (Pieter Hofstra and Philip Scott) and I studied the new topos-theoretic phenomenon of isotropy (as introduced in [1]) in the context of single-sorted algebraic theories, and we gave a logical/syntactic characterization of the isotropy group of any such theory, thereby showing that it encodes a notion of inner automorphism or conjugation for the theory. In the present talk, I will summarize the results of my recent PhD thesis, in which I build on this earlier work by studying the isotropy groups of (multi-sorted) quasi-equational theories (also known as essentially algebraic, cartesian, or finite limit theories). In particular, I will show how to give a logical/syntactic characterization of the isotropy group of any such theory, and that it encodes a notion of inner automorphism or conjugation for the theory. I will also describe how I have used this characterization to exactly characterize the ‘inner automorphisms’ for several different examples of quasi-equational theories, most notably the theory of strict monoidal categories and the theory of presheaves valued in a category of models. In particular, the latter example provides a characterization of the (covariant) isotropy group of a category of set-valued presheaves, which had been an open question in the theory of categorical isotropy. [1] J. Funk, P. Hofstra, B. Steinberg. Isotropy and crossed toposes. Theory and Applications of Categories 26, 660-709, 2012. [2] P. Hofstra, J. Parker, P.J. Scott. Isotropy of algebraic theories. Electronic Notes in Theoretical Computer Science 341, 201-217, 2018.

Zoom link: https://maths-cam-ac-uk.zoom.us/j/91679283736?pwd=Sm04c1ZqaFcxVzBLT2Z3cnpNZVpKUT09

Meeting ID: 916 7928 3736 Passcode: 844306

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• School of Physical Sciences
• Zoom (Meeting ID 916 7928 3736, passcode 844306)
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.