Weaves, Wires, and Morphisms: Formalizing and Implementing the Algebra of Deep Learning