{ Type = ./Type, category = ./category, semigroupoid = ./semigroupoid }