  Mostly aimed at an audience with backgrounds in geometry and homological
algebra, these notes offer an introduction to derived geometry based on a
lecture course given by the second author. The focus is on derived algebraic
geometry, mainly in characteristic $0$, but we also see the tweaks which extend
most of the content to analytic and differential settings.
