Skip to content

ktgw0316/milewski-ctfp-markdown

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

milewski-ctfp-markdown

バルトシュ・ミレフスキー著『プログラマーのための圏論』の非公式markdown版(原著者の公開許可済みの日本語訳を含む)

An unofficial markdown version of "Category Theory For Programmers" by Bartosz Milewski, based on:

How to build

  1. Install pandoc and LuaLaTeX
  2. cd english/ (or cd japanese/ if you want to build Japanese version)
  3. Convert markdown to:
    • html: pandoc -d ../defaults_html.yaml --template=../html_templates/toc-sidebar.html --to=html5 -o index.html
    • epub: pandoc -d ../defaults_html.yaml --to=epub -o ctfp.epub
    • pdf: pandoc -d defaults.yaml -o ctfp.pdf
      • If you want to make index available in pdf, you need to run the following commands:

        pandoc -d defaults.yaml -o ctfp.tex
        sed -i -f ../ensuremath.sed ctfp.tex
        lualatex ctfp
        upmendex -d index.dic ctfp
        lualatex ctfp

日本語訳について

html版はgithub pagesとしても公開しています。

※2025年3月現在、第2部まで監訳が終わった段階です。誤訳を含む可能性があることにご注意ください。

  • 監訳:松田 一孝
  • 翻訳:北川 雅裕

About

Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages