It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.3K
- Chat 493
- ACT Study Group 5
- Azimuth Math Review 6
- MIT 2020: Programming with Categories 53
- MIT 2020: Lectures 21
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 138
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 64
- Azimuth Code Project 110
- Drafts 1
- Math Syntax Demos 15
- Wiki - Latest Changes 1
- Strategy 110
- Azimuth Project 1.1K

Options

$$ \large\begin{matrix} A & \overset{f}{\longrightarrow} & B \\ g \downarrow & & \downarrow h \\ C & \overset{i}{\longrightarrow} & D \end{matrix} $$ 1) Write down the ten paths in the free square category above.

2) Name two different paths that are parallel.

3) Name two different paths that are not parallel.

## Comments

\(\mathrm{id}_A,\mathrm{id}_B,\mathrm{id}_C,\mathrm{id}_D,f,h,g,i,h\circ f,i\circ g\)

Among these, only two paths are parallel (i.e., have the same source and target objects): \(h\circ f\) and \(i\circ g\).

Any two other paths are not parallel, for example, \(f\) and \(g\).

`\\(\mathrm{id}_A,\mathrm{id}_B,\mathrm{id}_C,\mathrm{id}_D,f,h,g,i,h\circ f,i\circ g\\) Among these, only two paths are parallel (i.e., have the same source and target objects): \\(h\circ f\\) and \\(i\circ g\\). Any two other paths are not parallel, for example, \\(f\\) and \\(g\\).`