@misc{indiciae9bb028418a3c,
  title = {A Logic of Injectivity},
  author = {J. Adamek and M. Hebert and L. Souza},
  year = {2007},
  url = {https://arxiv.org/abs/0709.2461},
  note = {Source identifier: 0709.2461}
}