格雷格·奥基夫 🌐
2005年4月21日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
类别-AFP
@文章{类别-AFP,作者={格雷格·奥基夫},title={Yoneda引理的范畴理论},journal={正式证据存档},月={四月},年份={2005},注释={\url{https://isa-afp.org/entries/Category.html},形式证明开发},ISSN={2150-914x},}
旧版本: