haskell-jp / math #11

@chansuke has joined the channel
@dhesusan has joined the channel
連投申し訳ありません。高次元圏をHaskellで実現することはできますか?
3-cellなどの実装もできるのでしょうか。
... Replies ...
@kzhk has joined the channel
読むかどうかは未定ですが興味ある方もいらっしゃるでしょうし共有します
https://twitter.com/hora_algebra/status/1456866087400738819?s=20
キマイラ飼育記が Lens を取り上げました!
https://m-hiyama.hatenablog.com/entry/2021/11/12/112110
「ziplist monad proof」でググったら Ziplist アプリカティブがモナドにならないことの証明と思われる Coqコードを見つけた。
https://gist.github.com/viercc/38853067c893f7ad9e0894abb543178b (こちらは日本の人のだ)
https://gist.github.com/Lysxia/b105bcb2f2ba835012476ab7fe37ae87
... Replies ...
@葉酸you3 has joined the channel
Endo Ryunosuke / minerva
@Endo Ryunosuke / minerva has joined the channel
@山下壮樹 has joined the channel
akira ishiguro
@akira ishiguro has joined the channel
今ちょっと気になったのですが、Haskellの型と関数の「圏」Hask って、
f: a → b, g: b → c に対して、

f >>> g =  f `seq` g `seq` \x -> g (f x)

で定義すると本物の圏ですか?
... Replies ...
@hiroyuking has joined the channel
@minus1216 has joined the channel
この問題なんですが、タプルを正格にするとモノイド圏にならないのが非常にネックなんですよね
@S D has joined the channel
個人事業主になったので、重い腰を上げて複式簿記を調べてるんですが、複式簿記の仕訳を行列で表現すると「自由加群」になるとかで、こっち方面から理解したい
https://keito.luxe/2019/05/03/matrix-bookkeeping/
勘定科目のペア (借方の勘定科目, 貸方の勘定科目) の集合を基底とする自由 ℕ-加群と思えばいいんでしょうか。100円のものを買ったことは 100 (消耗品費, 現金) と表すような。
@毛糸 has joined the channel
こんにちは!
Twitterで私の記事がこちらのチャンネルで取り上げられていると伺いまして、是非仲間に入れてほしいと思い参加させていただきました。
よろしくお願いいたします。
@はけた has joined the channel
@rst76 has joined the channel
@ryotomi has joined the channel
@htlsne has joined the channel
@naokij has joined the channel
@ has joined the channel
@ has joined the channel
@ has joined the channel
@James Haydon has joined the channel
@ndadayo has joined the channel
@yFkhr has joined the channel
@hirofumikubo has joined the channel
@t-shibata has joined the channel
@kohei wada has joined the channel
ベーシック圏論を読んでいるのですが、忠実性の定義が少し自信ないです。。
注意 1.2.17から個別の射に対して単射ではなく、対象の間の射全体(Hom集合?)自体が単射であれば良いということでしょうか?
例えば添付の画像での関手Fは忠実ですが、Gは忠実ではないというイメージであっていますでしょうか?
... Replies ...