arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Show that the pullback of regular monomorphisms is their meet in the preorder of regular subojects

Open valis opened this issue 2 years ago • 0 comments

This is Category.Subobj/pullback_regularSubobj-isMeet.

valis avatar May 04 '22 22:05 valis