圏論に基礎をおく集合論の一種。
ttp://www.rbjones.com/rbjpub/logic/jrh0111.htm