最小抽象ファイルシステム(Minimum Abstract Filesystem; mafs)の仕様案を述べました。 最小抽象ファイルシステムの仕様案 最小抽象ファイルシステムの仕様案 その2 最小抽象ファイルシステムの仕様案 その3 なんでこんなことを考えたのかを書いてみます。…
入門シリーズは途絶えて久しい、「番外」記事ばっか。… ^^;集合圏はよくSetと書き表しますが、これは、単に「対象が集合である圏」というだけでなくて、射が写像(関数)であることも一緒に表しているのです。対象として集合を採用しても、射が異なればまっ…