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
378
stars
22
forks
source link
Potential inconsistency in coproduct notation #189
The book currently uses $X \amalg Y$ notation for binary sums (coproducts) in Chapter 2 (An introduction to univalent mathematics). However, in Chapter 3, Section 3.3 (Set bundles) an example uses $S^1 + S^1$ notation although up to this point $+$ has only been used for addition of numbers.
I am not certain if $S^1 + S^1$ should be changed to $S^1 \amalg S^1$ or an explanation of this syntax is due.
The book currently uses $X \amalg Y$ notation for binary sums (coproducts) in Chapter 2 (An introduction to univalent mathematics). However, in Chapter 3, Section 3.3 (Set bundles) an example uses $S^1 + S^1$ notation although up to this point $+$ has only been used for addition of numbers.
I am not certain if $S^1 + S^1$ should be changed to $S^1 \amalg S^1$ or an explanation of this syntax is due.