COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Category Theory Seminar > Isotropy Groups of Quasi-Equational Theories

## Isotropy Groups of Quasi-Equational TheoriesAdd 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. |
## Other listsCAPE Advanced Technology Lecture Series Climate and Sustainable Development Finance for Industrial Sustainability in Developing Countries Humanitas## Other talksWHERE HAS ALL THE DATA GONE? Tissue resident CD4 T cells: division of labor in the lung. Putting people before projects: Everything THAT nature communications paper got wrong about scientific success and mentorship Kant's 'True Politics' Cone subtype specification in human retinal organoids Identification and model reduction of complex network systems |