Harder-Narasimhan theory

Abstract

An abstract formulation of Harder-Narasimhan theory is stated without proof by L. Fargues, and I found it helpful to write it all out.