section_heading: Definicija
paragraph_text: Kvazikategorija C je simplicijalni skup koji zadovljava unutarnje Kanove uvjete (slabe Kanove uvjete): svaki unutarnji rog u C, tj. preslikavanje simplicijalnih skupova <math>\Lambda^k[n]\to C</math> gdje je <math>0<k<n</math>, ima proširenje do preslikavanja <math>\Delta[n]\to C</math>.