Pullback : Table of Contents

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