search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

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

Open vikraman opened 3 years ago

inexxt commented 3 years ago

Using Mac Lane book, p. 251 There are two versions of FSMG, possible that the version with swap will be better suited, but it's to be seen.