2017年 圏論に関する参考文献の案内（無料オンライン版含む） - 檜山正幸のキマイラ飼育記 (はてなBlog)
2017年最初のコメントとして、内海さんから次の情報を教えていただきました; 2016年12月30日に、レンスター（Tom Leinster）の書籍"Basic Category Theory"がオンラインに無料公開されました。 ※ 書籍の表紙画像が表示されないときは、このページをリロードしてみてください。 Basic Category Theory (Cambridge Studies in Advanced Mathematics) 作者: Tom Leinster出版社/メーカー: Cambridge University Press発売日: 2014/07/24メディア: ハードカバーこの商品を含むブログを見る Title: Basic Category Theory Author: Tom Leinster AuthorHomePage: http://www.maths.ed.
形式言語理論のための代数 - 檜山正幸のキマイラ飼育記 (はてなBlog)
形式言語理論は、かなりの程度、代数的に定式化できます。例えば、形式言語の全体は順序半環、オートマトンはその順序半環を係数とする正方行列だと思えます。オートマトンの初期状態と終状態、オートマトンのあいだの模倣（simulation）関係なども行列により表現できます。 ここでは、できるだけ手短に形式言語理論のための代数、特に半環係数行列の概念を説明します。形式言語とオートマトンの基礎事項についても概要を述べますが、とてもラフな記述なので、他の資料や教科書で予備知識は仕入れておいたほうがいいでしょう。図を多用して幾何的・物理的な比喩を使うと分かりやすくなるとは思うのですが、今回は絵は描きませんでした。絵による説明はまたの機会に。 目標はオートマトンと模倣の圏を作ることです。オートマトンは代数的には正方行列となります。関係圏Rel（の部分圏）をインデキシング圏とするインデックス付き圏を作り、そのグ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
