@misc{sumire:2610.00003:42:v2,
  author = {hora},
  title = {{Games の ex/reg 完備化は層 topos}},
  year = {2026},
  note = {SUMIRE:2610.00003/42, v2},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/42/v/2}
}