1: \begin{abstract}

2: Algebraic theories, introduced in the 1960s by Lawvere, are a pleasant approach to universal algebra, encompassing many standard objects of abstract algebra: groups, monoids, rings, modules, algebras, objects with action by a finite group, and so on. In this thesis we adapt this classical notion, obtaining a framework suitable for representing analogous objects from modern algebraic topology, which have algebraic operations that only satisfy axioms up to coherent higher homotopy.

3: 

4: We work in the framework of quasicategories developed by Joyal and Lurie: since these are just a subcategory of simplicial sets, they support both a good conceptual topological framework, and a powerful family of homotopy-theoretic methods.

5: 

6: We provide a general study of quasicategorical theories. Then we introduce one which models $E_\infty$ monoids. In addition, we study distributive laws. This allows us to introduce a model for objects with two $E_\infty$ monoidal structures, one distributing over the other. Thus we obtain a model for $E_\infty$ semiring spaces.

7: 

8: We study grouplike objects, and so define theories modelling grouplike $E_\infty$ monoids and $E_\infty$ ring spaces. The former gives us a new approach to infinite loop space theory (or, in essence, the theory of connective spectra), and the latter gives us a new approach to multiplicative infinite loop space theory (or the theory of connective ring spectra).

9: 

10: These models offer alternatives to approaches considered by Lurie.

11: 

12: We apply this to constructing units of ring spectra, reproving a theorem of Ando, Blumberg, Gepner, Hopkins and Rezk. We apply it also to sketch a construction of the $K$-theory of monoidal quasicategories and ring quasicategories, offering an alternative framework to that provided by Elmendorf and Mandell.

13: 

14: \vspace{6cm} ~

15: \newpage \thispagestyle{empty} \phantom{1}

16: \end{abstract}

17: