Formal aspects of Gray's tensor products of 2-categories
| Authors | |
|---|---|
| Year of publication | 2013 |
| Type | Article in Periodical |
| Magazine / Source | Applied Categorical Structures |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1007/s10485-012-9282-7 |
| Field | General mathematics |
| Keywords | Gray tensor product |
| Description | 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. |
| Related projects: |