Chapter 4 Modal types

The discussion of Cassirer on group theoretic invariance: if the group action on a set is free, then the resulting action groupoid is (equivalent to) a set.

Last revised on January 22, 2020 at 06:43:41. See the history of this page for a list of all contributions to it.