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

JetBrains / arend-lib

Apache License 2.0

79 stars 23 forks source link

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

Open valis opened 2 years ago

valis commented 2 years ago

This is Category.Subobj/pullback_regularSubobj-isMeet.