2009-05-24から1日間の記事一覧
昨日、かなり飲みすぎてどうなるかと思ったが、二日酔いをギリギリ回避して参加した。 今日は、関手、自然変換、圏のベキ、直和、coequalizer、pushout、epi。 関手 例はしりとり圏->MAN(Modified Addition)のlength関手。 自然変換 例がなかなか見つからず…
昨日、かなり飲みすぎてどうなるかと思ったが、二日酔いをギリギリ回避して参加した。 今日は、関手、自然変換、圏のベキ、直和、coequalizer、pushout、epi。 関手 例はしりとり圏->MAN(Modified Addition)のlength関手。 自然変換 例がなかなか見つからず…