  This dissertation comprises three collections of results, all united by a
common theme. The theme is the study of categories via algebraic techniques,
considering categories themselves as algebraic objects. This algebraic approach
to category theory is central to noncommutative algebraic geometry, as realized
by recent advances in the study of noncommutative motives.
  We have success proving algebraic results in the general setting of symmetric
monoidal and semiring $\infty$-categories, which categorify abelian groups and
rings, respectively. For example, we prove that modules over the semiring
category Fin of finite sets are cocartesian monoidal $\infty$-categories, and
modules over Burn (the Burnside $\infty$-category) are additive
$\infty$-categories.
  As a consequence, we can regard Lawvere theories as cyclic
$\text{Fin}^\text{op}$-modules, leading to algebraic foundations for the higher
categorical study of Lawvere theories. We prove that Lawvere theories function
as a home for an algebraic Yoneda lemma.
  Finally, we provide evidence for a formal duality between naive and genuine
equivariant homotopy theory, in the form of a group-theoretic Eilenberg-Watts
Theorem. This sets up a parallel between equivariant homotopy theory and
motivic homotopy theory, where Burnside constructions are analogous to Morita
theory. We conjecture that this relationship could be made precise within the
context of noncommutative motives over the field with one element.
