Author: Ali Caglayan Format: MarkdownItexIf anybody has any tips on how to organise this page I am keen on hearing. The 3 thesis I have linked at the bottom go through much of the material that needs to be added. This page kind of sucks as it stands.
<a href="https://ncatlab.org/homotopytypetheory/revision/diff/Synthetic+homotopy+theory/14">diff</a>, <a href="https://ncatlab.org/homotopytypetheory/revision/Synthetic+homotopy+theory/14">v14</a>, <a href="https://ncatlab.org/homotopytypetheory/show/Synthetic+homotopy+theory">current</a>
If anybody has any tips on how to organise this page I am keen on hearing. The 3 thesis I have linked at the bottom go through much of the material that needs to be added. This page kind of sucks as it stands.
Author: Ali Caglayan Format: MarkdownItexmodifying reference links. Soon the contents summary will be moved.
<a href="https://ncatlab.org/homotopytypetheory/revision/diff/Synthetic+homotopy+theory/17">diff</a>, <a href="https://ncatlab.org/homotopytypetheory/revision/Synthetic+homotopy+theory/17">v17</a>, <a href="https://ncatlab.org/homotopytypetheory/show/Synthetic+homotopy+theory">current</a>
modifying reference links. Soon the contents summary will be moved.
Author: Ali Caglayan Format: MarkdownItexGot rid of nonsense organisation to simply list what we have and don't have. This isn't complete and I would appreciate any help.
<a href="https://ncatlab.org/homotopytypetheory/revision/diff/Synthetic+homotopy+theory/19">diff</a>, <a href="https://ncatlab.org/homotopytypetheory/revision/Synthetic+homotopy+theory/19">v19</a>, <a href="https://ncatlab.org/homotopytypetheory/show/Synthetic+homotopy+theory">current</a>
Got rid of nonsense organisation to simply list what we have and don’t have. This isn’t complete and I would appreciate any help.