Vikraman Choudhury

https://vikraman.org [email protected]

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

Results 24 issues of


Vikraman Choudhury

Mention previous work with BAut(2) and how this extends it

enhancement

text

Typography fixes

- [ ] Remove dangling words - [x] Use uniform style for \cref - [x] Use inline math style for sigma and pi - [ ] No breaks in type...

enhancement

Notation for successor and Sn are confusing

`Sn` and `S_n`

Prove quote-eval^₁

1

comment

definition

proof

Pi

Prove the Coxeter HIT and set quotient versions are equivalent

proof

Add text in section 2

text

Prove the group structure of CList

proof

Sketch the equivalence between M 1 and UFin

definition

FSMG

Prove the universal property of FSMG.M

proof

FSMG

Show that FSMG.M is a symmetric monoidal groupoid

proof

FSMG