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

- All Categories 2.3K
- Chat 499
- Study Groups 18
- Petri Nets 9
- Epidemiology 3
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- 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 67
- Azimuth Code Project 110
- Statistical methods 3
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708

Options

## Comments

Maybe the simplest category without a terminal object is \( \textbf{2} := [ 1 \, 2 ] \) the discrete category of two objects.

Does \( \textbf{0} \) qualify? It has no morphisms (to any object) but it has no objects from which to draw a terminal-object so it has no terminal-object.

The category \( \textbf{1} \) has a terminal object but the category with one object and one morphism in addition to the identity-morphism does not have a terminal-object [uniqueness is violated].

`Maybe the simplest category without a terminal object is \\( \textbf{2} := [ 1 \, 2 ] \\) the discrete category of two objects. Does \\( \textbf{0} \\) qualify? It has no morphisms (to any object) but it has no objects from which to draw a terminal-object so it has no terminal-object. The category \\( \textbf{1} \\) has a terminal object but the category with one object and one morphism in addition to the identity-morphism does not have a terminal-object [uniqueness is violated].`