| Creator |
|
| Language |
|
| Publisher |
|
|
|
| Date |
|
| Source Title |
|
| Vol |
|
| First Page |
|
| Last Page |
|
| Publication Type |
|
| Access Rights |
|
| Crossref DOI |
|
| Related DOI |
|
|
|
| Related URI |
|
|
|
| Relation |
|
|
|
| Abstract |
A Schröder category extends the category of all binary relations among sets, that is, it realises a relatively huge part of predicate logic. On the other hand Urysohn's lemma asserts that every pair o...f disjoint closed subsets in a $T_4$ topological space can be separated by a continuous function into the reals. Usually the lemma is demonstrated with calculus of elementary set theory. However the structure of this lemma is very interesting from a view point of lattice theory and relational method. This paper gives a relational proof for Urysohn's lemma within Schröder categories.show more
|
Export Mendeley
bic039_p069