category,construction
BoolAlg,initial object