michael/type-theory
2
0
Fork 0
Code Issues 21 Pull requests Projects 1 Releases 1 Packages Wiki Activity Actions

map

Browse source
This commit is contained in:
Michael Zhang 2025-01-08 16:35:38 -05:00
parent e21f6f701e
commit 0e3c70e421
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/ThesisWork/README.md
View file

@ -22,6 +22,10 @@ flowchart TB
PointedKernel --> Exactness
PointedImage --> Exactness
PointedKernel --> KerImQuotient
PointedImage --> KerImQuotient
KerImQuotient --> Homology
KerImQuotient --> Cohomology
Exactness --> ExactSequence
ChainComplex --> Homology
ChainComplex --> CochainComplex
@ -52,4 +56,6 @@ flowchart TB
Theorem5410 --> Corollary5411
SpectralSequence --> Theorem5410
Corollary5411 --> Theorem5412
Spectrum --> DependentSpectrum
```