Identity functor - Axioms of Choice

Processing math: 100%

Identity functor

Functor

context	${\bf C}$ … category
definiendum	$Id_{\bf C}:{\bf C}\longrightarrow{\bf C}$
definiendum	$Id_{\bf C}A:=A$
definiendum	$Id_{\bf C}(f):=f$

Discussion

endofunctor

Reference

Parents

Element of

Requirements

Log In

Improvements of the human condition