Vikraman Choudhury

https://vikraman.org [email protected]

Università di Bologna Bologna, Italy Marie Skłodowska-Curie Fellow

Results 24 issues of


Vikraman Choudhury

Prove the universal property of FSMG

Partially done in `FSMG.Properties`

proof

FSMG

Prove the symmetric monoidal laws for Fin n with coproduct

proof

FSMG

Show that UFin is a symmetric monoidal groupoid

proof

FSMG

Write the equivalence between path space of `FSMG 1` and Coxeter

1

comment

proof