给定一类ν和ν-代数一个和B类，一个代数构成F： A类⇉B类是一个Γ-同态F类我R（右）×一个→B类，对于某些ν-代数R（右），以及生成的函数F类(第页,-):一个→B类对于第页∈R（右）被称为适于模锻的首先，作为研究代数构形的动机，解释了范畴构形及其与自然变换的关系。然后，描述了一些常见代数变体的构成和可形成函数，包括半格、格、群和蕴涵代数。研究了同余模簇的一些一般性质，包括对一致同余的描述，它提供了关于同余模的结构信息B类.