TY - RPRT TI - Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete $C^{*}$-categories AU - Simon Henry PY - 2015 UR - https://arxiv.org/abs/1501.07045 ID - 1501.07045 ER -