Декартов моноид

• Определение Декартова моноида

  • Декартов моноид — это моноид с операторами сопряжения и проекции. 
  • Дана Скотт и Йоахим Ламбек независимо сформулировали его. 

• Структура Декартова моноида

  • Имеет сигнатуру с бинарными операторами, константами и аксиомами. 
  • Операторы L и R являются проекциями, а константа e — единицей. 

• Интерпретация операторов

  • L и R — функции проекции для сопряжения (−,−). 

• Рекомендации

  • Статья не содержит конкретных рекомендаций.