CoWrHap: Algebraic Cowreaths & Haptic Devices

• CoWrHap is a dual-meaning concept that encompasses higher-dimensional, h-separable cowreath constructions in quantum algebra and a novel wrist-worn haptic device design.
• The algebraic aspect employs Clifford and pointed Hopf algebras to construct infinite families of separable cowreaths with explicit Casimir maps and rigorous h-separability criteria.
• The haptic variant integrates voice-coil actuation with microcontroller-driven PWM control for precise, natural force feedback in VR, as validated by controlled user studies.

CoWrHap denotes two distinct research concepts within academic literature: (1) an algebraic construction in the theory of Hopf algebras and monoidal categories, formalized as an infinite family of higher-dimensional (h-)separable cowreaths ("cowreaths" in the sense of coalgebraic structures), and (2) a wrist-worn haptic device employing custom voice-coil actuation for virtual reality applications. Both are known in the literature as CoWrHap, but their domains and theoretical frameworks are unrelated except for name similarity. The following article provides detailed expositions of both usages, as reflected in recent arXiv sources (Renda, 23 Jun 2025, Adeyemi et al., 2023).

1. Algebraic Cowreaths and (h-)Separability

CoWrHap, within the representation theory and quantum algebra literature, primarily refers to an infinite family of separable and h-separable cowreaths constructed in higher dimensions using Clifford algebras and pointed Hopf algebras. The canonical reference is "Separable cowreaths in higher dimension" by Renda (Renda, 23 Jun 2025).

1.1. Definition and Structure

