Point-surjective morphism

Key takeaways

Point-surjective morphism belongs to science; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Point-surjective morphism to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Point-surjective morphism from memory before moving on to harder problems.

Reference excerpt

In category theory, a point-surjective morphism is a morphism f : X → Y {\displaystyle f:X\rightarrow Y} that "behaves" like surjections on the category of sets. The notion of point-surjectivity is an important one in Lawvere's fixed-point theorem, and it first was introduced by William Lawvere in his original article.

Definition

Point-surjectivity In a category C {\displaystyle \mathbf {C} } with a terminal object 1 {\displaystyle 1} , a morphism f : X → Y {\displaystyle f:X\rightarrow Y} is said to be point-surjective if for every morphism y : 1 → Y {\displaystyle y:1\rightarrow Y} , there exists a morphism x : 1 → X {\displaystyle x:1\rightarrow X} such that f ∘ x = y {\displaystyle f\circ x=y} .

Weak point-surjectivity

If Y {\displaystyle Y} is an exponential object of the form B A {\displaystyle B^{A}} for some objects A , B {\displaystyle A,B} in C {\displaystyle \mathbf {C} } , a weaker (but technically more cumbersome) notion of point-surjectivity can be defined. A morphism f : X → B A {\displaystyle f:X\rightarrow B^{A}} is said to be weakly point-surjective if for every morphism g : A → B {\displaystyle g:A\rightarrow B} there exists a morphism x : 1 → X {\displaystyle x:1\rightarrow X} such that, for every morphism a : 1 → A {\displaystyle a:1\rightarrow A} , we have

ϵ ∘ ⟨ f ∘ x , a ⟩ = g ∘ a {\displaystyle \epsilon \circ \langle f\circ x,a\rangle =g\circ a}

where ⟨ − , − ⟩ : A → B × C {\displaystyle \langle -,-\rangle :A\rightarrow B\times C} denotes the product of two morphisms ( A → B {\displaystyle A\rightarrow B} and A → C {\displaystyle A\rightarrow C} ) and ϵ : B A × A → B {\displaystyle \epsilon :B^{A}\times A\rightarrow B} is the evaluation map in the category of morphisms of C {\displaystyle \mathbf {C} } . Equivalently, one could think of the morphism f : X → B A {\displaystyle f:X\rightarrow B^{A}} as the transpose of some other morphism f ~ : X × A → B {\displaystyle {\tilde {f}}:X\times A\rightarrow B} . Then the isomorphism between the hom-sets H o m ( X × A , B ) ≅ H o m ( X , B A ) {\displaystyle \mathrm {Hom} (X\times A,B)\cong \mathrm {Hom} (X,B^{A})} allow us to say that f {\displaystyle f} is weakly point-surjective if and only if f ~ {\displaystyle {\tilde {f}}} is weakly point-surjective.

Relation to surjective functions in Set

Set elements as morphisms from terminal objects In the category of sets, morphisms are functions and the terminal objects are singletons. Therefore, a morphism a : 1 → A {\displaystyle a:1\rightarrow A} is a function from a singleton { x } {\displaystyle \{x\}} to the set A {\displaystyle A} : since a function must specify a unique element in the codomain for every element in the domain, we have that a ( x ) ∈ A {\displaystyle a(x)\in A} is one specific element of A {\displaystyle A} . Therefore, each morphism a : 1 → A {\displaystyle a:1\rightarrow A} can be thought of as a specific element of A {\displaystyle A} itself. For this reason, morphisms a : 1 → A {\displaystyle a:1\rightarrow A} can serve as a "generalization" of elements of a set, and are sometimes called global elements.

… excerpt ends here. Continue reading the full article.

Worked examples

Example 1 — a first encounter with Point-surjective morphism

Start with the simplest possible case. Write down what Point-surjective morphism claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In science, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Point-surjective morphism before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Point-surjective morphism ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Point-surjective morphism

In research: Point-surjective morphism appears in science research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Point-surjective morphism in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Point-surjective morphism is common in secondary-school and first-year university syllabi. It links to neighbouring topics Category theory, Morphisms, so understanding it makes those chapters shorter.
In everyday life: Look for Point-surjective morphism outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

How to study Point-surjective morphism in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Point-surjective morphism means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Point-surjective morphism out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Point-surjective morphism in simple terms?

In category theory, a point-surjective morphism is a morphism f : X → Y {\displaystyle f:X\rightarrow Y} that "behaves" like surjections on the category of sets. The notion of point-surjectivity is an important one in Lawvere's fixed-point theorem, and it first was introduced by William Lawvere in…

Why does Point-surjective morphism matter?

Because it connects several science ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Point-surjective morphism?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Point-surjective morphism.