O que é uma monada? e uma manada? o que é uma categoria protomodular? e um anel de pierce?