Mainly definitions of dga functors, etc