General Theory of RelativityHigher Algebra