renamed:    Adjunctions.agda -> src/Adjunctions.agda
	renamed:    Adjunctions/Adj2Mon.agda -> src/Adjunctions/Adj2Mon.agda
	renamed:    Categories.agda -> src/Categories.agda
	renamed:    Categories/Epis.agda -> src/Categories/Epis.agda
	renamed:    Categories/Idems.agda -> src/Categories/Idems.agda
	renamed:    Categories/Initial.agda -> src/Categories/Initial.agda
	renamed:    Categories/Isos.agda -> src/Categories/Isos.agda
	renamed:    Categories/Monos.agda -> src/Categories/Monos.agda
	renamed:    Categories/Pullbacks.agda -> src/Categories/Pullbacks.agda
	renamed:    Categories/Pullbacks/PastingLemmas.agda -> src/Categories/Pullbacks/PastingLemmas.agda
	renamed:    Categories/Pullbacks/PullbacksLemmas.agda -> src/Categories/Pullbacks/PullbacksLemmas.agda
	renamed:    Categories/Sections.agda -> src/Categories/Sections.agda
	renamed:    Categories/Terminal.agda -> src/Categories/Terminal.agda
	renamed:    Functors.agda -> src/Functors.agda
	renamed:    Monads.agda -> src/Monads.agda
	renamed:    Monads/CatofAdj.agda -> src/Monads/CatofAdj.agda
	renamed:    Monads/CatofAdj/InitAdj.agda -> src/Monads/CatofAdj/InitAdj.agda
	renamed:    Monads/CatofAdj/TermAdj.agda -> src/Monads/CatofAdj/TermAdj.agda
	renamed:    Monads/CatofAdj/TermAdjHom.agda -> src/Monads/CatofAdj/TermAdjHom.agda
	renamed:    Monads/CatofAdj/TermAdjObj.agda -> src/Monads/CatofAdj/TermAdjObj.agda
	renamed:    Monads/CatofAdj/TermAdjUniq.agda -> src/Monads/CatofAdj/TermAdjUniq.agda
	renamed:    Monads/EM.agda -> src/Monads/EM.agda
	renamed:    Monads/EM/Adjunction.agda -> src/Monads/EM/Adjunction.agda
	renamed:    Monads/EM/Functors.agda -> src/Monads/EM/Functors.agda
	renamed:    Monads/Kleisli.agda -> src/Monads/Kleisli.agda
	renamed:    Monads/Kleisli/Adjunction.agda -> src/Monads/Kleisli/Adjunction.agda
	renamed:    Monads/Kleisli/Functors.agda -> src/Monads/Kleisli/Functors.agda
	renamed:    Monads/Morphisms.agda -> src/Monads/Morphisms.agda
	renamed:    Naturals.agda -> src/Naturals.agda
	renamed:    Utilities.agda -> src/Utilities.agda