Timeline for Suggestions for good notation
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 15, 2017 at 10:04 | comment | added | Qfwfq | Actually, though the small ⊓ and ⊔ are kind of cool, I think I too prefer the notation suggested by Tom Leinster (except maybe the $+$) | |
| Jul 15, 2017 at 4:26 | comment | added | k.stm | I also use $×$ and $\prod$ and $+$ and $\sum$, but whenever a category has a sufficiently nice functor to $\mathrm{Set}$ preserving / reflecting / creating colimits, I switch to $\coprod$. For example I don’t use $+$ in $\mathrm{Top}$ or $\mathrm{Meas}$. (And I’d probably also use $\coprod$ for toposes …) | |
| Jul 15, 2017 at 2:53 | comment | added | ಠ_ಠ | Yeah I agree; I much prefer $\times$ and $+$ for categorical product and coproduct. | |
| Dec 10, 2012 at 0:28 | comment | added | Tom Leinster | I prefer to use the same notation as in arithmetic: $\times$ for binary product, $\prod$ for product of an arbitrary family, $+$ for binary coproduct, $\sum$ of coproduct of an arbitrary family. A small pi-like symbol for binary product seems to me to be a step in the wrong direction. | |
| Nov 24, 2011 at 21:08 | comment | added | Quadrescence | You can get your smaller Π sign with a bit of a hack. This isn't exactly robust, though, since the size is constant relative to the surrounding size (but can be fixed if one looks up the right command): $X \mathbin{\scriptsize{\Pi}} Y$ and $X \mathbin{\scriptsize{\amalg}} Y$ | |
| Nov 24, 2011 at 21:04 | history | edited | Quadrescence | CC BY-SA 3.0 |
Minor typographic improvement
|
| Nov 8, 2010 at 18:39 | comment | added | Max | $\sqcap$ resp. $\sqcup$? | |
| Oct 21, 2010 at 13:12 | history | made wiki | Post Made Community Wiki by Ben Webster♦ | ||
| Oct 21, 2010 at 11:55 | history | answered | Qfwfq | CC BY-SA 2.5 |