added EM Adjunction
	new file:   EMAdj2.agda
	new file:   EMFunctors2.agda
	modified:   Everything.agda