Library Exercise_4_1_2_29


Require Import Utf8.

Set Implicit Arguments.

Generalizable All Variables.


Exercise 4.1.2.29

Problem

Let G be the graph whose vertices are all cities in the US and whose arrows are airplane flights connecting cities. What idea is captured by the free category on G?