TY  - RPRT
TI  - Models for dagger $(\infty,1)$-categories III: Univalent flagged dagger $(\infty,1)$-categories and unitarily complete dagger Segal anima
AU  - Keima Akasaka
PY  - 2026
UR  - https://arxiv.org/abs/2610.17311
ID  - 2610.17311
ER  -