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

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

2012
Grzegorz Dymek

The category psBCI of pseudo-BCI-algebras and homomorphisms between them is investigated. It is also shown that the category psBCIp of p-semisimple pseudo-BCI-algebras and homomorphisms between them is a reflective subcategory of psBCI.

Journal: :Mathematical Structures in Computer Science 2005
Reinhold Heckmann

We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves products and all exponentials of exponentiable locales.

Journal: :Transactions of the American Mathematical Society 1969

2013
Grzegorz Dymek W. A. Dudek G. Dymek

The category psBCI of pseudo-BCI-algebras and homomorphisms between them is investigated. It is also shown that the category psBCIp of p-semisimple pseudo-BCI-algebras and homomorphisms between them is a reflective subcategory of psBCI.

Journal: :iranian journal of fuzzy systems 2009
wei yao

based on a complete heyting algebra l, the relations between lfuzzifyingconvergence spaces and l-fuzzifying topological spaces are studied.it is shown that, as a reflective subcategory, the category of l-fuzzifying topologicalspaces could be embedded in the category of l-fuzzifying convergencespaces and the latter is cartesian closed. also the specialization l-preorderof l-fuzzifying convergenc...

2002
LURDES SOUSA

In several familiar subcategories of the category Top of topological spaces and continuous maps, embeddings are not pushoutstable. But, an interesting feature, capturable in many categories, namely in categories B of topological spaces, is the following: ForM the class of all embeddings, the subclass of all pushout-stable M-morphisms (that is, of those M-morphisms whose pushout along an arbitra...

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

Journal: :Applied Categorical Structures 1994
Francis Borceux Enrico M. Vitale

There are various doctrines wherein theories are small categories and the models of a theory constitute a full subcategory of the category of functors from the theory to sets. We define the notion of bimodel at the nondoctrinaire level where those specified subcategories are arbitrary; as a first application we look for a classification of the equivalences between categories of models. We obtai...

2008
FRANCIS BORCEUX MARINO GRAN SANDRA MANTOVANI Francis Borceux Marino Gran Sandra Mantovani

A protolocalisation of a regular category is a full reflective regular subcategory, whose reflection preserves pullbacks of regular epimorphisms along arbitrary morphisms. We devote special attention to the epireflective protolocalisations of an exact Mal’cev category; we characterise them in terms of a corresponding closure operator on equivalence relations. We give some examples in algebra an...

Journal: :iranian journal of fuzzy systems 0
zhen-yu xiu college of applied mathematics, chengdu university of information technology, chengdu 610000, p.r. china fu-gui shi chool of mathematics and statistics, beijing institute of technology, beijing 100081, p.r. china

in this paper,  we introduce  the notion of $m$-fuzzifying interval spaces, and discuss the relationship between $m$-fuzzifying interval spaces and $m$-fuzzifying convex structures.it is proved that  the category  {bf mycsa2}  can be embedded in  the category  {bf  myis}  as a reflective subcategory, where  {bf mycsa2} and   {bf  myis} denote  the category of $m$-fuzzifying convex structures of...

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

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