@misc{indiciaed3709a2d70cd,
  title = {Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete \$C\textasciicircum{}\{*\}\$-categories},
  author = {Simon Henry},
  year = {2015},
  url = {https://arxiv.org/abs/1501.07045},
  note = {Source identifier: 1501.07045}
}