@misc{indiciaed10d3d942c33,
  title = {Categories with negation},
  author = {Jaiung Jun and Louis Rowen},
  year = {2018},
  url = {https://arxiv.org/abs/1709.03186},
  note = {Source identifier: 1709.03186}
}