نتایج جستجو برای: reflective category

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

Journal: :Electr. Notes Theor. Comput. Sci. 2004
Ling Cheung Jesse Hughes

We investigate the conditions under which least bisimulations exist with respect to set inclusion. In particular, we describe a natural way to remove redundant pairs from a given bisimulation. We then introduce the conciseness property on process graphs, which characterizes the existence of least bisimulations under the aforementioned method. Subsequently, we consider the category of process gr...

1995
Milan M. Jovanovic Milo Tomasevic Veljko M. Milutinovic

The Reflective Memory/Memory Channel @h&UC) system represents a modular bus-based system architecture that belongs to the class of distrtbuted shared memory systems. The RWMC system is characterized by an update consistenqv mechanism for shared data and egicient block transfers over the bus. This worh has tnw main goals. First, an extensive simulation anat’ysis using the firnch’onal Ru/MC simul...

2012
MICHAEL SHULMAN

We prove a general theorem which includes most notions of “exact completion” as special cases. The theorem is that “κ-ary exact categories” are a reflective sub-2-category of “κ-ary sites”, for any regular cardinal κ. A κ-ary exact category is an exact category with disjoint and universal κ-small coproducts, and a κ-ary site is a site whose covering sieves are generated by κ-small families and ...

2003
Kazuya Kitsunai Hidenori Kobayashi Nobuyuki Yamasaki Yuichiro Anzai

In this paper, we propose real-time communication middleware which supports data dissemination with proxy extension. To fulfill stringent QoS requirement such as timing constraint, we employ push-based data delivery approach and real-time channel. Furthermore, by making the most of connected clients, we could permit the increased number of clients and extend the scalability. Since it is also de...

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده ادبیات و علوم انسانی 1392

in this study, the relationship between teachers’ creative and critical thinking skills and their reflectivity in teaching was investigated. to this end, three questions were raised. these questions were intended to determine whether there was a significant relationship between teachers’ creative thinking skills and their reflectivity in teaching; whether there was a significant relationship be...

Journal: :Filomat 2021

In this paper, for a complete residuated lattice L, we present the categorical properties of ?-neighborhood spaces and their relationships to neighborhood stratified L-neighborhood spaces. The main results are: (1) category is topological category; (2) can be embedded in as reflective subcategory, when L meet-continuous lattice, subcategory; (3) continuous (resp., spaces) simultaneously corefle...

2009
PHILIPPE GAUCHER P. GAUCHER

Cattani-Sassone’s notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher dimensional transition system associated with the labelled n-cube turns out to be the free higher dimensional transition system generated by one n-dimensional...

Patient engagement practices are increasingly incorporated in health research, governance, and care. More recently, a large number of evaluation tools and metrics have been developed to support engagement evaluation. This growing interest in evaluation reflects a maturation of the patient engagement field, moving from a “craft” to a reflective “art and science,” with more explicit expected bene...

2008
BERNHARD BANASCHEWSKI

This paper deals with several aspects of epimorphisms in the category MFrm of metric frames and contractive homomorphisms. In particular, it is shown that (i) the epicomplete metric frames are uniquely determined by the power-set lattices of sets, (ii) episurjective is the same as Boolean, (iii) a metric frame has an epicompletion iff it is spatial, and (iv) the subcategory of epicomplete L in ...

Journal: :Electr. Notes Theor. Comput. Sci. 2003
Clemens Kupke Alexander Kurz Yde Venema

In this paper we argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor on the category of sets. We prove that the so-called descriptive general frames, which play a fundamental role in the semantics of modal logics, can be seen as Stone coalgebras in a natural way. T...

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

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