圏論
最近Bartosz MilewskiのCategory Theory for ProgrammersシリーズをYoutubeで観はじめた。メモとして記事にしておく。 第一シリーズは全10回、各回が前後篇にわかれている。 1.1回目: www.youtube.com 最初の回はプログラマにとっての圏論の意義とは?とい…
最近Bartosz MilewskiのCategory Theory for ProgrammersシリーズをYoutubeで観はじめた。メモとして記事にしておく。 第一シリーズは全10回、各回が前後篇にわかれている。 1.1回目: www.youtube.com 最初の回はプログラマにとっての圏論の意義とは?とい…