Subsection 9.5.3 (010B): Forgetful Functors

Preferences





Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

*To be replaced with Linus Romer's Elemaints when it is released.

Table of Contents
Part 3: Category Theory
Chapter 9: Categories
Section 9.5: Functors
Subsection 9.5.3: Forgetful Functors (cite)

9.5.3 Forgetful Functors

Definition 9.5.3.1.1 ▶ Forgetful Functors

There isn’t a precise definition of a forgetful functor.

Remark 9.5.3.1.2 ▶ Unwinding Definition 9.5.3.1.1

Despite there not being a formal or precise definition of a forgetful functor, the term is often very useful in practice, similarly to the word “canonical”. The idea is that a “forgetful functor” is a functor that forgets structure or properties, and is best explained through examples, such as the ones below (see Example 9.5.3.1.3 and Example 9.5.3.1.4).

Example 9.5.3.1.3 ▶ Forgetful Functors That Forget Structure

Examples of forgetful functors that forget structure include:

1. Forgetting Group Structures. The functor $Grp \to Sets$ sending a group $(G, μ_{G}, η_{G})$ to its underlying set $G$ , forgetting the multiplication and unit maps $μ_{G}$ and $η_{G}$ of $G$ .
2. Forgetting Topologies. The functor $Top \to Sets$ sending a topological space $(X, T_{X})$ to its underlying set $X$ , forgetting the topology $T_{X}$ .
3. Forgetting Fibrations. The functor $FibSets (K) \to Sets$ sending a $K$ -fibred set $ϕ_{X} : X \to K$ to the set $X$ , forgetting the map $ϕ_{X}$ and the base set $K$ .

Example 9.5.3.1.4 ▶ Forgetful Functors That Forget Properties

Examples of forgetful functors that forget properties include:

1. Forgetting Commutativity. The inclusion functor $ι : CMon ↪ Mon$ which forgets the property of being commutative.
2. Forgetting Inverses. The inclusion functor $ι : Grp ↪ Mon$ which forgets the property of having inverses.

Notation 9.5.3.1.5 ▶ Notation For Forgetful Functors That Forget Structure

Throughout this work, we will denote forgetful functors that forget structure by $忘$ , e.g. as in

忘 : Grp \to Sets .

The symbol $忘$ , pronounced wasureru (see Item 1 of Remark 9.5.3.1.6 below), means to forget, and is a kanji found in the following words in Japanese and Chinese:

1. 忘れる, transcribed as wasureru, meaning to forget.
2. 忘却関手, transcribed as boukyaku kanshu, meaning forgetful functor.
3. 忘记 or 忘記, transcribed as wàngjì, meaning to forget.
4. 遗忘函子 or 遺忘函子, transcribed as yíwàng hánzǐ, meaning forgetful functor.

Remark 9.5.3.1.6 ▶ Pronunciation of the Words in Notation 9.5.3.1.5

Here we collect the pronunciation of the words in Notation 9.5.3.1.5 for accuracy and completeness.

1. Pronunciation of 忘れる:
- Audio:
- IPA broad transcription: [wäsɯɾe̞ɾɯ].
- IPA narrow transcription: [ɰᵝäsɨᵝɾe̞ɾɯ̟ᵝ].
2. Pronunciation of 忘却関手: Pronunciation:
- Audio:
- IPA broad transcription: [bo̞ːkʲäkɯ kä̃ɰ̃ɕɯ].
- IPA narrow transcription: [bo̞ːkʲäkɯ̟ᵝ kä̃ɰ̃ɕɯᵝ].
3. Pronunciation of 忘记:
- Audio:
- Broad IPA transcription: [wɑŋtɕi].
- Sinological IPA transcription: [wɑŋ⁵¹⁻⁵³t͡ɕi⁵¹].
4. Pronunciation of 遗忘函子:
- Audio:
- Broad IPA transcription: [iwɑŋ xänt͡sz̩ɨ].
- Sinological IPA transcription: [i³⁵wɑŋ⁵¹ xän³⁵t͡sz̩²¹⁴⁻²¹⁽⁴⁾].

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: