特に,として単位円を取ると,懸垂関手は関手の左随伴であることが分かる: