data visualization with category theory and geometry