Konstruktion der Gegenteile von schwachen ω-Kategorien und die Adjunktion zwischen Suspension und Hom
Wir definieren induktiv die Gegenteile einer schwachen globulären ω-Kategorie in Bezug auf eine Menge von Dimensionen und zeigen, dass die Eigenschaften, frei auf einem globulären Satz oder einem Computad zu sein, unter der Bildung von Gegenteilen erhalten bleiben. Wir liefern dann eine neue Beschreibung des Hom-Funktors auf ω-Kategorien und zeigen, dass er einen linken Adjungierten besitzt, den wir explizit konstruieren und Suspensions-Funktor nennen.