For an interesting application see relaxed multicategory.
Created on September 27, 2010 at 19:47:37. See the history of this page for a list of all contributions to it.