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)

    A nice natural example of a bicategory (non-strict 2-category) I didn't know about before: Objects are sets. Morphisms from A to B are "state…

  • (no subject)

    Read a bit about alexandrov topologies and chu spaces and stuff. Is there a good completion of the analogy preorder (i.e. alexandrov topology) :…

  • (no subject)

    Interesting paper from Noam and Paul-André. The technical condition about cartesian morphisms in the definition of a fibration of categories…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded