modified:   Categories/Idems.agda
	modified:   Categories/Isos.agda
	new file:   Categories/Pullbacks/PastingLemmas.agda
	new file:   Categories/Pullbacks/PullbacksLemmas.agda
	new file:   Categories/README.md
	modified:   Everything.agda