Wikipedia
Comeasuring
Let A be an algebra. A comeasuring of A is a pair (B, β) where:
- B is an algebra.
- β: A → A ⊗ B is an algebra map.