Quasicategory (source code)

= Quasicategory
{wiki}

A quasicategory is a simplicial set in which every <inner horn> has a filler.