Compactifications of biframes are defined, and characterized internally by means of strong inclusions. The existing description of the compact, zero-dimensional coreflection of a biframe is used to characterize all zero-dimensional compactifications, and a criterion identifying them by their strong inclusions is given. In contrast to the above, two sufficient conditions and several examples sho...

Semi-regular locales are extensions of the classical semiregular spaces. We investigate the conditions such that semi-regularization is a functor. We also investigate the conditions such that semi-regularization is a reflection or coreflection.

The problem of extending to graph grammars the unfolding semantics originally developed by Winskel for (safe) Petri nets has been faced several times along the years, both for the single-pushout and double-pushout approaches, but only partial results were obtained. In this paper we fully extend Winskel’s approach to single-pushout grammars providing them with a categorical concurrent semantics ...

Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the “token game” is too intensional, even in its more abstract interpretations in term of nonsequential processes and monoidal categories; on the other hand, Winskel’s basic unfolding construction, which provides a coreflection ...

Let X,Y be realcompact spaces or completely regular spaces consisting of Gδ-points. Let φ be a linear bijective map from C(X) (resp. C(X)) onto C(Y ) (resp. C(Y )). We show that if φ preserves nonvanishing functions, that is, f(x) 6= 0,∀x ∈ X, ⇐⇒ φ(f)(y) 6= 0,∀ y ∈ Y, then φ is a weighted composition operator φ(f) = φ(1) · f ◦ τ, arising from a homeomorphism τ : Y → X. This result is applied al...

We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the category of Petri nets to an appropriate category of symmetric strict monoidal categories, in the precise sense that, for each net N , the strongly concatenable processes of N are isomorphic to the arrows of Q[N ]. In addition, w...

Recall that a continuous function $fcolon Xto Y$ between Tychonoff spaces is proper if and only if the Stone extension $f^{beta}colon beta Xtobeta Y$ takes remainder to remainder, in the sense that $f^{beta}[beta X-X]subseteq beta Y-Y$. We introduce the notion of ``taking remainder to remainder" to frames, and, using it, we define a frame homomorphism $hcolon Lto M$ to be $beta$-proper, $lambd...