@第{zbMATH07382067条，作者={舒尔曼，迈克尔}，Title={对称单体范畴的实用类型理论}，FJournal={范畴理论与应用}，期刊={理论应用分类}，ISSN={1201-561X}，体积={37}，页码={863--907}，年份={2021}，语言={英语}，关键词={18M05,18M85,03B47,18N45}，URL={www.tac.mta.ca/tac/volumes/37/25/37-25abs.html}，zbMATH={7382067}，Zbl={1474.18031}}