Category System and Applications