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)

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

  • (no subject)

    Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:

  • (no subject)

    Not sure this is the simplest possible inverse (or even that it is correct) but it makes for a fun diagram:

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded