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

- All Categories 2.3K
- Chat 494
- Study Groups 5
- Green Mathematics 1
- Programming with Categories 4
- Review Sections 6
- MIT 2020: Programming with Categories 53
- MIT 2020: Lectures 21
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 64
- Azimuth Code Project 110
- Statistical methods 2
- Drafts 1
- Math Syntax Demos 15
- Wiki - Latest Changes 0
- Strategy 111
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708

Options

Let \(\mathcal{C}\) be an arbitrary category and let \(\mathcal{P}\) be a preorder, thought of as a category. Consider the following statements:

- For any two functors \(F, G : \mathcal{C} \rightarrow \mathcal{P}\), there is at most one natural transformation \(F \rightarrow G\).
- For any two functors \(F, G : \mathcal{P} \rightarrow \mathcal{C}\), there is at most one natural transformation \(F \rightarrow G\).

For each, if it is true, say why; if it is false, give a counterexample.

## Comments

1) Any \(\alpha_c\) in \( \mathcal{P} \) is unique, because \( \mathcal{P} \) is a preorder meaning at most 1 arrow exists between a pair of objects.

2) There is nothing in \( \mathcal{C} \) restricting the number of arrows between a pair of objects.

`1) Any \\(\alpha_c\\) in \\( \mathcal{P} \\) is unique, because \\( \mathcal{P} \\) is a preorder meaning at most 1 arrow exists between a pair of objects. ![One Natural Transformation](https://docs.google.com/drawings/d/e/2PACX-1vSrQVA_5UJFCXyLjDq4aNZehvlM4rWuM7o8UxKPAzl4YihE1daYEkvbws_5G9089Dej9B4N5Z7JcoMB/pub?w=607&h=383) 2) There is nothing in \\( \mathcal{C} \\) restricting the number of arrows between a pair of objects. ![Two Natural Transformations](https://docs.google.com/drawings/d/e/2PACX-1vR_x8gK_X_cK3UcOTO8PAiMeu2bILBjwg8Fq6fz5g9PaWxkr2XY55VRM1pkAtEsd-k2XWXTmOZOvfrw/pub?w=786&h=406)`