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

- All Categories 2.3K
- Chat 496
- Study Groups 10
- Epidemiology 5
- Network Theory 2
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 52
- 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 2
- Strategy 111
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 707

Options

Let’s make some definitions, based on the pattern in the previous exercise:

1) What is the category **1**? That is, what are its objects and morphisms?

2) What is the category **0**?

3) What is the formula for the number of morphisms in **n** for arbitrary \(n \in \mathbb{N} \) ?

## Comments

The Category \(\mathbf{1}\) has one object 0, and one arrow \(id_0)\).

`The Category \\(\mathbf{1}\\) has one object 0, and one arrow \\(id_0)\\).`

2)

0is the category with no objects or morphisms (i.e., both sets are \(\emptyset\).3) Claim: There are \(\frac{n(n+1)}{2}\) morphisms in

nfor all \(n\in\mathbb{N}\). Proof: For every two objects, say \(p>q\), innthere is exactly one one morphism, that obtained from the compositions \(f_{p-1}\circ f_{p-2}\circ\cdots\circ f_{q+1}\circ f_q\). By definition ofn, these constitute all of the non-identity morphisms inn. So, there are \(\binom{n}{2}=\frac{n(n-1)}{2}\) non-identity morphisms and \(n\) identity morphisms, for a total of \(\frac{n(n+1)}{2}\) morphisms.`2) **0** is the category with no objects or morphisms (i.e., both sets are \\(\emptyset\\). 3) Claim: There are \\(\frac{n(n+1)}{2}\\) morphisms in **n** for all \\(n\in\mathbb{N}\\). Proof: For every two objects, say \\(p>q\\), in **n** there is exactly one one morphism, that obtained from the compositions \\(f_{p-1}\circ f_{p-2}\circ\cdots\circ f_{q+1}\circ f_q\\). By definition of **n**, these constitute all of the non-identity morphisms in **n**. So, there are \\(\binom{n}{2}=\frac{n(n-1)}{2}\\) non-identity morphisms and \\(n\\) identity morphisms, for a total of \\(\frac{n(n+1)}{2}\\) morphisms.`

3) The recursive function is $$ f(n)= \begin{cases} 0, & \text{if $x \le 0$}.\\\\ f(n-1) + n, & \text{otherwise}. \end{cases} $$ The new element has a morphism to each of its predecessors \(n - 1\) and one to itself. Which is equivalent to $$ f(n) = \frac{n(n+1)}{2} = \frac{[n-1]([n-1]+1)}{2} + n $$

`3) The recursive function is \[ f(n)= \begin{cases} 0, & \text{if $x \le 0$}.\\\\ f(n-1) + n, & \text{otherwise}. \end{cases} \] The new element has a morphism to each of its predecessors \\(n - 1\\) and one to itself. Which is [equivalent to](https://forum.azimuthproject.org/discussion/comment/18665/#Comment_18665) \[ f(n) = \frac{n(n+1)}{2} = \frac{[n-1]([n-1]+1)}{2} + n \]`