A very brief introduction to stable $\AA^1$-homotopy theory

$\AA^1$-homotopy theory is the homotopy theory for smooth algebraic varieties which uses the affine line as a replacement for the unit interval. The stable $\AA^1$-homotopy category is a generalisation of the topological stable homotopy category, and in particular, gives a setting where algebraic cohomology theories such as motivic cohomology, and homotopy invariant algebraic $K$-theory can be represented. We give a brief overview of some aspects of the construction and some properties of both the topological stable homotopy category and the new $\AA^1$-stable homotopy category.