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...

Naphtho[2,1-b]thiophene (NTH) is an asymmetric structural isomer of dibenzothiophene (DBT), and in addition to DBT derivatives, NTH derivatives can also be detected in diesel oil following hydrodesulfurization treatment. Rhodococcus sp. strain WU-K2R was newly isolated from soil for its ability to grow in a medium with NTH as the sole source of sulfur, and growing cells of WU-K2R degraded 0.27 ...

It is shown that coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric 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 and a degener...

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 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 coherence conditions for monoidal categories concerning associativity are analogous to coherence conditions for symmetric 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 and a degener...

In this paper, we develop and modify Taylor-series expansion method to approximate a solution of nonlinear Volterra integro-differential equations (IDEs) as well as a solution of a system of nonlinear Volterra equations. By means of the nth-order Taylor-series expansion of an unknown function at an arbitrary point, a nonlinear Volterra equations can be converted approximately to a system of non...