nLab co-unitality

Contents

Contents

Idea

The formal dual of unitality:

An object in a monoidal category which is equipped with a comultiplication map which satisfies both co-unitality and co-associativity is called a co-monoid.

Created on November 13, 2022 at 12:08:56. See the history of this page for a list of all contributions to it.