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

Published 20 hours ago • verified publisher icon JetBrains

Prove that regular monomorphisms are stable under pullbacks

Open valis opened this issue 2 years ago • 0 comments

This is Category.Limit/regularMono_pullback. This should be straightforward.

valis avatar May 04 '22 22:05 valis