Changes to be committed:
	new file:   Adjunctions.agda
	new file:   Adjunctions/Adj2Mon.agda
	new file:   Categories/Initial.agda
	new file:   Categories/Terminal.agda
	new file:   Monads.agda
	new file:   Monads/EM.agda
	new file:   Monads/Kleisli.agda
	modified:   Utilities.agda