Is there a version of this post for people with background in algebraic geometry and higher categories?
Is there a version of this post for people with background in algebraic geometry and higher categories?