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

Update src/ThesisWork/README.md

Browse source
This commit is contained in:
Michael Zhang 2025-01-04 07:50:25 +00:00
parent 6b13dd2e6d
commit e1482cc256
1 changed files with 38 additions and 37 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

75
src/ThesisWork/README.md
View file

@ -1,37 +1,38 @@
# Notes
- Already some existing work by Felix Cherubini (@felixwellen) about spectra here: https://github.com/agda/cubical/pull/723
```mermaid
%%{init: {"layout": "elk", "flowchart": {"htmlLabels": false}} }%%
flowchart TB
style GradedAbelianGroup fill:skyblue
style Prespectrum fill:skyblue
style Spectrum fill:skyblue
style PointedKernel fill:skyblue
style PointedImage fill:skyblue
style Exactness fill:skyblue
GradedAbelianGroup --> ExactCouple
GradedAbelianGroup --> SpectralSequence
ExactCouple --> DerivedCouple
PointedKernel --> Exactness
PointedImage --> Exactness
Exactness --> ExactSequence
Exactness --> ChainComplex
ChainComplex --> Homology
ChainComplex --> CochainComplex
CochainComplex --> Cohomology
Cohomology --> Theorem5410
ExactSequence --> ExactCouple
ExactSequence --> Theorem535
PostnikovTower --> Theorem5410
Prespectrum --> Spectrum
Spectrum --> nthHomotopyGroupOfSpectrum
SpectralSequence --> Corollary5411
SpectralSequence --> Theorem5410
SpectralSequence --> Theorem5412
```
# Notes
- Already some existing work by Felix Cherubini (@felixwellen) about spectra here: https://github.com/agda/cubical/pull/723
```mermaid
%%{init: {"layout": "elk", "flowchart": {"htmlLabels": false}} }%%
flowchart TB
style GradedAbelianGroup fill:skyblue,color:black
style Prespectrum fill:skyblue,color:black
style Spectrum fill:skyblue,color:black
style PointedKernel fill:skyblue,color:black
style PointedImage fill:skyblue,color:black
style Exactness fill:skyblue,color:black
style ChainComplex fill:skyblue,color:black
GradedAbelianGroup --> ExactCouple
GradedAbelianGroup --> SpectralSequence
ExactCouple --> DerivedCouple
PointedKernel --> Exactness
PointedImage --> Exactness
Exactness --> ExactSequence
Exactness --> ChainComplex
ChainComplex --> Homology
ChainComplex --> CochainComplex
CochainComplex --> Cohomology
Cohomology --> Theorem5410
ExactSequence --> ExactCouple
ExactSequence --> Theorem535
PostnikovTower --> Theorem5410
Prespectrum --> Spectrum
Spectrum --> nthHomotopyGroupOfSpectrum
SpectralSequence --> Corollary5411
SpectralSequence --> Theorem5410
SpectralSequence --> Theorem5412
```