research
∙
05/12/2022
On the Lambek embedding and the category of product-preserving presheaves
It is well-known that the category of presheaf functors is complete and ...
share
research
∙
04/27/2022
Proto-Quipper with dynamic lifting
Quipper is a functional programming language for quantum computing. Prot...
research
∙
04/27/2022
A biset-enriched categorical model for Proto-Quipper with dynamic lifting
Quipper and Proto-Quipper are a family of quantum programming languages ...
research
∙
09/13/2021
Generators and Relations for Real Stabilizer Operators
Real stabilizer operators, which are also known as real Clifford operato...
research
∙
06/02/2021
Generators and Relations for the Group O_n(ℤ[1/2])
We give a finite presentation by generators and relations for the group ...
research
∙
05/17/2020
