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.