Journal: Feb 05, 2009

Bryan Newbold, bnewbold@mit.edu
http://web.mit.edu/bnewbold/thesis/

Today i'm skimming through sections on pullbacks and pushforwards without much understanding; I think i've gone pretty far down the math path for now and need to push through to some physical problems. I can return later if I need to? It looks like ultimately it will be a good example of the functional approach, but stumbles before strides.

To define: Cartan, Christoffel,

I like the list of thing which are important enough to be refered to with a "the-" prefix in scheme:

the-cons-table    the-empty-stream  the-environment   the-environment?
the-ether         the-null-symbol   the-real-line   
What components of the entire operating system are unique/important enough to be refered to this way? The only "a-" is a-reduce, which while technically "a" thing, doesn't refer to just any old reduce. This makes sense.

Whew, finally got through the end of the differential geometry memo, at least skimming through it. Looks like there's plenty of work still to be done! Of course i'm sure a lot of it is in will's calculus additions, i'll have to look through that next.

(previous entry) - (next entry)