BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260608T052113Z DTSTART;TZID=Europe/Warsaw:20160208T040000 DTEND;TZID=Europe/Warsaw:20160208T043000 SUMMARY:(De)constructing Points: From Topology to Mereology and Back UID:20260617T202326Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm TZID:Europe/Warsaw LOCATION:Okopowa 55 \, Warsaw\, Poland\, 01-043 DESCRIPTION:

(De)constructing Points: From Topology to Mereology and Back
Abstract Points are considered as fundamental ingredients of topology spaces. For instance\, a \;topological space is defined as a set X of &ldquo\;points&rdquo\; endowed with some &ldquo\;topological structure&rdquo\; encapsulated in the set OX of open subsets of X\, OX being a subset of the power set PX of X. The set OX of open sets of a topological space has the lattice-theoretical structure of a complete Heyting algebra. As is well known\, many basic concepts of topology can actually expressed without points\, but using only the lattice-theoretical structure of OX only\, for instance continuity and connectedness. This has led to what has been described as &ldquo\;pointfree topology&rdquo\;. Indeed\, pointfree topology may be characterized as a kind of non-classical mereology based on systems of regions exhibiting the structure of complete Heyting algebras instead of Boolean algebras as is the case for classical mereology. On the other hand\, given an appropriate (pointfree) Heyting mereological algebras H\, it is possible to construct for H a set of ersatz points pt(H). This set pt(H) may be endowed with a canonical topological structure O(pt(H)) isomorphic to H. In this way\, under some mild restrictions\, topological spaces and mereological systems may be considered as equivalent.

ORGANIZER;CN=Miroslaw Szatkowski ;CN=Bartlomiej Skowron: METHOD:PUBLISH END:VEVENT END:VCALENDAR