范畴Set^→的平衡器性质、有限积性质

讨论了映射范畴Set^→的平衡器性质、有限积性质，它们是范畴Set^→Topos性质的重要组成部分。