>>346
べつにx^0が単位元である必要はない。
点付き集合の圏で考えれば基点を充てればいい。
モノイドには標準的な基点としての単位元があるというだけ。