We informally compare the layering of concepts in both mathematics and computation (Wikipedia ). We observe that with each layer an abstraction (Wikipedia ) is formed that normalizes a useful manipulation.
