Prove that regular monomorphisms are stable under pullbacks - Githubissues

JetBrains / arend-lib

Apache License 2.0

79 stars 23 forks source link

Prove that regular monomorphisms are stable under pullbacks #44

Open valis opened 2 years ago

valis commented 2 years ago

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