Let $(\mathcal{M}, \otimes, \mathbf{1})$ be a strict monoidal category, and let $A$ be an algebra object in $\mathcal{M}$. The category of right transfer morphisms through $A$, denoted $\mathcal{T}_A^{\#}$, consists of pairs $(X, \psi)$, where $X$ is an object and $\psi: X \otimes A \to A \otimes X$ satisfies distributive-law axioms: $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$ A cowreath is a triple $(A, X, \psi)$ with $A$0 a coalgebra in $A$1, i.e., admitting morphisms $A$2, $A$3 satisfying coassociativity and counit conditions internally to $A$4.

1.2. Coseparability and h-Separability

A coalgebra $A$5 in a monoidal category is coseparable if it admits a Casimir $A$6 with

$A$7

The structure is heavily coseparable (h-coseparable) if, in addition, $A$8 satisfies

$A$9

A cowreath $\mathcal{M}$0 is called separable if $\mathcal{M}$1 is a coseparable coalgebra in $\mathcal{M}$2, and h-separable if $\mathcal{M}$3 is h-coseparable.

2. Sweedler–Clifford Foundation: The 4-Dimensional Example

The foundational instance is built on the $\mathcal{M}$4-dimensional Sweedler Hopf algebra $\mathcal{M}$5 and a $\mathcal{M}$6-dimensional Clifford algebra $\mathcal{M}$7. $\mathcal{M}$8 has basis $\mathcal{M}$9 with relations

$A$0

and its coproduct and antipode are specified by

$A$1

$A$2 admits a right $A$3-comodule algebra structure, leading to the cowreath $A$4, with $A$5 defined by

$A$6

Menini and Torrecillas showed that the only nontrivial solution for the Casimir $A$7 is

$A$8

subject to

$A$9

This example yielded a nontrivial h-separable coalgebra in $\mathcal{T}_A^{\#}$0.

3. General Higher-Dimensional Construction

For any $\mathcal{T}_A^{\#}$1 and a field $\mathcal{T}_A^{\#}$2 with $\mathcal{T}_A^{\#}$3, let $\mathcal{T}_A^{\#}$4 denote the $\mathcal{T}_A^{\#}$5-dimensional pointed Hopf algebra generated by $\mathcal{T}_A^{\#}$6, $\mathcal{T}_A^{\#}$7 with the relations

$\mathcal{T}_A^{\#}$8

and coproduct

$\mathcal{T}_A^{\#}$9

The $(X, \psi)$0-dimensional Clifford algebra $(X, \psi)$1 is generated by $(X, \psi)$2 with

$(X, \psi)$3

admitting a right $(X, \psi)$4-comodule algebra structure: $(X, \psi)$5 Equivalently, the coaction can be phrased in terms of the main involution $(X, \psi)$6 and $(X, \psi)$7-derivations $(X, \psi)$8 uniquely specified by

$(X, \psi)$9

The associated cowreath is $X$0, with

$X$1

4. Scalar Constraints and Explicit Family

Applying the above to the canonical Clifford coaction, the $X$2-separability conditions enforce either the degenerate $X$3 (trivial case) or

$X$4

so that

$X$5

The h-separability condition further enforces $X$6, and demands

$X$7

The Casimir is then given on basis elements $X$8 by

$X$9

$\psi: X \otimes A \to A \otimes X$0

5. Infinite Family Theorem and Implications

For every $\psi: X \otimes A \to A \otimes X$1, the pair $\psi: X \otimes A \to A \otimes X$2 with $\psi: X \otimes A \to A \otimes X$3 produces a cowreath $\psi: X \otimes A \to A \otimes X$4 that is h-separable. The construction yields an infinite family of nontrivial, higher-dimensional cowreaths in $\psi: X \otimes A \to A \otimes X$5, generalizing the Sweedler–Clifford example. The explicit formulas for the Casimir map employ combinatorial sums over subsets and perfect matchings; these can be resolved computationally for each $\psi: X \otimes A \to A \otimes X$6. The result is scalable: for each $\psi: X \otimes A \to A \otimes X$7, both $\psi: X \otimes A \to A \otimes X$8 and $\psi: X \otimes A \to A \otimes X$9 have dimension $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$0, yielding cowreaths of arbitrarily large dimension (Renda, 23 Jun 2025).

6. CoWrHap in Haptics: Wrist-Worn Voice-Coil Device

In human–computer interaction research, CoWrHap designates a wrist-worn haptic device implementing custom voice-coil actuation for force feedback in virtual reality settings. Detailed documentation is available in "Hand Dominance and Congruence for Wrist-worn Haptics using Custom Voice-Coil Actuation" (Adeyemi et al., 2023).

6.1 Device Architecture

The mechanical core is a voice-coil actuator: a cylindrical coil ($$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$1 mm, $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$2 mm; $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$3 turns of 0.25 mm copper wire) surrounds an axially movable NdFeB permanent magnet. The actuator assembly is integrated into a 3D-printed wrist enclosure, with motion perpendicular to the dorsal wrist surface. The coil is energized via PWM-controlled currents from an L293B dual H-bridge, commanded by a Raspberry Pi Pico microcontroller in response to VR events. Peak force output saturates near 1 N ($$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$4 T, $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$5 A), suitable for punctate "bump" feedback (Adeyemi et al., 2023).

6.2 Haptic Rendering and Calibration

Force output is regulated by PWM duty cycle, with an empirically validated transfer function: $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$6 The virtual object stiffness $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$7 is mapped to a baseline duty $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$8, with comparison values in $$\psi \circ (\mathrm{id}_X \otimes m_A) =(m_A\otimes\mathrm{id}_X)\circ(\mathrm{id}_A\otimes\psi)\circ(\psi\otimes\mathrm{id}_A),\qquad \psi\circ(\mathrm{id}_X\otimes u_A)=u_A\otimes\mathrm{id}_X\,.$$9. The Lorentz-force equation governing actuator output is

$(A, X, \psi)$0

with coil geometry $(A, X, \psi)$1 m for $(A, X, \psi)$2, $(A, X, \psi)$3 m.

6.3 User Study Protocol and Statistical Evaluation

A controlled study ($(A, X, \psi)$4; 26 right-handed, 2 left-handed participants) compared:

• Hand–wrist congruence (H-WC): haptic feedback delivered to the wrist of the active (exploring) hand.
• Hand–wrist non-congruence (H-WNC): feedback to the stationary wrist.

Each subject performed a two-alternative forced choice stiffness discrimination task with both dominant and non-dominant hands. Measures included point of subjective equality (PSE), just-noticeable difference (JND), exploration time, and subjective ratings (7-point Likert).

Table: Selected Objective and Subjective Measures (Adeyemi et al., 2023)

Condition	PSE (%, mean ± SE)	JND (%)	Likert: Ease/Enjoyment (mean ± SD)
DH-WC	68.9 ± 1.2	~8.0–9.2	5.0 ± 1.4 / 5.5 ± 1.8
NDH-WC	69.3 ± 1.4	~8.0–9.2	4.3 ± 1.6 / 4.6 ± 2.3
DH-WNC	66.6 ± 1.0	~8.0–9.2	4.4 ± 1.6 / 5.4 ± 1.4
NDH-WNC	66.1 ± 1.3	~8.0–9.2	3.5 ± 1.8 / 4.6 ± 2.1

No significant effects of hand dominance were found on discrimination accuracy, but hand–wrist congruence influenced both objective PSE (bias towards higher values, $(A, X, \psi)$5) and subjective naturalness.

6.4 Design Implications

Findings indicate a trade-off between psychophysical accuracy and subjective preference in wrist-haptic mapping. H-WNC affords higher discrimination accuracy (PSE closer to reference), while H-WC is perceived as more natural and enjoyable. Users prefer dominant-hand operation, although performance metrics remain unaffected. Design of future wrist-worn haptic interfaces requires balancing actuator form factor, maximum force, mapping strategies, and perceived realism, with potential for adaptive or hybrid paradigms (Adeyemi et al., 2023).

7. Domain-Specific Observations and Future Directions

• In algebraic research, the CoWrHap (cowreath) constructions constitute a modular and extensible framework for realizing h-(co)separable coalgebraic structures of arbitrarily high dimension. The infinite family theorem reveals a nontrivial combinatorial structure in the solutions to separability constraints and exemplifies the utility of Clifford algebra–Hopf algebra pairs in quantum category theory (Renda, 23 Jun 2025).
• In haptics, CoWrHap demonstrates the feasibility of compact, energized voice-coil actuators for effective, naturalistic wrist-proximal feedback in VR. The psychophysical and subjective dissociation between accuracy and experience indicates a challenge for interface optimization and standardization (Adeyemi et al., 2023).

The duality of the term "CoWrHap" in the literature illustrates the breadth of contemporary research across algebraic and human–computer interface domains.