51 citations · 273 across the 33 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.LO2012★ 32 cited
Strongly Complete Logics for Coalgebras
Alexander Kurz, Jiri Rosicky
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In parti…
math.CT2012
Rigidification of algebras over essentially algebraic theories
J. Rosicky
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…
math.AT2012★ 4 cited
A generalization of Ohkawa's theorem
Carles Casacuberta, Javier J. Gutiérrez, Jirí Rosický
A theorem due to Ohkawa states that the collection of Bousfield equivalence classes of spectra is a set. We extend this result to arbitrary combinatorial model categories.