【サンプルpdfあり】技術書典6にて圏論入門小説を頒布します!【こ11】
概要
技術書典6にて、圏論入門小説を頒布します!(こ11)
- タイトル: せつラボ 〜圏論の基本〜
- ページ数: 128p
- 価格: 1,000円
サークルページ
サンプル(お試し本)
紹介
数学未入門者を対象とした、小説です。 圏論への入門を手引きします!
- 圏とは?
- 関手とは?
- どんなところが楽しいの?
集合論・Haskellあたりについての、触り程度の知識があればとても読みやすいかと思います。 ただし、ここらの知識を持たない方も考慮した内容になっています。
サークル配置
#技術書典 のサークル配置が「こ11」に決まりました!
— あいや@圏論入門小説・技術書典6・こ11 (@public_ai000ya) 2019年2月20日
数学未入門者・初心者へ向けて、
圏論入門への小説を頒布します🦀
イラストとキャラデザは @HassakuTb さんにご協力頂いています。
よろしくお願いします! pic.twitter.com/tq0JUu7leJ
関連ページ
400部持っていきます! また本書のダウンロードカード100部と、にこまき代数的構造の本も100部ほど持っていく予定です。 一律1,000円です。
前回の本を100部刷って、約13時に完売でしたので、新刊も15時くらいまでは残っていると思われます。 - 前回買ってくださった方、ありがとうございます! - 売り切れ後に来てくださった方、ごめんなさい :bow:
よろしくお願いします!
- 第1章 登場人物
- 1.1 η(えーた)
- 1.2 μ(みゅー)
- 第2章 (前書き)
- 2.1 おすすめ資料・参考書
- 2.2 付録・Web正誤表
- 第3章 始まり
- 3.1 圏論とは何か
- 3.2 (本章での参考文献)
- 第4章 集合
- 4.1 集合と写像
- 4.2 まとめ
- 4.3 ノートの切れ端A
- 4.4 (本章での参考文献)
- 第5章 用語
- 5.1 任意
- 5.2 存在
- 5.3 一意
- 5.4 Haskell
- 5.5 まとめ
- 5.6 ノートの切れ端B
- 5.7 (本章での参考文献)
- 第6章 休憩
- 第7章 圏
- 7.1 圏 = 対象と射の集まり
- 7.2 圏の具体例
- 7.3 まとめ
- 7.4 ノートの切れ端C
- 7.5 (本章での参考文献)
- 第8章 様々な対象と射
- 8.1 可換図式
- 8.2 対象の直積
- 8.3 対象の直和
- 8.4 ノートの切れ端D
- 8.5 (本章での参考文献)
- 第9章 出会い
- 第10章 関手
- 10.1 関手 = 圏から圏への写像
- 10.2 様々な関手
- 10.3 まとめ
- 10.4 ノートの切れ端E
- 10.5 (本章での参考文献)
- 第11章 終わり
- 第12章 (後書き)