Nicer title for the work in progress

And better integration of my categorical notation with the convention
used in this text.
Discussed functoriality of dg nerve construction

And fixed 2 bad boxes, and a missing symbol