added two defs of pullbacks
	modified:   Categories.agda