-
- いいね！0
たちうさだった
@tatyusa419
fib = function(n){return (n=0||n=1)?1:arguments.callee(n-1)+arguments.callee(n-2);}
2013-09-21 16:12:43
アイコンが見えない人
@invisible_qq
pointfreeなのに点(射の合成)だけじゃねーか，という人がいる #kansaimath #kansaimath307
2013-09-21 16:13:23
end.K
@end313124
\circ と \dotの違いがわからないマンがいるんですかね？？？（煽り） #kansaimath307 #kansaimath
2013-09-21 16:13:48
end.K
@end313124
定義: F : C \leftarrow C ;functor とする．F-Algebraとは A\leftarrow FA なる型の射のこと． #kansaimath307 #kansaimath
2013-09-21 16:16:16
end.K
@end313124
定義：F-Algebra a:A\leftarrow FA, b: B \leftarrow FBとする． ｂからaへのF-homomorphismとは, \begin{xymatrix}{ A & FA @ar[l]^a #kansaimath307 #kansaimath
2013-09-21 16:21:21
end.K
@end313124
\\ B @ar[u]_f & FB @ar[l]^b @ar[u]^{Ff} } \end{xymatrix} を可換にするようなf::A \leftarrow B のこと #kansaimath307 #kansaimath
2013-09-21 16:22:48
アイコンが見えない人
@invisible_qq
2つのF-algebra(A←FAの型の射)aとbに対し、bからaへのF-homomorphismを定義．これによってF-Algは圏になる． #kansaimath #kansaimath307
2013-09-21 16:22:58
end.K
@end313124
定義：F-Algeが始対象を\alpha T \leftarrow FTを持つ時\alpha をinitial F-Algebra という． #kansaimath307 #kansaimath
2013-09-21 16:24:44
ぴあのん
@piano2683
F-homomorphismとは A←FA f↑ ↑Ff B←FB が可換となるような射f:A←Bのこと #kansaimath #kansaimath307 .
2013-09-21 16:24:44
アイコンが見えない人
@invisible_qq
F-Algの始対象をinitial F-algebraという #kansaimath #kansaimath307
2013-09-21 16:25:30
end.K
@end313124
イエドエスト Ｔ ←（\alpha） ←FT ↓ ↓ ∃！ Ｆｈ ｈ ↓ ↓ Ａ←（ a ）←ＦＡ #kansaimath307 #kansaimath
2013-09-21 16:27:09