Johan Vik Mathisen An introduction to triangulated categories via the stable category of a Frobenius category