Functors

Cipher Maps: Category Theory Meets Oblivious Computing

Formalizing oblivious computing through cipher maps and algebraic cipher types, using category theory for functorial composition of privacy-preserving transformations.

Algebraic Cipher Types: A Functorial Framework for Secure Computation

Algebraic Cipher Types: Computing on Encrypted Data While Preserving Structure

A functorial framework that lifts algebraic structures into the encrypted domain, enabling secure computation that preserves mathematical properties.