Mathematics – Category Theory
Scientific paper
2010-03-09
Mathematics
Category Theory
Title has been changed, major revisions and corrections, accepted in Appl. Categ. Str
Scientific paper
The category of small 2-categories has two monoidal structures due to John
Gray: one biclosed and one closed. We propose a formalisation of the
construction of the right internal and internal homs of these monoidal
structures.
No associations
LandOfFree
Formal aspects of Gray's tensor product of 2-categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Formal aspects of Gray's tensor product of 2-categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formal aspects of Gray's tensor product of 2-categories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-341012