構造集合論

数学において、構造的集合論は、集合を抽象的な構造として捉えるアプローチである。これは、メンバーシップを重視するより伝統的なZFC集合論とは対照的である。代表的な例として、関数を介した集合間の関係に基づいて集合を識別するLawvereのElementary Theory of the Category of Setsが挙げられる。別の例としては、SEAR（Sets, Elements, And Relations）がある。^{[ 1 ]}

「構造的」という形容詞は、数学哲学における構造主義に由来する。

• Shulman, Michael (2019年4月1日). 「物質集合論と構造集合論の比較」 . Annals of Pure and Applied Logic . 170 (4): 465–504 . arXiv : 1808.05204 . doi : 10.1016/j.apal.2018.11.002 . ISSN 0168-0072 . 
• フランソワ・G・ドライ、カントールに戻る？、ブログ投稿

• nLabにおける構造集合理論
• https://mathoverflow.net/questions/90820/set-theories-without-junk-theorems