Let ~ C be a category whose objects are semigroups with topology and morphisms are closed semigroup relations, in particular, continuous homomorphisms. An object X of the category ~ C is called ~ C-closed if for each morphism Φ ⊂ X×Y in the category ~ C the image Φ(X) = {y ∈ Y : ∃x ∈ X (x, y) ∈ Φ} is closed in Y. In the paper we survey existing and new results on topological groups, which are ~...

This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels ...

This talk aims at presenting a new way of approaching topological structures, induced by recent developments in the eld of lattice-valued topology, and deemed to incorporate in itself both crisp and many-valued settings. Based on category theory and universal algebra, the new framework is called categorically-algebraic (catalg) [9-12], to underline its motivating theories, on one hand, and to d...