SymmetryBook
SymmetryBook copied to clipboard
UniMath
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Rewrite finite types section (`\subsection{Finite types}`) by putting things into environments. Maybe refer forward to `\section{The type of finite types}` and to `\label{lem:isset-bool}`.
Add an example (maybe Aut(Circle) or Aut(BG) in general, or …). Add some motivation/history (perhaps in the margin).
```tex \newcommand*{\US}[1]{\USym #1}%changes e.g f^\abstr changed to to Uf ``` Only one is needed.
My eyes can't really make out the tiny subscript on the BF here:
I do not exactly understand what this title means (or meant). The message should be: any group is a group of permutations. Re first occurrence of "symmetry": this is rather...
Write a chapter on finitely generated groups and some results about them.
We are not consistently using "concatenation" of paths, but sometimes also "composition". What do we prefer? 2.3 defines "concatenation". Paths over are currently composed (my mistake).
Bjorn would like an image that illustrates what the map on tori RR^2/ZZ^2 given by the map {{1,1},{0,2}} does. I propose representing the map by starting with an image in...
We have this: I was going to change the second phrase to "any symmetry is a symmetry of a set", since a symmetry of \Set would be a path from...