منابع مشابه
Equivalences in Bicategories
In this paper, we establish some connections between the concept of an equivalence of categories and that of an equivalence in a bicategory. Its main result builds upon the observation that two closely related concepts, which could both play the role of an equivalence in a bicategory, turn out not to coincide. Two counterexamples are provided for that goal, and detailed proofs are given. In par...
متن کاملOn Monoidal Equivalences and Ann-equivalences
The equivalence between a monoidal category and a strict one has been proved by some authors such as Nguyen Duy Thuan [8], Christian Kassel [2], Peter Schauenburg [7]. In this paper, we show another proof of the problem by constructing a strict monoidal category M(C) consisting of M -functors and M morphisms of a category C and we prove C is equivalent to it. The proof is based on a basic chara...
متن کاملBehavioral Equivalences
DEFINITION: Beahvioral equivalences serve to establish in which cases two reactive (possible concurrent) systems offer similar interaction capabilities relatively to other systems representing their operating environment. Behavioral equivalences have been mainly developed in the context of process algebras, mathematically rigorous languages that have been used for describing and verifying prope...
متن کاملCoglueing Homotopy Equivalences
in which the front square is a pull-back. Then P is often called the fibre-product o f f and p, and it is also said that ~: P ~ X is induced by f from p. The map ~: Q~ P is determined by ~01 and q)2. Our object is to give conditions on the front and back squares which ensure that if q~l, q~2 and ~o are homotopy equivalences, then so also is ~. First of all we shall assume throughout that the ba...
متن کاملEquivalences on Petri nets
In this paper a set of Petri net equivalences is proposed. A correlation between all introduced equivalences is established, and a lattice of implications is obtained. In addition equivalences are examined on sequential nets. The process equivalences are demonstrated to be well discerning on this net class.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied General Topology
سال: 2001
ISSN: 1989-4147,1576-9402
DOI: 10.4995/agt.2001.3019