Describir: Towards the Mathematics of Quantum Field Theory