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

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

Journal: :Journal of Mathematical Analysis and Applications 1983

Journal: :Cuadernos del Centro de Estudios en Diseño y Comunicación 2021

El artículo tiene como propósito establecer un diálogo entre Watchmen, el cómic de Alan Moore y Dave Gibbons, su continuación televisiva, realizada bajo la dirección creativa Damon Lindelof. Este se establece sobre contenido político ambas obras, puntualmente en crítica al neoliberalismo régimen económico. Argumentamos que espacio temático narrativo tanto del serie es similar porque ambos const...

Journal: :journal of linear and topological algebra (jlta) 0
sh sahebi department of mathematics, faculty of science, islamic azad university, central tehran branch, po. code 14168-94351, tehran, iran m azadi department of mathematics, faculty of science, islamic azad university, central tehran branch, po. code 14168-94351, tehran, iran

r is called commuting regular ring (resp. semigroup) if for each x,y $in$ r thereexists a $in$ r such that xy = yxayx. in this paper, we introduce the concept of commuting$pi$-regular rings (resp. semigroups) and study various properties of them.

1999
Jetty Kleijn Rémi Morin Brigitte Rozoy

Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary property. We consider the problem of lifting the categorical connection between prime event structures and Mazurkiewicz’ traces to this more general setting. Using a generic approach it is shown how certain subcategories ...

Journal: :Logical Methods in Computer Science 2010
Thorsten Altenkirch James Chapman Tarmo Uustalu

We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed λ-calculus syntax and indexed containers. We show that the Kleisli and Eilenberg-Moore constructions carry over to relative monads and are related to relative adjunctions. Under reasonable assumptions...

Journal: :Mathematical Structures in Computer Science 1998
Vladimiro Sassone

We introduce the notion of strongly concatenable process as a refinement of concatenable processes (Degano et al. 1996) 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...

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

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