Database
BASIC CATEGORY THEORY
Categories
Monomorphisms and epimorphisms
cmon
Next ⟩
cepi
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cmon
Description:
Extend class notation with the class of all monomorphisms.
Ref
Expression
Assertion
cmon
class Mono