created Categories folder
	renamed:    Families.agda -> Categories/Families.agda
	renamed:    Initial.agda -> Categories/Initial.agda
	renamed:    Sets.agda -> Categories/Sets.agda
	renamed:    Terminal.agda -> Categories/Terminal.agda
	modified:   Everything.agda
	modified:   Fin.agda
	modified:   InitAdj.agda
	modified:   InitRAdj.agda
	modified:   TermAdj.agda
	modified:   TermAdjObj.agda
	modified:   TermAdjUniq.agda
	modified:   TermRAdj.agda
	modified:   TermRAdjHom.agda
	modified:   TermRAdjObj.agda
	modified:   WellScopedTerms.agda
	modified:   WellScopedTermsModel.agda
	modified:   WellTypedTerms.agda
	modified:   WellTypedTermsModel.agda