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)