mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-08-17 04:20:21 +03:00
Compare commits
7 Commits
bdc89227b5
...
ba5b87d8cf
Author | SHA1 | Date | |
---|---|---|---|
|
ba5b87d8cf | ||
|
778727333a | ||
|
aed20e39f3 | ||
|
89f7ee4b20 | ||
|
044c0743c9 | ||
|
ffcd803a0a | ||
|
f3672e0869 |
@ -10,7 +10,7 @@ Given a set of objects, there can be numerous criteria, based on which to order
|
||||
|
||||
However, currently we are not interested in the *criteria* that we can use to order objects, but in the *nature of the relationships* that define order. Of which there can be several types as well.
|
||||
|
||||
Mathematically, the order as a construct is represented (much like a monoid) by two two components.
|
||||
Mathematically, the order as a construct is represented (much like a monoid) by two components.
|
||||
|
||||
One is a *set of things* (e.g. colorful balls) which we sometimes call the order's *underlying set*.
|
||||
|
||||
|
@ -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)
|
||||
|
||||
|
@ -120,7 +120,7 @@ By the way, what we just did (taking a concept that is defined for a more narrow
|
||||
The problem with categorical isomorphisms
|
||||
---
|
||||
|
||||
By examining them more closely, we realize that categorical isomorphisms are not so hard to define. However there is another issue with them, namely that they *don't capture the essence of what categorical equality should be*. I have devised a very good and intuitive explanation why is it the case, that this ~~margin~~ section is to narrow to contain.
|
||||
By examining them more closely, we realize that categorical isomorphisms are not so hard to define. However there is another issue with them, namely that they *don't capture the essence of what categorical equality should be*. I have devised a very good and intuitive explanation why is it the case, that this ~~margin~~ section is too narrow to contain.
|
||||
|
||||
In the next chapter we will devise a more apt way to define a *two-way connection* between categories. But for this, we need to first examine *one-way connections* between them, i.e. *functors*.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user