proved associativity property of partial map category
	modified:   Pullbacks.agda
	modified:   Stable.agda