{"id":"arxiv/2609.06935","url":"https://arxiv.org/abs/2609.06935","tags":["math.CT","math-ph","math.AT"],"score":0,"title":"Models for dagger $(\\infty,1)$-categories II: Dagger complete Segal spaces and the Joyal--Tierney equivalence","domain":"math.CT","source":"arxiv","authors":["Keima Akasaka"],"reviews":0,"subject":"math.CT","summary":"Building on the dagger Bergner and dagger Joyal models constructed in Part I, we develop simplicial-space models for dagger $(\\infty,1)$-categories. We first construct a homotopically constant resolution model and a model structure for unitarily complete dagger Segal spaces. A change-of-index adjunction compares the two presentations of dagger simplicial spaces. We then prove a dagger analogue of the Joyal--Tierney Quillen equivalence. Together with Part I, these results give a chain of Quillen equivalences between the dagger Bergner, dagger Joyal, and dagger Rezk models.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}