Hacker News Reader

a ket is |v>

It seems I was NOT familiar with what a bra is...

It's the hermitian conjugate of the corresponding ket.

And a monad is an endofunctor of a monoid

With that at least I can be nearly certain we are not discussing an alternative brassiere.