45 citations · 96 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.CT2014
An elementary characterisation of sifted weights
Matěj Dostál, Jiří Velebil
Sifted colimits (those that commute with finite products in sets) play a major role in categorical universal algebra. For example, varieties of (many-sorted) algebras are precisely…
math.CT2014★ 10 cited
Positive fragments of coalgebraic logics
Adriana Balan, Alexander Kurz, Jiří Velebil
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization tha…