雙積 在範疇論中雙積是直積在預加法範疇中的推廣它同時是範疇論意義下的積與上積