Hvězdově kvazilineární rovnicové teorie grupoidů

Abstrakt

Jsou zkoumány rovnicové teorie, značme je E, grupoidů splňujících podmínku, že každý term je E-ekvivalentní aspoň jednomu lineárnímu termu.

Klíčová slova

• Hvězdově
• kvazilineární
• rovnicové
• teorie
• grupoidů