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

- All Categories 2.3K
- Chat 499
- Study Groups 18
- Petri Nets 9
- Epidemiology 3
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 67
- Azimuth Code Project 110
- Statistical methods 3
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708

Options

Let \( S \) be a set and let \( \mathbb{P}(S) \) be its powerset, the set of all subsets of \( S \),
including the empty subset, \( \emptyset \subseteq S \), and the “everything” subset, \( S \subseteq S \).
We can give \( \mathbb{P}(S) \) an order: \( A \le B \) is given by the subset relation \( A \subseteq B \), as discussed in **Example 1.40**.
We propose a symmetric monoidal structure on \( \mathbb{P}(S) \) with monoidal unit \( S \) and monoidal product given by intersection \( A \cap B \).

Does it satisfy the conditions of Definition 2.2?

## Comments

Let \(R \in P(S)\)

a) For unitarity, we need to show that \(R \cap S = S \cap R = R\)

Since \(R \subseteq S\), we know that \(r \in R \Rightarrow r \in S \) so \(\cap\) does nothing

b) For monotonicity, we need to show that \( A \subseteq C \land B \subseteq D \Rightarrow A \cap C \subseteq B \cap D \)

From the left side of the implication, we get

$$a \in A \Rightarrow a \in C$$ $$b \in B \Rightarrow b \in D$$ So \(a, b \in A \cap B \Rightarrow a, b \in C \cap D\) which is equivalent to the right of the implication by the extension axiom of sets

c) and d) Associativity and commutativity

$$A \cap (B \cap C) = (A \cap B) \cap C$$ $$A \cap B = B \cap A$$ Follows from the definition of \(\cap\) (consider a Venn diagram of 3 and 2 circles respectively)

`Let \\(R \in P(S)\\) a) For unitarity, we need to show that \\(R \cap S = S \cap R = R\\) Since \\(R \subseteq S\\), we know that \\(r \in R \Rightarrow r \in S \\) so \\(\cap\\) does nothing b) For monotonicity, we need to show that \\( A \subseteq C \land B \subseteq D \Rightarrow A \cap C \subseteq B \cap D \\) From the left side of the implication, we get $$a \in A \Rightarrow a \in C$$ $$b \in B \Rightarrow b \in D$$ So \\(a, b \in A \cap B \Rightarrow a, b \in C \cap D\\) which is equivalent to the right of the implication by the extension axiom of sets c) and d) Associativity and commutativity $$A \cap (B \cap C) = (A \cap B) \cap C$$ $$A \cap B = B \cap A$$ Follows from the definition of \\(\cap\\) (consider a Venn diagram of 3 and 2 circles respectively)`