Folder: mathematics/objects/universes/semiotic-universe/formalization/agda