Tengo algunas anotaciones que no he visto antes:
$$f: \{a,b\} \to a\text{ and } g:\{a,b\}\to b$$
¿Qué significa esto? Estamos mapeando desde unos $X=\{a,b\}$ a algunos $Y=a$ ? ¿Así que más o menos siempre estamos mapeando al primer elemento?
No entiendo por qué esto implica $g \circ f : \{a,b\} \to b$
Primero mapeamos $\{a,b\}\to a$ y a continuación, mapear $a \to b$ ? Eso no tiene sentido para mí.
Siento que tengo un elemento después de $f$ y luego $g$ no tiene sentido. ¿En qué estoy pensando incorrectamente?
Además, ¿por qué estamos mapeando de un conjunto, a un elemento?