Fixed types and categories