AKSZ Construction in Derived Algebraic Geometry As an Extended Topological Field Theory | lit.salon