Ciertas "construcciones naturales", como el grupo fundamental de un espacio topológico, pueden ser expresadas como funtores.