Author: mattecapu Format: MarkdownItexIntuition about the role of implicative algebras in the theory of triposes: they are like locale for the theory of Grothendieck topoi
<a href="https://ncatlab.org/nlab/revision/implicative+algebra/1">v1</a>, <a href="https://ncatlab.org/nlab/show/implicative+algebra">current</a>
Intuition about the role of implicative algebras in the theory of triposes: they are like locale for the theory of Grothendieck topoi