Die operadische Theorie der Konvexität

In diesem Artikel charakterisieren wir Konvexität in Bezug auf Algebren über einem PROP und etablieren eine tensorproduktartige symmetrische monoidale Struktur auf der Kategorie der konvexen Mengen. Mit Hilfe dieser beiden Strukturen und der Theorie der O-monoidalen Kategorien, die in [8] entwickelt wurde, formulieren und beweisen wir eine Grothendieck-Konstruktion für laxe O-monoidale Funktoren in konvexe Mengen.