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

- All Categories 2.2K
- Applied Category Theory Course 354
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

Options

There are five partitions possible on a set with three elements, say \( T = {12, 3, 4} \).

**Example 1.86**.
Let \( S = {1, 2, 3, 4} \), \( T = {12, 3, 4} \), and \( g: S \rightarrow T \) by \( g(1) = g(2) = 12 , g(3) = 3, \text{ and } g(4) = 4 \).

Using the same \( S \) and \( g: S \rightarrow T \) as in Example 1.76, determine the partition \( g^*(c) \) on \( S \) for each of the five partitions \( c: T \twoheadrightarrow P \).

## Comments

The partitions on \(T\) are

[1234],[12][34],[123][4],[124][3],[12][3][4].

The images of these partitions under \(g^*\) are

[1234],[12][34],[123][4],[124][3],[12][3][4]

where now \(1\) and \(2\) are distinct elements of \(S\), though they always appear in the pulled-back partitions together (because \(g\) maps them to the same element of \(T\)).

`The partitions on \\(T\\) are [1234],[12][34],[123][4],[124][3],[12][3][4]. The images of these partitions under \\(g^*\\) are [1234],[12][34],[123][4],[124][3],[12][3][4] where now \\(1\\) and \\(2\\) are distinct elements of \\(S\\), though they always appear in the pulled-back partitions together (because \\(g\\) maps them to the same element of \\(T\\)).`