Expository Study Notes by Subjects
This page presents a synoptic index of expository study notes produced during my self-study of foundational and frontier topics in mathematics and theoretical physics. The notes are arranged by subject area and each hyperlinked entry provides a self-contained exposition aimed at advanced undergraduates or beginning graduate students who wish to master the material in a systematic manner. All resources are open-access: the web versions can be read online directly, while ancillary PDFs compiled via Overleaf are available for download. Both formats are version-controlled through GitHub/Quarto to ensure continuous updating and public traceability.
| Overall Category | Topics Covered | References Adopted |
|---|---|---|
| Mathematical Logic and Beyond |
• Category Theory • Topos Theory • Higher topos theory |
(Lane 1998) |
The following section presents a synoptic index of all thematic areas. Each hyperlinked entry leads to the complete set of lecture notes hosted on this repository; ancillary PDFs generated via Overleaf are likewise available for download.
All materials are open-access and version-controlled through GitHub/Quarto.
| Title | core-references | Categories | Modified | Author |
|---|---|---|---|---|
| Japanese | 2025-11-16 | |||
| Category Theory | Mac Lane 1998 | Mathematical Logic, Category Theory | 2025-11-25 |