nLab
sum

Contents

Idea

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

Revised on May 24, 2017 10:14:54 by Urs Schreiber (131.220.184.222)