nLab sum

Contents

Contents

Idea

A sum is a result of an operation called addition and denoted ++ (binary), 00 (nullary), or \sum (arbitrary).

Last revised on May 19, 2021 at 18:33:42. See the history of this page for a list of all contributions to it.