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

- All Categories 2.4K
- Chat 504
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 111
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 718

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].`