# Zoran Skoda nonassociative category

$n$Lab category over an operad

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

Deductive system in

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

Created on November 19, 2013 at 03:56:22. See the history of this page for a list of all contributions to it.