Course on embeddings and higher order structures