Обсуждение:Моноид (теория категорий)