It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric or braided strictly monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality an...

It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type (A ∧B) ∧ (C ∧D) → (A ∧ C) ∧ (B ∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coh...

Reasoning about commutativity between data-structure operations has been, and remains, an important problem with applications including parallelizing compilers, optimistic parallelization and, more recently, Ethereum smart contracts. There have been research results on automatic generation of commutativity conditions, yet we are unaware of any fully automated technique to generate conditions th...

Commutativity rules play an essential role when building multirate signal processing systems. In this letter, we focus on the interchangeability of block decimators and expanders. We, formally, prove that commutativity between these two operators is possible if and only if the data blocks are of an equal length corresponding to the greatest common divisor of the integer decimation and expansion...

Let R be a ring with center Z(R). We write the commutator [x, y] = xy− yx, (x, y ∈ R). The following commutator identities hold: [xy,z] = x[y,z] + [x,z]y; [x, yz] = y[x,z] + [x, y]z for all x, y,z ∈ R. We recall that R is prime if aRb = (0) implies that a= 0 or b = 0; it is semiprime if aRa = (0) implies that a = 0. A prime ring is clearly a semiprime ring. A mapping f : R→ R is called centrali...

It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for strict symmetric monoidal categories, where associativity arrows are identities. Mac Lane’s pentagonal coherence condition for associativity is decomposed into conditions concerning commutativity, among which we have a condition analogous to naturality and a degenerat...

In this paper, we prove common fixed point theorems for hybrid pairs of mappings satisfying an implicit relation in 2-metric spaces by using a new commutativity condition i.e. weak commutativity of type (KB). We also prove common fixed point theorem, of Gregus type for hybrid pairs of maps by using weak commutativity of type (KB) in 2-metric spaces. We extend, improve and generalize many known ...