I'm trying to find out what the appropriate definition of a symmetric monoidal closed bicategory is. Day & Street define symmetric monoidal bicategories in "Monoidal bicategories and Hopf algebroids." Has someone considered the closed case? Are there different notions of closed for a bicategory, the adjoints to tensoring with an object versus tensoring with a 1-morphism? I've been told that pseudoadjunctions are the appropriate generalization of adjunctions for the bicategory case. -- Mike Stay - metaweta@gmail.com http://math.ucr.edu/~mike http://reperiendi.wordpress.com