1 http://hdl.handle.net/10338.dmlcz/153489 1 Two remarks on spaces of maps between operads of little cubes http://hdl.handle.net/10338.dmlcz/153488 Two remarks on spaces of maps between operads of little cubes Weakly globular double categories and weak units http://hdl.handle.net/10338.dmlcz/153487 Weakly globular double categories and weak units Higher theories and monads http://hdl.handle.net/10338.dmlcz/153486 Higher theories and monads $\infty$-type theories http://hdl.handle.net/10338.dmlcz/153485 $\infty$-type theories