Let C be a category and R be a commutative ring with unit.
The definition used for incidence algebras assumes that the category C is locally finite (see below), is dual to the above definition, and defines a different object.