Just a line to create the entry. For the moment see the discussion at integration as a Kan extension and at gauge fixing
A diagram with xy: