![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Antipode/ | 2012-07-21 10:17 | - | |
| Associativity.eps | 2009-04-05 12:58 | 2.7M | |
| Bibliography.bib | 2009-05-31 14:10 | 27K | |
| Diagram-associativity-proof.pdf | 2009-05-25 14:10 | 539K | |
| Diagram-comp.eps | 2009-04-05 12:56 | 1.2M | |
| Diagram-comp.pdf | 2009-05-25 14:07 | 210K | |
| Diagram-decomp-proof.pdf | 2009-05-25 14:23 | 519K | |
| Diagram-decomp.pdf | 2009-05-25 14:22 | 297K | |
| Diagram-def.eps | 2009-04-04 09:22 | 793K | |
| Diagram-def.pdf | 2009-05-29 07:51 | 117K | |
| HWDiagHopf.aux | 2009-06-01 15:35 | 9.6K | |
| HWDiagHopf.bbl | 2009-06-01 15:35 | 7.3K | |
| HWDiagHopf.blg | 2009-06-01 15:35 | 286 | |
| HWDiagHopf.dvi | 2009-06-01 15:35 | 106K | |
| HWDiagHopf.log | 2009-06-01 15:35 | 26K | |
| HWDiagHopf.pdf | 2009-06-01 06:32 | 1.9M | |
| HW Diag Hopf.rar | 2009-06-01 06:32 | 2.6M | |
| HWDiagHopf.tex | 2009-06-01 11:30 | 74K | |
| HWDiagHopf_3.pdf | 2009-07-13 07:56 | 2.1M | |
| HWDiagHopf_3.zip | 2009-07-13 07:56 | 1.8M | |
| hopfpaperwithantipode.zip | 2009-07-13 16:57 | 3.8M | |