Zoran Skoda nonassociative category

$n$Lab category over an operad

• Salvatore Tringali, Plots and their applications - Part I: foundations, arxiv/1311.3524

• MO: http://mathoverflow.net/questions/82526/does-there-exist-a-name-for-a-nonassociative-category-without-identities

Deductive system in

• J. Lambek, P. J. Scott, Introduction to higher order categorical logic