added the definition of stable system of monics and proved that the isos of a category form one of them
	modified:   Categories.agda
	modified:   PullbacksLemmas.agda
	new file:   Stable.agda