TITLE

A Cartesian Closed Category of Event Structures with Quotients

AUTHOR(S)
Abbes, Samy
PUB. DATE
June 2006
SOURCE
Discrete Mathematics & Theoretical Computer Science (DMTCS);Jun2006, Vol. 8 Issue 3, p249
SOURCE TYPE
Academic Journal
DOC. TYPE
Article
ABSTRACT
We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of quotient event structure is defined within it. We study in particular the topological space of maximal configurations of quotient event structures. We introduce the compression of event structures as an example of quotient: the compression of an event structure E is a minimal event structure with the same space of maximal configurations as E.
ACCESSION #
25813435

 

Related Articles

  • On ?�-Continuous Functions. Aljarrah, Heyam Hussein; Md Noorani, Mohd Salmi // European Journal of Pure & Applied Mathematics;2012, Vol. 5 Issue 2, p129 

    A subset A of topological space (X,p) is said to be ?�-open [3] if for every x e A there exists an �-open set U containing x such that U - A is a countable. In this paper, we introduce and study new class of function which is ?�-continuous functions by using the notion of...

  • A Cartesian Closed Category of Event Structures with Quotients. Abbes, Sammy // Discrete Mathematics & Theoretical Computer Science (DMTCS);Dec2005, Vol. 8 Issue 2, p249 

    We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of quotient event structure is defined within it. We study in particular the topological space of maximal configurations of quotient event structures. We introduce the...

  • On a new category of fuzzy sets. Agnes, A. R. Porselvi; Sivaraj, D.; Chelvam, T. Tamizh // Journal of Advanced Research in Pure Mathematics;2010, Vol. 2 Issue 4, p73 

    We introduce the concept of a morphism between fuzzy sets, which enables us to define the category of fuzzy sets. Next, we give elementwise characterization of some special morphisms in this category which will be useful for later studies. We prove that unlike the category of sets, this category...

  • Fuzzy Generalized Preregular Continuous Mappings in Fuzzy Topological Spaces. Vadivel, A.; Devi, K.; Sivakumar, D. // Journal of Advanced Studies in Topology;2013, Vol. 4 Issue 1, p22 

    In this paper the concepts of fgpr-continuous, fgpr-irresolute functions and fgpr-homeomorphism have been introduced and studied. we also introduce the concepts of fgpr-open and fgpr-closed mappings in fuzzy topological spaces.

  • THE FUNDAMENTAL 2-CROSSED COMPLEX OF A REDUCED CW-COMPLEX. MARTINS, JOÃO FARIA // Homology, Homotopy & Applications;2011, Vol. 13 Issue 2, p129 

    We define the fundamental 2-crossed complex Ω∞(X) of a reduced CW-complex X from Ellis' fundamental squared complex ρ∞(X) thereby proving that Ω∞(X) is totally free on the set of cells of X. This fundamental 2-crossed complex has very good properties with regard to the...

  • Tree-systems of morphisms. Dassow, Jürgen; Păun, Gheorghe; Thierrin, Gabriel; Yu, Sheng // Acta Informatica;2001, Vol. 38 Issue 2, p131 

    Starting from the idea of determinism in membrane systems, we introduce a language generating device consisting of morphisms placed in the nodes of a tree. Initial strings are given in the leaves; by iteratively applying the morphisms to them, we produce new strings, which are collected in the...

  • DESCENT FOR COMPACT 0-DIMENSIONAL SPACES. Janelidze, George; Sobral, Manuela // Theory & Applications of Categories;2008, Vol. 21, p182 

    Using the reflection of the category C of compact 0-dimensional topological spaces into the category of Stone spaces we introduce a concept of a fibration in C. We show that: (i) effective descent morphisms in C are the same as the surjective fibrations; (ii) effective descent morphisms in C...

  • ANALYTIC FUNCTORS AND WEAK PULLBACKS. Adámek, J.; Velebil, J. // Theory & Applications of Categories;2008, Vol. 21, p191 

    For accessible set-valued functors it is well known that weak preservation of limits is equivalent to representability, and weak preservation of connected limits to familial representability. In contrast, preservation of weak wide pullbacks is equivalent to being a coproduct of quotients of...

  • REMARKS ON EXACTNESS NOTIONS PERTAINING TO PUSHOUTS. GARNER, RICHARD // Theory & Applications of Categories;2012, Vol. 27 Issue 3, p2 

    We call a finitely complete category diexact if every difunctional relation admits a pushout which is stable under pullback and itself a pullback. We prove three results relating to diexact categories: firstly, that a category is a pretopos if and only if it is diexact with a strict initial...

Share

Read the Article

Courtesy of THE LIBRARY OF VIRGINIA

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics