7 citations · 12 across the 11 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 7 cited
Limits in Categories of Vietoris Coalgebras
Dirk Hofmann, Renato Neves, Pedro Nora
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topologic…
math.CT2016
Enriched Stone-type dualities
Dirk Hofmann, Pedro Nora
A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice. Due to this fact, we can o…