How to Walk Through Category Theory ‐ Mercari: Shop from Japan