搜索结果: 1-1 共查到“范畴论 Cat”相关记录1条 . 查询时间(0.052 秒)
A colimit decomposition for homotopy algebras in Cat
A colimit decomposition homotopy algebras Cat Category Theory
2012/6/25
Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts Rosicky o...