Proved left identities for partial map category
	modified:   Pullbacks.agda
	modified:   Stable.agda