اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدA Note On Compliance Relations And Fixed Points
79
0
0.0
(
0
)
تأليف
Maurizio Murgia
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family.
قيم البحث
اقرأ أيضاً
The result of Boyce and Huneke gives rise to a 1-dimensional continuum, which is the intersection of a descending family of disks, that admits two commuting homeomorphisms without a common fixed point.
For a category $mathbb{C}$, a small category $mathbb{I}$, and a pre-cover relation $sqsubset$ on $mathbb C$ we prove, under certain completeness assumptions on $mathbb C$, that a morphism $g: Bto C$ in the functor category $mathbb {C}^{mathbb I}$ adm
its an image with respect to the pre-cover relation on $mathbb C^{mathbb I}$ induced by $sqsubset$ as soon as each component of $g$ admits an image with respect to $sqsubset$. We then apply this to show that if a pointed category $mathbb{C}$ is: (i) algebraically cartesian closed; (ii) exact protomodular and action accessible; or (iii) admits normalizers, then the same is true of each functor category $mathbb{C}^{mathbb I}$ with $mathbb{I}$ finite. In addition, our results give explicit constructions of images in functor categories using limits and images in the underlying category. In particular, they can be used to give explicit constructions of both centralizers and normalizers in functor categories using limits and centralizers or normalizers (respectively) in the underlying category.
Fluctuation theorems are fundamental results in non-equilibrium thermodynamics. Considering the fluctuation theorem with respect to the entropy production and an observable, we derive a new thermodynamic uncertainty relation which also applies to non-cyclic and time-reversal non-symmetric protocols.
Recently a new class of critical points, termed as {sl perpetual points}, where acceleration becomes zero but the velocity remains non-zero, is observed in nonlinear dynamical systems. In this work we show whether a transformation also maps the perpe
tual points to another system or not. We establish mathematically that a linearly transformed system is topologicaly conjugate, and hence does map the perpetual points. However, for a nonlinear transformation, various other possibilities are also discussed. It is noticed that under a linear diffeomorphic transformation, perpetual points are mapped, and accordingly, eigenvalues are preserved.
For a finite p-group G and a bounded below G-spectrum X of finite type mod p, the G-equivariant Segal conjecture for X asserts that the canonical map X^G --> X^{hG} is a p-adic equivalence. Let C_{p^n} be the cyclic group of order p^n. We show that i
f the C_p Segal conjecture holds for a C_{p^n} spectrum X, as well as for each of its C_{p^e} geometric fixed points for 0 < e < n, then then C_{p^n} Segal conjecture holds for X. Similar results hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
