@misc{indiciae61953518bc78,
  title = {Some Properties of Internal Locale Morphisms Externalised},
  author = {Joshua Wrigley},
  year = {2023},
  doi = {10.70930/tac/6xnz7nby},
  url = {https://arxiv.org/abs/2301.00961},
  note = {Source identifier: 2301.00961}
}