haskell-ja > Archives

2016/02/05 02:20:34 UTCaiya000

そういえば前回のhasmokuの懇談会でFreeの話が盛り上がってましたが、

自由モノイドがListしか存在しない…って話、出てましたっけ。

2016/02/05 03:25:22 UTCigrep

茶化すようで恐縮ですがあいやさんその発言はもはや初心者じゃない...w

2016/02/05 04:20:30 UTCaiya000

そう言ってもらえてうれしいですが、初心者だと自負してます！w

「圏論の歩き方」を歩けなかったので初心者です！

2016/02/05 05:19:02 UTCigrep

なるほどHaskellの初心者じゃなくて圏論の初心者ということですか...

2016/02/05 07:16:08 UTCaiya000

プログラミングHaskellのParserの章で躓いたので、Haskellも初心者です！

2016/02/05 09:18:10 UTC[1..100]>>=pen

近づいたので再掲。2月7日（日）「Shinjuku.hs #1」 https://shinjukuhs.doorkeeper.jp/events/37998/

2016/02/05 10:45:39 UTCigrep@twitter

自由モノイドがListしかない、ってところに関して今更気づいたんですが、 https://t.co/BSyNS1lCGV も自由モノイドなんじゃないかと。（ちょっと自信ない）

2016/02/05 10:58:25 UTCruicc

自由対象、なんかの圏の始対象だから同型を除き一意だったはず

2016/02/05 11:17:08 UTCruicc

https://ncatlab.org/nlab/show/free+object

2016/02/05 12:06:50 UTCaiya000

集合全体の圏Setsと、モノイド全体の圏Monsの間の
    関手F : Sets -> Mons
が存在して、関手Fの左(?)随伴
    忘却関手G : Mons -> Sets
が存在する…ということっていうのも懇談会で聞いたんですが
このモノイド全体の圏を
任意の代数的構造抽象化したのがFreeというもの…ですかね？
(そもそもこの随伴を、任意の代数的構造に当てはめられるのかな？)

<< 2016/02/04

Back to the chat room

2016/02/06 >>

haskell-ja > Archives > 2016/02/05