نتایج جستجو برای: regular lindelof coreflection

تعداد نتایج: 121611  

2010
ROY A. JOHNSON ELIZA WAJCH Dennis Burke W. WILCZYNSKI

The purpose of this paper is to introduce and investigate cardinal functions called pseudonet weight, weak net weight, and weak pseudonet weight. These are similar to but generally smaller than net weight. We look at how these cardinal functions relate to hereditary Lindelöf degree, hereditary density, and spread, and we study their behavior under products. An important and useful cardinal func...

Journal: :International Journal of Mathematics and Mathematical Sciences 1994

2010
A. Schauerte

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...

2002
Paolo Baldan Andrea Corradini Ugo Montanari Leila Ribeiro

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 ...

1992
José Meseguer Ugo Montanari Vladimiro Sassone

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 ...

2006
Vladimiro Sassone

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...

1999
Axel Völker Peter Kopietz

We develop a novel eikonal expansion for the Cooperon to study the effect of spaceand time-dependent electric fields on the dephasing rate of disordered conductors. For randomly fluctuating fields with arbitrary covariance we derive a general expression for the dephasing rate which is free of infrared divergencies in reduced dimensions. For time-dependent external fields with finite wavelength ...

Journal: :Visnyk Lvivskogo Universytetu. Seriya Mekhaniko-Matematychna 2019

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید