A bilinear morphism of pointed sets from $\webleft (X\times Y,\webleft (x_{0},y_{0}\webright )\webright )$ to $\webleft (Z,z_{0}\webright )$ is a map of sets
\[ f \colon X\times Y \to Z \]
that is both left bilinear and right bilinear.
Here's a breakdown of the differences between each PDF style:
| Style | Class | Font | Theorem Environments |
|---|---|---|---|
| Style 1 | book |
Alegreya Sans | tcbthm |
| Style 2 | book |
Alegreya Sans | amsthm |
| Style 3 | book |
Arno* | amsthm |
| Style 4 | book |
Computer Modern | amsthm |
*To be replaced with Linus Romer's Elemaints when it is released.
A bilinear morphism of pointed sets from $\webleft (X\times Y,\webleft (x_{0},y_{0}\webright )\webright )$ to $\webleft (Z,z_{0}\webright )$ is a map of sets
that is both left bilinear and right bilinear.
