Database
BASIC CATEGORY THEORY
Categories
Sections, inverses, isomorphisms
csect
Next ⟩
cinv
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csect
Description:
Extend class notation with the sections of a morphism.
Ref
Expression
Assertion
csect
class
Sect