About
I am a graduate student at Qiuzhen College, Tsinghua University.
I was born on March 27, 2003.
Email:
- wangjiny24@mails.tsinghua.edu.cn
- jinExp2iPi@gmail.com
I am a graduate student at Qiuzhen College, Tsinghua University.
I was born on March 27, 2003.
Email:
My supervisor is Prof. Lin Chen.
My mathematical interests lie in
Some of my talks are on Bilibili.
Some of my notes are on Zhihu.
Here are my Github repositories.
These are in Chinese unless specified otherwise.
A basic introduction to topos theory.
Book on Github (>300 pages, continuously updated)
A short talk on topos theory (name borrowed from P. Johnstone)
(English)
Notes(English)
Video 1: From Langlands program to topos theory
Video 2: The future of topos theory
(English)
A presentation of Quillen's 1969 paper on formal group laws.
(English)
Notes 1: Posets and propositional logic
Notes 2: Lex categories, algebraic theories and locally finitely presentable categories
Notes 3: Sketches
Video and Slides (talk in Chinese, slides in English)
An improvised piano re-arrangement of a beautiful background music in Genshin Impact.
A growing Chinese math community.
Shared homepage of several brilliant students from class 31, Qiuzhen College.