Express - Node.js web application frameworkってやつ使えば、Node.js上で簡単なWebサーバを起動できるのか。 pythonのBottle: Python Web Framework — Bottle 0.13-dev documentationとかもあるし。1ファイルに拘らないならWelcome to Flask — Flask Docum…

さて、categoryの定義を引用したので遊んでみたい。 categoryとはこの定義を満たすものであれば何でも良い というふうに訳してみたが、何でも、つまり anything ということで、arrowとして写像ですらないものを考えてみたい。そのために敢えて「射」などとは…

圏論とかっ - らんだむな記憶で折角Steve Awodey先生のページで「Category Theory」の第1版っぽいレクチャーノートを見つけたので読んでみる。定義1.1. で微妙な気持ちになる。悪い意味ではない。 少し訳してみよう。 定義 1.1. categoryは以下のデータから…

Firefoxがなんか重くなった。プロファイルが肥大しているのだろう。places.sqlite が50MBを突破してる。ほっほー、そろそろ厳しいかな？ ちょっとggるとshrinkしてみるのもアリらしい。SQLite Download Pageからsqlite3を回収してきて、 sqlite3 places.sqli…