{"id":"arxiv/2608.28355","url":"https://arxiv.org/abs/2608.28355","tags":["math.AT","math.CT"],"score":0,"title":"About the contractibility of the walking coinductive equivalence","domain":"math.AT","source":"arxiv","authors":["Viktoriya Ozornova","Martina Rovelli","Tashi Walde"],"reviews":0,"subject":"math.AT","summary":"We study the marked simplicial set obtained as the Roberts-Street nerve of the walking coinductive equivalence. We show that it is a non-contractible saturated complicial set for which all of its finite truncations are contractible. When regarding saturated complicial sets as a model for right $(\\infty,\\infty)$-categories, it represents a concrete and explicit example of a right $(\\infty,\\infty)$-category that is itself non-contractible, but whose reflection to a left $(\\infty,\\infty)$-category is contractible.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-28","reactions":{}}