-
masahiro_sakai
- 4049
- 0
- 0
- 0
![](https://s.togetter.com/static/web/img/placeholder.gif)
@masahiro_sakai CategoryというStructureを定義すると自動で作られるコンストラクタです。>この Build_Category というのは
2011-05-04 13:19:38![](https://s.togetter.com/static/web/img/placeholder.gif)
Structure使って代数構造を定義出来る雰囲気は出て来たし, 準同型も定義出来て来た気がするけど, こっちの方からやってってそれを圏の対象として扱えるのだろうか. 群が成す圏とか, 群を忘却関手でモノイドに移すとかどうやって考えるんだろう. #concat
2011-05-04 14:49:01![](https://s.togetter.com/static/web/img/placeholder.gif)
.@mr_konn @kikx やったー! 空の圏(@mr_konn さんの彼女の圏らしい)を定義できた〜!! #concat
2011-05-04 15:11:54