Segal spaces

The appropriate notion of weak category in ∞-groupoids is that of Rezk complete Segal space

attachments/Pasted%20image%2020210514224849.png

attachments/Pasted%20image%2020210514224913.png