nLab Aleks Kissinger

Selected writings

On quantum information theory via dagger-compact categories:

Relating the ZX-calculus to braided fusion categories for anyon braiding:

On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:

category: people

Last revised on November 11, 2022 at 08:55:03. See the history of this page for a list of all contributions to it.