In the following, why is $\top$ used as a superscript?
We first must consider the vector space used to model the boolean truth values of $\mathbb{B}$. Coecke et al. (2010) suggest, as boolean vector space, the space $B$ with the basis $\\{\top, \bot \\}$, where $\top = [1 \quad 0]^{\top}$ is interpreted as `true’, and $\bot = [0 \quad 1]^{\top}$ as ‘false’.
Neither the paper from which this is from (http://www.cs.ox.ac.uk/people/edward.grefenstette/GrefenstetteTFDS.pdf) nor the cited paper, clarify this.
In addition, what do $[1 \quad 0]^{\top}$ and $[0 \quad 1]^{\top}$ refer to?