Pullback : Table of Contents

• Pullback -- pullback in the category of rings
• internalUseDirectSum -- Compute direct sum of two rings.
• pullback -- Compute the pullback of a diagram of rings