https://123deta.com/document/yng29xw1-model-structure-on-internal-categories-in-simplicial-sets.html