2 May
2014
2 May
'14
3:40 p.m.
In a closed symmetric monoidal bicategory, the categories Hom(A tensor B, C) and Hom(A, hom(B, C)) are equivalent. It occurred to me that one could weaken this equivalence to a mere adjunction. Looking for references, I found Lars Birkedal's thesis where he considers "weakly closed partial cartesian" bicategories. Are there other references I should be aware of? Thanks! -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]