TY-JOUR公司澳大利亚-卡贝洛，J.G。TI-简单组作为$n$-类型的模型JO-Cahiers de Topologie et Géométrie Différentiele Cate goriques公司1997年上半年第67页第92页VL-38IS-1标准PB-加拿大国家广播电台公共广播电台UR-（欧元）http://www.numdam.org/item/CTGDC_1997__38_1_67_0/LA-英语ID-CTGDC_1997__38_1_67_0呃-