Morphism (arrow) f: A → B

Layer 0 — Mathematicsin the category-theory subtree

A structured 'map' between two objects. Must compose and have identities. In Set these are functions; in Grp, group homomorphisms; in Top, continuous maps.

Related concepts

Object
Category
Isomorphism
Functor F: C → D
Universal property
Group homomorphism
Continuous map
Linear map
Spin network

Explore Morphism (arrow) f: A → B on the interactive knowledge graph →