摘要 : Let ν be a cosmos. In order to see that Theorem 3.1.1 is a consequence of Theorem 4.1.1, we first have to describe a 2-category M which is biequivalent to Mod(ν). In a second step, we have to show that M has Tannaka-Krein objects.... 展开 Let ν be a cosmos. In order to see that Theorem 3.1.1 is a consequence of Theorem 4.1.1, we first have to describe a 2-category M which is biequivalent to Mod(ν). In a second step, we have to show that M has Tannaka-Krein objects. Lastly, we have to show that the pseudofunctor Rep(-) from Proposition 4.7.1 is equivalent to the 2-functor R described in §3.6. In order to do all this we need the notions of weighted colimits and cocontinuous ν-functors. This is a place where the theory of enriched categories differs considerably from the unenriched theory. We will mention all the technical details about weighted colimits that are used later in the proof of our recognition result. 收起