Free, Libre and Open Works
BlogDefining FreedomHome
At least part of this work or collection is under a free, libre and open license.

Homotopy Type Theory

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way.

https://unglue.it/work/128678/

Work

Licensing Creative Commons Attribution-ShareAlike

Connections

  • unglue.it

Genre Mathematics

Grouping Information

Free, Libre and Open Works

  • sanglorian@gmail.com
  • sanglorian

This wiki celebrates culture and knowledge that you can copy and share without breaking the law, with a particular focus on free, libre and open works that can be shared and adapted by any person for any purpose, commercial or otherwise.

Content is available under Creative Commons Attribution 4.0 International license unless otherwise noted. Thumbnails and quotes are under their original licenses.