mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-08-17 04:20:21 +03:00
commit
778727333a
@ -437,7 +437,7 @@ By now you probably realized that the *and* and *or* operations are the bread an
|
||||
|
||||
![Order meet and joing](../05_logic/lattice_meet_join.svg)
|
||||
|
||||
Here comes the first criteria for an order to represent a logical system accurately - *it has to have $meet$ and $join$ operations for all elements*. Having two elements without a meet would mean that you would have a logical system where there are propositions for which you cannot say that one or the other is true. And this not how logic works, so our order has to have meets and joins for all elements. Incidentally we already know how such orders are called - they are called *lattices*.
|
||||
Here comes the first criteria for an order to represent a logical system accurately - *it has to have $meet$ and $join$ operations for all elements*. Having two elements without a meet would mean that you would have a logical system where there are propositions for which you cannot say that one or the other is true. And this is not how logic works, so our order has to have meets and joins for all elements. Incidentally we already know how such orders are called - they are called *lattices*.
|
||||
|
||||
One important law of the *and* and *or* operations, that is not always present in the *meet*-s and *join*-s concerns the connection between the two, i.e. way that they distribute, over one another.
|
||||
|
||||
@ -499,7 +499,7 @@ So this is the final condition for an order/lattice to be a representation of lo
|
||||
|
||||
Without being too formal, let's try to test if this definition captures the concept correctly by examining a few special cases.
|
||||
|
||||
For example, let's take $A$ and $B$ to be the same object. In this case, ($A → B$) (or ($A → A$) if you want to be pedantic) would be the topmost object $X$ for which the criteria given by the formula $A ∧ X → A$ is satisfied. But in this case the formula is *always satisfied* as the *meet* of $A$ and any other object would always be below $A$. So this formula is always for all $X$. The topmost object that fits it is, then, the topmost object out there i.e. $True$.
|
||||
For example, let's take $A$ and $B$ to be the same object. In this case, ($A → B$) (or ($A → A$) if you want to be pedantic) would be the topmost object $X$ for which the criteria given by the formula $A ∧ X → A$ is satisfied. But in this case the formula is *always satisfied* as the *meet* of $A$ and any other object would always be below $A$. So this formula is always satisfied for all $X$. The topmost object that fits it is, then, the topmost object out there i.e. $True$.
|
||||
|
||||
![Implies identity](../05_logic/implies_identity.svg)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user