@misc{indiciae2fd23a49a4ca,
  title = {Galois connection for multiple-output operations},
  author = {Emil Jeřábek},
  year = {2017},
  doi = {10.1007/s00012-018-0499-7},
  url = {https://arxiv.org/abs/1612.04353},
  note = {Source identifier: 1612.04353}
}