Ivan Shishkin, Birch Grove

Concept

Composition of maps

Logic / Usable / edited by Ancient Tree

0 talk posts

Given maps f:XYf:X \rightarrow Y and g:YZg:Y \rightarrow Z, their composite gf:XZg\circ f:X \rightarrow Z is the map defined by
(gf)(x)=g(f(x))for all xX.(g\circ f)(x)=g(f(x))\quad\text{for all }x\in X.

Problems using this concept (0)

No listed problems link to this concept yet.

Problems using this concept (spoiler) (0)

No listed problems use this concept as a spoiler yet.