https://github.com/cmu-phil/Spectral
History
Tip revision: 3b078f5f1de251637decf04bd3fc8aa01930a6b3 authored by Floris van Doorn on 15 May 2023, 16:56:12 UTC
Update README.md: linkfix
Tip revision: 3b078f5
File Mode Size
Notes
algebra
archive
cohomology
colimit
homology
homotopy
spectrum
.gitignore -rw-r--r-- 2.4 KB
.project -rw-r--r-- 177 bytes
LICENSE -rw-r--r-- 11.1 KB
README.md -rw-r--r-- 6.7 KB
choice.hlean -rw-r--r-- 3.4 KB
coind_colim.hlean -rw-r--r-- 6.2 KB
component.hlean -rw-r--r-- 3.8 KB
heq.hlean -rw-r--r-- 1.8 KB
higher_groups.hlean -rw-r--r-- 17.9 KB
logic.hlean -rw-r--r-- 1.5 KB
move_to_lib.hlean -rw-r--r-- 11.8 KB
pointed.hlean -rw-r--r-- 28.1 KB
pointed_binary.hlean -rw-r--r-- 10.3 KB
pointed_cubes.hlean -rw-r--r-- 7.7 KB
pointed_pi.hlean -rw-r--r-- 49.0 KB
property.hlean -rw-r--r-- 11.3 KB
pyoneda.hlean -rw-r--r-- 5.1 KB
univalent_subcategory.hlean -rw-r--r-- 14.5 KB

README.md

back to top