Functors

Cipher Maps: When Category Theory Meets Oblivious Computing

What if we could compute on encrypted data while preserving algebraic structure? Not through expensive homomorphic encryption, but through a principled mathematical framework that unifies oblivious computing, Bernoulli types, and categorical …

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.