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.
Creative Commons Attribution Share Alike 4.0 International
Recently I have used a lot of time carrying out global changes of notation and terminology in the book . I'm not even halfway with Ch. 2 and there is still a lot to do. For this reason I would like to propose a moratorium on new global changes of notation and terminology until we are done with properly propagating the existing ones (mainly points 4 and 5 in the style guide). Unfortunately there are currently many inconsistencies due to lack of propagation.
DanGrayson
commented
2 years ago
Recently I have used a lot of time carrying out global changes of notation and terminology in the book . I'm not even halfway with Ch. 2 and there is still a lot to do. For this reason I would like to propose a moratorium on new global changes of notation and terminology until we are done with properly propagating the existing ones (mainly points 4 and 5 in the style guide). Unfortunately there are currently many inconsistencies due to lack of propagation.