---
aliases: ["quasicategories"]

---

- A model for [infinity categories](infinity categories.md).
- [simplicial set](simplicial set.md) satisfying the weak Kan condition: inner horns admit some filler. 
	- An ordinary category is a simplicial set in which every inner horn admits a *unique* filler.
- See Joyal model structure

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