Global Categories Scala