Definitions of some very common abstract types
Put geometry in mathematics section