TakuLabo

雑記帳

タグ: 数学 (1 / 7)

圏論的にIf文を組み立てる

タグ: 数学圏論 Haskell

関数のパターンマッチング f(x) = [...] による関数の圏論的構成法

タグ: 数学圏論

【泥沼】様々な "カノニカルな写像" とやらの具体的な構成方法に真面目に向き合ってみる

タグ: 数学圏論 Haskell 小ネタ

トーラスの方程式

タグ: 数学線形代数

継続渡しスタイルでの階乗関数の構成を純粋圏論的にやってみた。【小ネタ】

タグ: 数学圏論 Haskell 小ネタ

カントールの対角線論法を圏論的に俯瞰する【ローヴェアの不動点定理 (Lawvere's fixed-point theorem)】

タグ: 数学圏論

素数計数関数 (Prime-counting function) を圏論的に構成してみる

タグ: 数学圏論 Haskell

置換公理型を認めない初等トポスの一般論の中で、集合 {x∈X|P(x)} はどのようにして構成されるのか

タグ: 数学圏論

タグ一覧:

物理学 (18)
古典力学 (9)
量子力学 (5)
数学 (56)
圏論 (32)
位相 (1)
線形代数 (7)
高校数学 (4)
プログラミング (28)
C言語 (4)
Haskell (32)
Java (1)
Python (2)
PureScript (3)
日記 (43)
小ネタ (17)
音楽 (4)
ピアノ (12)
ゲーム (18)
YouTube (36)

ページの先頭へ