Functors

Bits Follow Types

Codecs are not ad-hoc bit formats. They are constructions on the algebraic structure of types.

Algebraic Cipher Types: A Functorial Framework for Secure Computation