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

![](attachments/Pasted image 20210514224849.png)

![](attachments/Pasted image 20210514224913.png)