Worked on getting the bibtex and stuff in a separate git repository. Doesn't work completely yet.
Some steps towards the computation rule for the higher path constructor of the sphere.