Models for dagger $(\infty,1)$-categories III: Univalent flagged dagger $(\infty,1)$-categories and unitarily complete dagger Segal anima
We identify the $(\infty,1)$-category presented by the dagger Bergner, dagger Joyal, and dagger Rezk models of Parts I and II with that of univalent flagged dagger $(\infty,1)$-categories. We first construct a realization--nerve adjunction between reversal simplicial anima and Hermitian flags. We prove that its nerve restricts to an equivalence between flagged dagger $(\infty,1)$-categories and dagger Segal anima, under which univalence corresponds to unitary completeness. We then construct the adjunctions for univalentization and Hermitian completion and identify univalentization with…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.17311
curl -X POST /api/v1/records/arxiv/2610.17311/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.17311/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'