Compare commits
4 Commits
baa199c50f
...
e7cb818f05
Author | SHA1 | Date | |
---|---|---|---|
e7cb818f05 | |||
ed89ade5e3 | |||
80d2eec5ed | |||
8d980b0287 |
@ -330,8 +330,8 @@ identity as \\(\\{\\circ\\}\\), and verify that it is indeed the identity:
|
|||||||
|
|
||||||
{{< latex >}}
|
{{< latex >}}
|
||||||
\begin{gathered}
|
\begin{gathered}
|
||||||
\{\circ\} \times A = \{ \circ \rightarrow a\ |\ a \rightarrow A \} = \{ a \ |\ a \in A \} = A \\
|
\{\circ\} \times A = \{ \circ \rightarrow a\ |\ a \in A \} = \{ a \ |\ a \in A \} = A \\
|
||||||
A \times \{\circ\}= \{ a\rightarrow \circ \ |\ a \rightarrow A \} = \{ a \ |\ a \in A \} = A
|
A \times \{\circ\}= \{ a\rightarrow \circ \ |\ a \in A \} = \{ a \ |\ a \in A \} = A
|
||||||
\end{gathered}
|
\end{gathered}
|
||||||
{{< /latex >}}
|
{{< /latex >}}
|
||||||
|
|
||||||
|
@ -1 +1 @@
|
|||||||
Subproject commit 667440d2e3276f11961f425ab28939ca5836c904
|
Subproject commit f56465c5ecf559b36201715f2cad51cd00e2a793
|
Loading…
Reference in New Issue
Block a user