Partial maps category - work in progress
	modified:   Categories.agda
	modified:   Stable.agda