Abstract: We introduce a kind of Fukaya category for a smooth Hamiltonian fibration over a general smooth manifold, and discuss an application to Hofer geometry. This story is intimately connected to Toen's derived Morita theory, and theory of quasi-categories after Lurie and Joyal. This gives a nice geometric context for some high powered abstraction in category theory, and raises a number of interesting questions and possibilities.