Effective_topos
数学では、効果的なトポスは、マーティン・ハイランド （1982 ）によって導入されたトポスであり、 Kleeneの再帰的実現可能性の概念に基づいており、数学の有効性の概念を捉えています。
参考文献
ハイランド、JME（1982）、「効果的なトポス」、トロエルストラ、AS; Dalen、D。van（eds。）、LEJ Brouwer Centenary Symposium（Noordwijkerhout、1981）、Studies in Logic and the Foundations of Mathematics、vol。110、アムステルダム：北ホラント、pp。165–216、doi：10.1016 / S0049-237X（09）70129-6、ISBN 978-0-444-86494-9、MR 0717245
クリーネ、SC（1945）。「直観的な数論の解釈について」。シンボリックロジックジャーナル。10（4）：109–124。土井：10.2307 / 2269016。JSTOR2269016 。_
Phoa、Wesley（1992）、ファイブレーションの紹介、トポス理論、効果的なトポスと控えめなセット
ベルナデット、アレクシス; Graham-Lengrand、Stéphane（2013）。「効果的なトポスの簡単なプレゼンテーション」。arXiv：1307.3832。
この圏論関連
“