Segal spaces, spans, and semicategories

Abstract

We show that Segal spaces, and more generally category objects in an -category , can be identified with associative algebras in the double -category of spans in . We use this observation to prove that “having identities” is a property of a non-unital -category.