Backend

Algebraic Heirarchy

Representable Functors over numbers