Francisco Javier Gutierrez García , Jorge Picado
Severalfamiliarresultsaboutnormalandextremallydisconnected(classicalorpointfree)spacesshapetheideathatthetwonotionsaresomehowdualtoeachotherandcanthereforebestudiedinparallel.Thispaperinvestigatesthesourceofthis�duality�andshowsthateachpairofparallelresultscanbeframedbythe�same�proof.Thekeytoolsforthispurposearerelativenotionsofnormality,extremaldisconnectedness,semicontinuityandcontinuity(withrespecttoafixedclassofcomplementedsublocalesofthegivenlocale)thatbringandextendtolocaletheoryavarietyofwell-knownclassicalvariantsofnormalityandupperandlowersemicontinuitiesinanilluminatingunifiedmanner.Thisapproachallowsustounifyunderasinglelocalicproofallclassicalinsertion,aswellastheircorrespondingextensionresults.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados