Local External/Internal Symmetry of Smooth Manifolds and Lack of Tovariance in Physics
Category theory allows one to treat logic and set theory as internal to certain categories. What is internal to SET is 2-valued logic with classical Zermelo−Fraenkel set theory, while for general toposes it is typically intuitionistic logic and set theory. We extend symmetries of smooth ma...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2019-11-01
|
Series: | Symmetry |
Subjects: | |
Online Access: | https://www.mdpi.com/2073-8994/11/12/1429 |