Entries from 2009-09-17 to 1 day
昨日の続き。Ω は set functor で (や、その添え字のついたやつら) は Ω-coalgebra とします。 relation lifting ここからさらに圏論の香りが強くなります。嬉しい。関係 の relation lifting とは、図式 を Ω で写した から定まる の像のこと。これを と書…
昨日の続き。Ω は set functor で (や、その添え字のついたやつら) は Ω-coalgebra とします。 relation lifting ここからさらに圏論の香りが強くなります。嬉しい。関係 の relation lifting とは、図式 を Ω で写した から定まる の像のこと。これを と書…