なんで、忘却関手や具象圏の定義が必要だったかというと、半テンソル圏を定義するため。まず、V-モノイド圏からはじめる。Vが普通の意味でのモノイド圏だとして、CがVで豊饒化された圏、つまり、V-圏だとして、V-圏としてのテンソル積C×C -- i.e. (C×C)[(A, …

忘却関手、具象圏、構成関手 - 檜山正幸のキマイラ飼育記 メモ編、一般忘却関手 - 檜山正幸のキマイラ飼育記 メモ編 の続き。普遍的な忘却先(?)としてSetを考える（これも相対化できるが、キリがないから止める）。圏BとCは、標準的（canonical）な忘却関手U…