@misc{sumire:2610.00003:23:v4,
  author = {hora},
  title = {{A relational obstruction to transport through a quotient}},
  year = {2026},
  note = {SUMIRE:2610.00003/23, v4},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/23/v/4}
}