Red cat の数学よもやま話・新装開店

はてなダイアリー「Red cat の数学よもやま話」から徐々にこちらに移行していきます。

2018-01-11から1日間の記事一覧

楽しい圏論(その 14)

トポスの定義 圏 がデカルト閉圏(cartesian closed category, CCC) であるとは, 以下の三つの函手が特定の右随伴を持つことを言います. これらの右随伴は ( は終対象) なので, CCC とは「終対象と(有限)積と冪が存在する圏」と言い換えることができます.圏 …