@misc{indiciaec273019a5511,
  title = {A formulation of D-institution using functor categories},
  author = {Go Hashimoto},
  year = {2026},
  url = {https://arxiv.org/abs/2605.03597},
  note = {Source identifier: 2605.03597}
}