Just $ A sandbox

プログラミングと計算機科学とかわいさ

2017-04-23から1日間の記事一覧

functor, あるいはarrow equalityについて

Category TheoryのFormalizationがらみの話。 Category TheoryのFormalizationをするときは、基本的にSetoid-enrichedでやるのが筋がよいということはこの業界(?)では有名な話だし、少し前のブログ記事にも書いたのでそのことを前提として次のようなことを…