Skip to content
START WITH A QUESTION

What would you like to understand?

Find an answer. See the moment it becomes clear. Follow the idea further.

← Concept directory

Answers for “如何使用偏序关系 $\le$ 定义实数范畴?”

1 keyword matches

Understanding your question. You can explore the search results below now.

Meet the concept

↗

Naturality in AA means that the adjunction correspondence is compatible with precomposition by any morphism h:A′→Ah:A'\to A. Specifically, taking a morphism A→G(B)A\to G(B), precomposing with hh, and then translating across the adjunction gives the same result as first translating A→G(B)A\to G(B) to F(A)→BF(A)\to B and then precomposing with F(h):F(A′)→F(A)F(h):F(A')\to F(A).

Conditions: Fix an object B∈BB\in\mathcal{B}.; The statement quantifies over all morphisms h:A′→Ah:A'\to A in A\mathcal{A}.; The correspondence is between morphisms in A\mathcal{A} and morphisms in B\mathcal{B}.