圏論のオススメ勉強法（プログラマ向け） - Qiita
この記事は、iOSDC Japan 2018 で発表した「圏論とSwiftへの応用」の補足 - Qiita の続きです。 今回は、数学科でもコンピュータ科学出身でもない、単なるiOSエンジニアである筆者が、数学の 「圏論」 に興味を惹かれ、その流れで iOSDC Japan 2018 で登壇発表に至るまでの、 圏論のオススメ勉強法（プログラマ向け） について紹介したいと思います。 登壇資料参考： iOSDC Japan 2018 「圏論とSwiftへの応用」発表スライドメモ - Qiita iOSDC Japan 2018 で発表した「圏論とSwiftへの応用」の補足 - Qiita アジェンダ 手元の圏論の本をそっと閉じる Bartosz Milewski先生の動画を見る iPad Pro と Apple Pencil で絵を描く 手元の圏論の本をそっと閉じる 巷には、圏論の名著といわれ
Basic Category Theory for (Scala) Programmers (Part I) – SCALENTS
“Aren’t you tired of just nodding along when your friends starts talking about morphisms? Do you feel left out when your coworkers discuss a coproduct endofunctor? From the dark corners of mathematics to a programming language near you, category theory offers a compact but powerful set of tools to build and reason about programs. If you ever wondered what’s a category or a functor and why care, th
Category Theory for Programmers: The Preface
Category Theory for Programmers: The Preface Posted by Bartosz Milewski under C++, Category Theory, Functional Programming, Haskell, Programming [184] Comments Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functoriality Function Types Natural Transformati
Parametricity: Money for Nothing and Theorems for Free
Parametricity: Money for Nothing and Theorems for Free Posted by Bartosz Milewski under Category Theory, Functional Programming, Haskell, Programming, Type System [13] Comments I’m not fond of arguments based on lack of imagination. “There’s no way this code may fail!” might be a sign of great confidence or the result of ignorance. The inability to come up with a counterexample doesn’t prove a the
Category Theory (Stanford Encyclopedia of Philosophy)
First published Fri Dec 6, 1996; substantive revision Thu Aug 29, 2019 Category theory has come to occupy a central position in contemporary mathematics and theoretical computer science, and is also applied to mathematical physics. Roughly, it is a general mathematical theory of structures and of systems of structures. As category theory is still evolving, its functions are correspondingly develop
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Category Theory for the Working Hacker
http://www.eelis.net/research/math-classes/mscs.pdf