The compact closed bicategory of left adjoints
type: Item
instance of: scholarly article
title: The compact closed bicategory of left adjoints
zbMATH Open document ID: 0980.18002
DOI: 10.1017/S0305004100004710
author: Piergiulio Katis
author: R. F. C. Walters
published in: Mathematical Proceedings of the Cambridge Philosophical Society
publication date: 2002-02-26T00:00:00Z
Mathematics Subject Classification ID: 18D05
Mathematics Subject Classification ID: 18A10
Mathematics Subject Classification ID: 18D10
zbMATH DE Number: 1587313
zbMATH Keywords: bicategory
zbMATH Keywords: autonomous
zbMATH Keywords: adjoint
zbMATH Keywords: bidual
MaRDI profile type: MaRDI publication profile
full work available at URL: s0305004100004710
OpenAlex ID: W2156627680
Recommended article: Q4896510
Recommended article: Compact closed bicategories
Recommended article: Q4990312
Recommended article: Q3816229
Recommended article: Q5130687
Recommended article: Q5025075
Recommended article: Q5129638
Recommended article: Adjoint functor theorems for ∞‐categories
Recommended article: Adjoint Functors and Triangulated Categories
Recommended article: Adjoint functors and equivalences of subcategories
review text: For each bicategory \({\mathcal B}\) there is a bicategory \(Sq{\mathcal B}\) of squares in \({\mathcal B}\): the objects are morphisms of \({\mathcal B}\) and the morphisms are squares in \({\mathcal B}\) containing a 2-cell. If \({\mathcal B}\) is monoidal then \(Sq{\mathcal B}\) becomes monoidal. The main result of the paper is that an object \(f\) in \(Sq{\mathcal B}\) has a right bidual if and only if \(f\) has a right adjoint and the domain and codomain of \(f\) have right duals. This implies that, if \({\mathcal B}\) is right autonomous (that is, admits all right duals), then the full sub-bicategory of \(Sq{\mathcal B}\) consisting of the left adjoint morphisms is also right autonomous.
reviewed by: Ross H. Street
description: scientific article; zbMATH DE number 1587313