トポスにおいて、モノ射かつエピ射な射のことを同型射という

定義

圏\mathscr{A}がCCCであり、部分対象分類子をもつとき、これをトポスと呼ぶ

「集合圏」を定義してから、その対象である「集合」を定義する

参考