Diese Doktorarbeit besteht aus zwei Kapiteln und zwei Anhängen. Das erste Kapitel beschreibt die Konstruktion eines homotopie-kohärenten Kalkül von laxen Matrizen. Das zweite Kapitel erläutert die Konstruktion einer lax monoidalen Struktur auf einem Pull-Push Funktor von lokalen Systemen entlang Korrespondenzen von ∞-Groupoiden. Im ersten Anhang wird gezeigt, dass interne Links-Kanerweiterungen durch Hornfüller beschrieben werden können, und im zweiten wird eine Formel für reflektive Lokalisierungen bezüglich Korrespondenzen hergeleitet.
This thesis consists of two chapters, together with two supporting appendices. The first chapter describes the construction of a homotopy-coherent calculus of lax matrices. The second chapter gives a construction of a lax monoidal structure on the functor implementing pull-push of local systems along spans of infinity-groupoids. The first appendix shows that the notion of internal left Kan extension can be captured by horn filling conditions, and the second proves a formula for reflective localization in terms of spans.