もっとはっきり述べれば、モノイド(M,•)はただひとつの対象をもち、Mの元を射として小さい圏を成す（射の合成はモノイド演算•で与えられる）。
精确地说，给定一个幺半群(M,*)，可构造一个只有单个对象的小范畴，使得其态射由M的元素给出，而其合成则由幺半群的运算*给出。