What would you like to understand?

The numbers 2 and π are used as concrete examples to illustrate how the inclusion functor $I$ and the floor functor $F$ act on objects. The lecturer computes $I(2) = 2$ and $F(\pi) = \lfloor \pi \rfloor = 3$ to build intuition for the adjunction before deriving the general inequality equivalence.

Conditions: The example is set in the categories $\mathbb{Z}$ and $\mathbb{R}$.; $I$ is the inclusion functor $\mathbb{Z} \to \mathbb{R}$.; $F$ is the floor functor $\mathbb{R} \to \mathbb{Z}$.

The numbers 2 and π are used as concrete examples to illustrate how the inclusion functor $I$ and the floor functor $F$ act on objects. The lecturer computes $I(2) = 2$ and $F(\pi) = \lfloor \pi \rfloor = 3$ to build intuition for the adjunction before deriving the general inequality equivalence.

Conditions: The example is set in the categories $\mathbb{Z}$ and $\mathbb{R}$.; $I$ is the inclusion functor $\mathbb{Z} \to \mathbb{R}$.; $F$ is the floor functor $\mathbb{R} \to \mathbb{Z}$.

This statement is the concrete order-theoretic consequence of the adjunction between the inclusion functor $I$ and the floor functor $F$. It means that for any integer $a$ and real number $b$, the inequality $a \le \lfloor b \rfloor$ holds exactly when $a \le b$ holds.

Conditions: $a$ must be an integer.; $b$ must be a real number.; The equivalence is stated as the consequence of the adjunction example.

This statement is the concrete order-theoretic consequence of the adjunction between the inclusion functor $I$ and the floor functor $F$. It means that for any integer $a$ and real number $b$, the inequality $a \le \lfloor b \rfloor$ holds exactly when $a \le b$ holds.

Conditions: $a$ must be an integer.; $b$ must be a real number.; The equivalence is stated as the consequence of the adjunction example.

In the example, $I$ is the inclusion functor from the category of integers $\mathbb{Z}$ to the category of real numbers $\mathbb{R}$, and $F$ is the floor-function functor from $\mathbb{R}$ to $\mathbb{Z}$. The lecturer states that $I$ is left adjoint to $F$.

Conditions: Defined between the two order-categories $\mathbb{Z}$ and $\mathbb{R}$.; $I$ is the inclusion functor $\mathbb{Z}\to\mathbb{R}$.; $F$ is the floor-function functor $\mathbb{R}\to\mathbb{Z}$.

In the example, $I$ is the inclusion functor from the category of integers $\mathbb{Z}$ to the category of real numbers $\mathbb{R}$, and $F$ is the floor-function functor from $\mathbb{R}$ to $\mathbb{Z}$. The lecturer states that $I$ is left adjoint to $F$.

Conditions: Defined between the two order-categories $\mathbb{Z}$ and $\mathbb{R}$.; $I$ is the inclusion functor $\mathbb{Z}\to\mathbb{R}$.; $F$ is the floor-function functor $\mathbb{R}\to\mathbb{Z}$.