https://github.com/cmu-phil/Spectral
Tip revision: 3b078f5f1de251637decf04bd3fc8aa01930a6b3 authored by Floris van Doorn on 15 May 2023, 16:56:12 UTC
Update README.md: linkfix
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 |