俺様 scala.vim を作成中に出くわした Scala の syntax の(知らなくてよさそうな)仕様について･･･ Unicode escape \u1234のような形は tokenize に先立ち unicode文字にエスケープされる: val \u0061b = 3 // val ab = 3 uは何個ついてもok: val \uuuuuu0061…

型推論クイズ - PS とはかけ離れたかもしれない怪しいレポート。 準備 以下の記事は、Scala 2.11.4 および Scala言語仕様 (pdf) (以下、SLS) の June 11, 2014 版を使用しています。また、scala.Singleton - PS に誤りがあり訂正しているので合わせてご覧く…

この投稿は Scala Advent Calendar 2014 - Qiita の24日目の記事です。 前の日の記事: Scala - spray-routingにPlay2ライクなコントローラを導入する - Qiita 次の日の記事: L'Architecture systèmatique [JP]: Patterns on Scala この記事についてのレポー…

記法 2-category: について と書くことにする。 2-category laws n-Category - PS の定義により (associativity) (left unitality) (right unitality) さらに、 の Bifunctoriality - PS より (interchange) (sliding) が成立する。 2-category of small cat…

記法 Under category (Coslice category) *1 Error monad Functor: と forgetful functor: について *2 となるが、この adjunction の associated monad が error monad。 Error monad transformer Adjunction からの monad transformer - PS から functor: …

戦略 任意の monad: について Universal associated adjunctions - PS より少なくとも二通りの -associated adjunction: が作れたので Adjunction からの monad transformer - PS より functor: を作ることが出来る。 問題点 上記の functor の domain が に…

(と呼ぶかは分からない) Kan extension の族から ある functor: について、right kan extension along の族: つまり -terminal morphism の族が存在すれば、Pointwise construction of adjoints - PS より となるような functor: を作れる。 Kan extension …

命題 bifunctor: homset-adjunction の族: について は natural なる bifunctor: がただ一つ存在する。 証明 Conjugate - PS の命題と Bifunctor lemma - PS による。 参考文献 Categories for the Working Mathematician (Graduate Texts in Mathematics)

Adjunction from to Adjunction: を便宜上 adjunction from to と呼ぶことにする: Conjugate Homset-adjunction from to : について を commute にする natural transformation のペア: を conjugate という。 命題 Adjunction from to : および natural tra…