構造忘却関手 - 檜山正幸のキマイラ飼育記 (はてなBlog)
忘却関手とは何であるか？ を、一般的に定義するのはけっこう難しいことです。 さまざまな忘却関手 ですが、構造を忘れる忘却関手なら定義できなくもないようです。 P. V. Golubtsov, S. S. Moskaliuk "Method of Additional Structures on the Objects of a Monoidal Kleisli Category as a Background for Information Transformers Theory" （http://arxiv.org/abs/math-ph/0211067） に、次のような定義が載っています。 ∀X, Y ∈ Ob(C) the map F : C(X, Y) → C'(F(X), F(Y)) is injective, ∀X ∈ Ob(C), Y ∈ Ob(C') and an isom
O'Reilly Webinar: Designing Type-Safe Haskell APIs
Yesod is a Haskell web framework for productive development of type-safe, RESTful, high performance web applications. August 6, 2012By Michael SnoymanView source on Github I'm going to be giving a webinar with O'Reilly this Thursday (10 AM Pacific) titled "Designing Type-Safe Haskell APIs." If the topic interests you, please sign up. I'd love to see you all there (figuratively speaking, of course)
不二子は出ません
荒野の三人 おれの名はルパン。かの怪盗アルセーヌ・ルパンの孫にして、稀代の大泥棒だ。信頼すべき相棒、次元と五ヱ門とともに世界を股にかけ、数々の財宝を荒らしまわってきた。あっちに立っているのがその次元。銃の名手で狙った獲物は外さない。もう一人、あそこに立っているのが五ヱ門。日本の義賊、石川五右衛門の子孫で剣の使い手。だが、今日は不慣れな拳銃を持っている。なぜだ。 ほんとうに、なぜだ。おれは、どうしてなのかよくまとまらない思考を必死で操って、どうやら状況を飲み込んだ。状況説明１。ここはどことも知れない野っぱらだ。三人が十メートルほどの間隔を空けて、正三角形をなすように立っている。周囲にはちょっとした草木も生い茂っているが、三人の間にはとりあえず障害物はない。状況説明２。おれはかなり酔っている。酒のせいか、それとも他の何かの薬か毒のせいなのか、足元はふらふら、握り締めたワルサーの銃把の感触もおぼ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
