El apéndice contiene una descripción de la teoría de categorías. La aplicación incluye una práctica búsqueda.