1 http://hdl.handle.net/10338.dmlcz/153471 1 The symmetric monoidal 2-category of permutative categories http://hdl.handle.net/10338.dmlcz/153470 The symmetric monoidal 2-category of permutative categories Finite duals in Grothendieck categories and coalgebra objects http://hdl.handle.net/10338.dmlcz/153469 Finite duals in Grothendieck categories and coalgebra objects Disordered arcs and Harer stability http://hdl.handle.net/10338.dmlcz/153468 Disordered arcs and Harer stability Colimits and cocompletions in internal higher category theory http://hdl.handle.net/10338.dmlcz/153467 Colimits and cocompletions in internal higher category theory