概要

　技術書典6にて、圏論入門小説を頒布します！（こ11）

• タイトル: せつラボ 〜圏論の基本〜
• ページ数: 128p
• 価格: 1,000円

サークルページ

サンプル（お試し本）

• せつラボ 〜圏論の基本〜 サンプル

紹介

　数学未入門者を対象とした、小説です。 圏論への入門を手引きします！

• 圏とは？
• 関手とは？
• どんなところが楽しいの？

　集合論・Haskellあたりについての、触り程度の知識があればとても読みやすいかと思います。 ただし、ここらの知識を持たない方も考慮した内容になっています。

• 目次

サークル配置

#技術書典 のサークル配置が「こ11」に決まりました！

数学未入門者・初心者へ向けて、
圏論入門への小説を頒布します🦀

イラストとキャラデザは @HassakuTb さんにご協力頂いています。
よろしくお願いします！ pic.twitter.com/tq0JUu7leJ

— あいや@圏論入門小説・技術書典6・こ11 (@public_ai000ya) 2019年2月20日

関連ページ

• 正誤表
• 頒布物ページ - 技術書典6
• せつラボ 〜圏論の基本〜 で 省略された証明集 - aiya000/setulabo-with-monads-proofs - GitHub

---

　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章　（後書き）