"These aspects-together with associated laws-are called``cartesian"",``cocartesian"", and``closed"", respectively."
"We have``bicartesian closed categories"", more succinctly called``biCCCs""( or``CCCs"", without the cocartesian requirement)."