Short exact sequences of categories

In a context where the morphisms between categories are adjunctions, we consider kernels, cokernels and short exact sequences, similarly to how one would for groups or vector spaces. Of particular interest are split exact sequences of categories along with an associated notion of semidirect product. We will explore this setting on a basic level and take a look at some examples.