├── .gitignore ├── docs ├── Makefile ├── make.bat └── source │ ├── 0-trinitarianism │ ├── images │ │ ├── generalBundle.png │ │ ├── idRec.png │ │ ├── idType.png │ │ ├── isEven.png │ │ ├── isEvenBundle.png │ │ ├── nno.png │ │ └── trinitarianism.png │ ├── index.rst │ ├── overview.rst │ ├── quest-0.rst │ ├── quest-1.rst │ ├── quest-2-side.rst │ ├── quest-2.rst │ ├── quest-3-side.rst │ ├── quest-3.rst │ ├── quest-4-side.rst │ ├── quest-4.rst │ └── quest-5.rst │ ├── 1-fundamental-group │ ├── images │ │ ├── S1-final.gif │ │ ├── S2.png │ │ ├── doubleCover-final.gif │ │ ├── doubleCover.png │ │ ├── helix.gif │ │ ├── lifted_homotopy.png │ │ ├── lifted_loops.png │ │ ├── mapFun.png │ │ ├── pathSpace.gif │ │ ├── pathToFunAndPiTypes.png │ │ └── pathToFunAndPiTypes2.png │ ├── index.rst │ ├── overview.rst │ ├── quest-0-side.rst │ ├── quest-0.rst │ ├── quest-1-side.rst │ ├── quest-1.rst │ ├── quest-2-side.rst │ ├── quest-2.rst │ ├── quest-3.rst │ └── quest-4.rst │ ├── _static │ ├── doubleCover.webm │ ├── helix.webm │ └── pathSpace.webm │ ├── conf.py │ ├── getting-started │ ├── about-hott-game.rst │ ├── emacs-commands.rst │ ├── gitOnMac.rst │ ├── index.rst │ └── installation.rst │ └── index.rst └── pyproject.toml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/.gitignore -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/make.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/make.bat -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/images/generalBundle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/images/generalBundle.png -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/images/idRec.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/images/idRec.png -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/images/idType.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/images/idType.png -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/images/isEven.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/images/isEven.png -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/images/isEvenBundle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/images/isEvenBundle.png -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/images/nno.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/images/nno.png -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/images/trinitarianism.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/images/trinitarianism.png -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/index.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/overview.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-0.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-0.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-1.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-1.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-2-side.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-2-side.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-2.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-2.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-3-side.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-3-side.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-3.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-3.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-4-side.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-4-side.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-4.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-4.rst -------------------------------------------------------------------------------- /docs/source/0-trinitarianism/quest-5.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/0-trinitarianism/quest-5.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/S1-final.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/S1-final.gif -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/S2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/S2.png -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/doubleCover-final.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/doubleCover-final.gif -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/doubleCover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/doubleCover.png -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/helix.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/helix.gif -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/lifted_homotopy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/lifted_homotopy.png -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/lifted_loops.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/lifted_loops.png -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/mapFun.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/mapFun.png -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/pathSpace.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/pathSpace.gif -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/pathToFunAndPiTypes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/pathToFunAndPiTypes.png -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/images/pathToFunAndPiTypes2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/images/pathToFunAndPiTypes2.png -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/index.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/overview.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/overview.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-0-side.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-0-side.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-0.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-0.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-1-side.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-1-side.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-1.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-1.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-2-side.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-2-side.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-2.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-2.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-3.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-3.rst -------------------------------------------------------------------------------- /docs/source/1-fundamental-group/quest-4.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/1-fundamental-group/quest-4.rst -------------------------------------------------------------------------------- /docs/source/_static/doubleCover.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/_static/doubleCover.webm -------------------------------------------------------------------------------- /docs/source/_static/helix.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/_static/helix.webm -------------------------------------------------------------------------------- /docs/source/_static/pathSpace.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/_static/pathSpace.webm -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/getting-started/about-hott-game.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/getting-started/about-hott-game.rst -------------------------------------------------------------------------------- /docs/source/getting-started/emacs-commands.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/getting-started/emacs-commands.rst -------------------------------------------------------------------------------- /docs/source/getting-started/gitOnMac.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/getting-started/gitOnMac.rst -------------------------------------------------------------------------------- /docs/source/getting-started/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/getting-started/index.rst -------------------------------------------------------------------------------- /docs/source/getting-started/installation.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/getting-started/installation.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/thehottgame/theHoTTGameGuide/HEAD/pyproject.toml --------------------------------------------------------------------------------