ultraproduct as a colimit
ultraproduct がいつまで経っても理解できた気にならないのですが、どうもその原因はよく見かける定義が無駄に具体的であるせいではないかと思い、抽象的な特徴づけを考えました。結果自体はたぶん既知でしょう。*1
F を集合 I 上の ultrafilter とし、 を集合族とする。各 について を で定義する。
このとき は F から集合の圏への反変関手になる。実際、inclusion を自然な射影 へ写せば関手の条件を満たす。
この関手の colimit が の ultraproduct over F である。
ということで、ultraproduct は filtered colimit の特別な場合らしいです。あと上の議論で F が ultra であることは使ってません。
*1:それでも自分で予想して証明することに意義があるのです