Categories of cats and restcats with honest proofs of categorical laws (no irrelevance)
	modified:   Categories/Functors.agda
	modified:   Categories/Idems.agda
	modified:   Restriction/Functors.agda