搜索结果: 1-2 共查到“理学 algebraic theories”相关记录2条 . 查询时间(0.093 秒)
Rigidification of algebras over essentially algebraic theories
homotopy limit theory homotopy model rigidification
2012/6/18
Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from...
We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured o...