A Formal Object Definition in Categorical Shaping. Acad. J. Interdiscip. Stud. 2014, 3 (1), 427.