nLab
sum

Context

Arithmetic

  • ,

  • ,

  • , , , , , , , , , , ,

  • ,

  • , ,

  • , , ,

,

    • ,

Contents

Idea

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

Last revised on May 24, 2017 at 10:14:54. See the history of this page for a list of all contributions to it.