On Varieties of Symmetric Monoidal Closed Categories and Dependency of Categorical Diagrams.

Add to your list(s) Download to your calendar using vCal

• Sergei Soloviev, IRIT, Toulouse
• Thursday 17 June 2010, 14:15-15:15
• MR9, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Nathan Bowler.

Do there exist the theories between the axiomatic theory of Symmetric Monoidal Closed Categories (SMCC) and “fully coherent” partial order? (As examples of SMC Cs one may take the categories of modules over commutative rings with unit.) It turns out that the answer is positive. In terms of diagrams, it means that there exist certain non-commutative diagrams in free SMCC and certain non-free SMCC K such that some of these diagrams are always commutative in K while others are not. More recently, it was obtained an infinite series of diagrams D_n (n\in N) such that the commutativity of D_{n+1} does not imply the commutativity of D_n. It means that there exist infinitely many intermediate theories. This situation is radically different from the well known case of Cartesian Closed Categories. This fact is a strong motivation for the study of dependency of diagrams. Various methods of verification of dependency of diagrams are discussed. They may be of interest to computer algebra.

(The talk is based on joint work with A. El Khoury, L. Mehats and M. Spivakovsky.)

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• MR9, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.