The book of category theory written in Japanese.
https://g-ohara.github.io/category-theory/
- Typst 100%
| Filename | Latest commit message | Latest commit date |
|---|---|---|
genji1024
7a2320808e
All checks were successful
Build Typst document / build (push) Successful in 2m28s
- Reviewed-on: #2 - Reviewed-by: genji1024 <[email protected]> |
||
| .forgejo/workflows | ||
| .gitignore | ||
| LICENSE | ||
| main.typ | ||
| main.yml | ||
| README.md | ||
Category Theory (圏論ノート)
The notebook of category theory written in Japanese.
Build document
Download a prebuilt Typst binary from https://github.com/typst/typst/releases and install a CJK font such as Noto CJK (e.g. fonts-noto-cjk on Debian/Ubuntu).
Then, in the root directory of the repo, run:
typst compile main.typ
This produces main.pdf.
Contributing
Pull requests are welcome. For major changes, please open an issue first to discuss what you would like to change.