Jason (jcreed) wrote,


First day of classes.

Went to grad algo in the morning. Manuel Blum
is a pretty decent lecturer. Also got suckered
in to sitting in on quantum comp by Pete. Maybe
it'll make a little more sense this time around.
I figured out at least that the definitions
stop being circular once I realized that the bra
vectors are really just the complex linear functionals
on the ket vectors, and that the space of bra vectors
is isomorphic to the space of ket vectors by
a pair of *conjugate-linear* morphisms.

Also the tensor product of V and W is the (iso-unique) space
T with an initial bilinear map f : V x W -> T.
I suppose the categorical product of two spaces has dimension
the sum of their dimensions?

  • (no subject)

    K's off at an atypically Saturdayish Type-Thursday event, so I stuck around the apartment hiding from 100-degree heat, and noodled around with…

  • (no subject)

    Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.

  • (no subject)

    https://deadlockempire.github.io is a very cute edutainment game, meant to teach people about deadlocks and race conditions and concurrency…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded