Despite not working in algebra I’m a sucker for it. So when I came across an article on derived smooth manifolds I knew I had to have a look. The phrase “derived X”, when used in a mathematical context usually refers to some category of objects which is built out of a category describing the …