Skip to content
aidb
functor
Image: Wikimedia Commons

functor

In category theory, a mapping between categories that preserves their structure (identity morphisms, composition of morphisms)

EntityQ864475

Also known as covariant functor · contravariant functor

Subclass of
Part of

Overview

All data

28 statements · 25% with external sources · numbers in brackets are citations

Discovered by
Studied by
Properties for this type
Different from
Defining formula
  • \begin{aligned}F(\operatorname{id}_X)&=\operatorname{id}_{F(X)}\\F(f\circ g)&=Ff\circ Fg\end{aligned}
In defining formula

On other databases

17 identifiers linking functor across the web's reference databases