Applied Category Theory 2022 Adjoint School