[kisoron-ml] 2-dimensional categories