The Infinity Project by Seunghun Ryu(Bird) and Taewan Kim(Frog)
12.01.25 ~ 02.28.28
People who helped: Taeyoon Woo, ..
∞-Project I: Pointed CW-complex inside the Grothendieck site - Seunghun Ryu and Taewan Kim (2026)
This paper constructs dasein and K-theory spectrum of dasein.∞-Project II: Dasein and Motivic cohomology - Seunghun Ryu and Taewan Kim (2026 or 2027)
This paper develops new computational methods for motivic cohomology.