Database
BASIC CATEGORY THEORY
Categories
Functors
cidfu

Next ⟩ ccofu

Metamath Proof Explorer

Unicode
Structured

Syntax definition cidfu

Description: Extend class notation with identity functor.

		Ref	Expression
	Assertion	cidfu	class idFunc