2014. A Formal Object Definition in Categorical Shaping. Academic Journal of Interdisciplinary Studies. 3, 1 (Mar. 2014), 427.