Keima Akasaka

collaborators

3 papers

math.CT2026

Models for dagger $(\infty, 1)$ -categories III: Univalent flagged dagger $(\infty, 1)$ -categories and unitarily complete dagger Segal anima

Keima Akasaka

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)$ -cat…

math.CT2026

Models for dagger $(\infty, 1)$ -categories II: Dagger complete Segal spaces and the Joyal--Tierney equivalence

Keima Akasaka

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 homotopica…

math.CT2026

Models for dagger $(\infty, 1)$ -categories I: Dagger simplicial sets and unitary cores

Keima Akasaka

We develop simplicial-set models for dagger $(\infty, 1)$ -categories. We first establish a model structure on dagger simplicial categories whose weak equivalences are local weak equ…

Models for dagger (∞,1)-categories III: Univalent flagged dagger (∞,1)-categories and unitarily complete dagger Segal anima

Models for dagger (∞,1)-categories II: Dagger complete Segal spaces and the Joyal--Tierney equivalence

Models for dagger (∞,1)-categories I: Dagger simplicial sets and unitary cores

Models for dagger $(\infty, 1)$ -categories III: Univalent flagged dagger $(\infty, 1)$ -categories and unitarily complete dagger Segal anima

Models for dagger $(\infty, 1)$ -categories II: Dagger complete Segal spaces and the Joyal--Tierney equivalence

Models for dagger $(\infty, 1)$ -categories I: Dagger simplicial sets and unitary cores