Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Briet, Marcus"'
Autor:
Berg, Benno van den, Briet, Marcus
In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as well as various realizability toposes, in particular, those realizabilit
Externí odkaz:
http://arxiv.org/abs/2308.14096
