10 May
2012
10 May
'12
9:35 a.m.
Dear category theorists Could anyone kindly help me with the following: How much is known about categories with - two monoidal structures - and a natural transformation (but not isomorphism) X x Y -> X + Y I believe this isn't called a bimonoidal category, as we don't have an iso above (?) More generally, how about a tricategory with directed interchange law (X x Y ) + ( W x Z ) -> (X + W) x (Y + Z) ? Many thanks, Ondrej [For admin and other information see: http://www.mta.ca/~cat-dist/ ]