圏論 | 壱大整域
このページについて ※特に断らない限り、圏はlocally smallであると仮定しています。 ※上から順に読むことを想定しています。 ※選択公理は特に断らず使います。圏論における選択公理と同値な命題については選択公理のページを見てください。 意見・質問・感想・誤字や数学的間違いの指摘などはTwitterで直接リプやDMするか、マシュマロで送ってください。 お知らせ ■このページのPDFが紙の本になりました。↓のリンクから購入することができます。 全ての概念はKan拡張である: 第0章～第2章(Cauchy完備化は除く) 全ての概念はKan拡張であるII～豊穣圏論～: 第3章 2-category、豊穣圏 『全ての概念はKan拡張である』シリーズについて ■PDFの量が多すぎると思うので第0章～Kan拡張のPDF(kan_extension.pdf)までの内容を短くまとめたPDFを作りまし
category in nLab
This page is about the concept in mathematics. For the concept of the same name in philosophy see at category (philosophy). Context Category theory Idea A category consists of a collection of things and binary relationships (or transitions) between them, such that these relationships can be combined and include the “identity” relationship “is the same as.” A category is a quiver (a directed graph
nLab
This is a wiki for collaborative work on Mathematics, Physics, and Philosophy — especially (but far from exclusively) from the higher structures point of view: with a sympathy towards the tools and perspectives of homotopy theory/algebraic topology, homotopy type theory, higher category theory and higher categorical algebra. Contents Purpose The nLab records and explores a wide range of mathematic
ipsj
Agda Programming †1 Agda1) Haskell2) Dependent type Agda Agda Agda Emacs Agda Dependent type Agda Agda Agda Agda Curry Howard 3) Dependent type ( ) Agda ? Agda Agda Programming Technique in Agda Shinji KONO †1 1. 80 ML HOL4) Agda1) Curry Howard Haskell2) Agda Haskell I/O Monad 5) Monad (Cate- gory theory)6) †1 Information Engineering, University of the Ryukyus. Monad (Adjoint pair) Kleisli Monad M
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H28-hasegawa.pdf
