We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Toposes generated by compact projectives, and the example of condensed sets

00:00

Formale Metadaten

Titel
Toposes generated by compact projectives, and the example of condensed sets
Serientitel
Anzahl der Teile
31
Autor
Mitwirkende
Lizenz
CC-Namensnennung 3.0 Unported:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
The simplest kind of Grothendieck topology is the one with only trivial covering sieves, where the associated topos is equal to the presheaf topos. The next simplest topology has coverings given by finite disjoint unions. From an intrinsic perspective, the toposes which arise from such a topology are exactly those which, as a category, have the useful property that they are generated by compact projective objects. I will discuss some general aspects of this situation, then specialize to a specific example, that of condensed sets. This is joint work with Peter Scholze.
Kopenhagener DeutungFormation <Mathematik>TopostheorieAllgemeine RelativitätstheorieVollständiger VerbandHomologieMultiplikationsoperatort-TestGrothendieck-TopologieMereologieKohomologieMengenlehreBesprechung/Interview
TopostheorieKategorie <Mathematik>TOEKlasse <Mathematik>ForcingProjektive EbeneMultiplikationsoperatorKondensation <Mathematik>MengenlehreUmwandlungsenthalpieMereologieComputeranimation
Spezielle unitäre GruppeSummierbarkeitLokales MinimumZahlzeichenMengenlehreKategorie <Mathematik>Objekt <Kategorie>Projektive EbeneTopologieKompakter RaumSortierte LogikAussage <Mathematik>MorphismusFinitismusKartesisches ProduktKonditionszahlRechter WinkelAsymptotikOrdnung <Mathematik>EndlichkeitDimensionsanalyseArithmetisches MittelInverser LimesProdukt <Mathematik>VertauschungsrelationRechenbuchProjektiver ModulAnalogieschlussUrbild <Mathematik>Filter <Stochastik>DifferenteKlasse <Mathematik>Reflexiver RaumZweiGeometrieMereologieHeegaard-ZerlegungStandardabweichungSimplexverfahrenDiagrammQuadratzahlElement <Gruppentheorie>TermKoeffizientModulformComputeranimationVorlesung/Konferenz
MeterKartesisches ProduktAssoziativgesetzKategorie <Mathematik>Abelsche GruppeVertauschungsrelationAlgebraische StrukturNichtlinearer OperatorFreie GruppeAxiomRangstatistikTermRelativitätstheorieGruppenoperationPhysikalische TheorieObjekt <Kategorie>Produkt <Mathematik>Projektiver ModulMengenlehreProjektive EbeneÜbergangFinitismusModulformAlgebraisches ModellComputeranimation
Kategorie <Mathematik>Freie GruppeFinitismusGruppenoperationKompakter RaumKlasse <Mathematik>Poisson-KlammerObjekt <Kategorie>Endlich erzeugte GruppeEinfacher RingPolynomringAlgebraische StrukturMathematikIdempotentVorhersagbarkeitPhysikalische TheorieAlgebraisches ModellGanze ZahlModulProjektive EbeneProjektiver ModulVektorpotenzialVollständigkeitModulformMengenlehreRechter WinkelRangstatistikComputeranimationVorlesung/Konferenz
TopostheorieAussage <Mathematik>Kompakter RaumTeilmengeFinitismusDifferenteProjektive EbeneHeegaard-ZerlegungÜberlagerung <Mathematik>Objekt <Kategorie>Zusammengesetzte VerteilungSurjektivitätKonditionszahlComputeranimationVorlesung/Konferenz
Projektive EbeneTopostheorieKompakter RaumMengenlehreTopologieAxiomEinsFinitismusÜberlagerung <Mathematik>Projektiver ModulKategorie <Mathematik>KonditionszahlHeegaard-ZerlegungGarbentheorieProdukt <Mathematik>Computeranimation
Helmholtz-ZerlegungFinitismusProdukt <Mathematik>Urbild <Mathematik>Objekt <Kategorie>MengenlehreArithmetisches MittelGrundraumComputeranimation
Gesetz <Physik>ARCH-ProzessTopostheorieSiebmethodeAxiomHelmholtz-ZerlegungProdukt <Mathematik>Kategorie <Mathematik>FinitismusLeckProjektive EbeneModulformPunktPerspektiveTopologieArithmetisches MittelProjektiver ModulSortierte LogikComputeranimation
Kondensation <Mathematik>Kategorie <Mathematik>Algebraisches ModellMengenlehreFormation <Mathematik>Topologischer RaumPhysikalische TheorieOrdnung <Mathematik>TopologieMinkowski-MetrikRechenbuchTopostheorieSurjektivitätÜbergangswahrscheinlichkeitHomologieGarbentheorieEndlichkeitFinitismusAusdruck <Logik>PerspektiveKappa-KoeffizientGrothendieck-TopologieMultiplikationsoperatorDreiecksfreier GraphInverser LimesInverseSortierte LogikBeweistheorieFolge <Mathematik>HomotopieModulformNormalvektorTermHomöomorphismusProendliche GruppeComputeranimationVorlesung/Konferenz
FließgleichgewichtStetige FunktionSortierte LogikTopologischer RaumProendliche GruppeParametersystemNormalvektorMinimalgradMinkowski-MetrikTopologieMengenlehreBeweistheorieÜbergangswahrscheinlichkeitMultiplikationPhysikalische TheorieRelativitätstheorieFolge <Mathematik>TopostheorieInverser LimesGrothendieck-TopologieOffene MengeObjekt <Kategorie>TermKategorie <Mathematik>OptimierungKondensation <Mathematik>ComputeranimationVorlesung/Konferenz
MengenlehreTopostheorieBeobachtungsstudieAlgebraisches ModellTopologischer RaumComputeranimation
MengenlehreTopologischer RaumRechenbuchPunktFunktorDeskriptive StatistikStetige FunktionEinbettung <Mathematik>Minkowski-MetrikAnnulatorTopologieKlasse <Mathematik>CW-KomplexKondensation <Mathematik>Kappa-KoeffizientKomplex <Algebra>Computeranimation
Finite-Elemente-MethodeAlgebraische StrukturTopologieAlgebraisches ModellUnendlichkeitTopostheorieMinkowski-MetrikKompakter RaumVektorraumMengenlehreTopologischer RaumFunktionalanalysisReelle ZahlKlasse <Mathematik>TermKondensation <Mathematik>ComputeranimationVorlesung/Konferenz
Lokales MinimumMengenlehreEinfacher RingGeometrieAlgebraisches ModellKlassische PhysikSortierte LogikPhysikalische TheorieMinkowski-MetrikMereologieModulMannigfaltigkeitTopologieKondensation <Mathematik>GruppenoperationAnalytische MengeAnalytische FortsetzungEinsAbelsche GruppeFunktionalanalysisZahlensystemSuperstringtheorieTensorproduktVektorpotenzialFunktionentheorieUnendlichkeitObjekt <Kategorie>FunktorDifferenzierbare MannigfaltigkeitVollständigkeitAxiomRechter WinkelTopologischer KörperStetige FunktionGlattheit <Mathematik>Computeranimation
MengenlehreKompakter RaumMinkowski-MetrikEndlichkeitTopostheorieTopologieFinitismusGrothendieck-TopologieArithmetisches MittelProjektive EbeneVorhersagbarkeitObjekt <Kategorie>Kategorie <Mathematik>Proendliche GruppeSurjektivitätComputeranimationVorlesung/Konferenz
Dedekind-SchnittDreizehnProjektiver ModulSurjektivitätGrundraumMengenlehrePrimidealStetige FunktionGruppenoperationTopologieKompaktifizierungKategorie <Mathematik>Objekt <Kategorie>Proendliche GruppeHeegaard-ZerlegungProjektive EbeneDifferenteModulformGrothendieck-TopologieKompakter RaumAuswahlaxiomComputeranimationVorlesung/Konferenz
FinitismusAbelsche GruppeKategorie <Mathematik>ModulAxiomatikTopostheorieProjektive EbeneInverser LimesProjektiver ModulAbelsche KategorieVertauschungsrelationEinfacher RingInverseProdukt <Mathematik>Rechter WinkelRechenbuchKompakter RaumSignifikanztestAdditionDifferenteSuperstringtheoriePhysikalische TheorieGruppenoperationEndlich erzeugte GruppeFormation <Mathematik>Numerische MathematikComputeranimation
PerspektiveAlgebraisches ModellFamilie <Mathematik>Endlich erzeugte GruppeTourenplanungKategorie <Mathematik>Analytische MengeGeometrieTensorproduktEinfacher RingFunktionalanalysisDifferenteTopologischer KörperModulTopostheorieProjektive EbeneVollständigkeitAxiomatikMengenlehreMechanismus-Design-TheorieComputeranimation
GruppenoperationAusdruck <Logik>Mathematische LogikGruppendarstellungKondensation <Mathematik>Güte der AnpassungPunktTopostheorieMengenlehreKategorie <Mathematik>ModulProjektive EbeneStammfunktionÜbergangAbelsche KategorieFormale PotenzreiheComputeranimation
TopostheorieFinitismusProjektiver ModulÄquivalenzklasseKategorie <Mathematik>Inverser LimesQuotientProdukt <Mathematik>Algebraisch abgeschlossener KörperKompakter RaumObjekt <Kategorie>Kontrast <Statistik>Urbild <Mathematik>Güte der AnpassungNichtlinearer OperatorEinsArithmetisches MittelComputeranimation
AxiomTopostheorieDifferenteMengenlehreStandardabweichungPunktGrothendieck-TopologieKompakter RaumKategorie <Mathematik>Kondensation <Mathematik>TopologieMinkowski-MetrikProendliche GruppeRechter WinkelObjekt <Kategorie>FinitismusPhysikalische TheorieComputeranimationVorlesung/Konferenz
PermutationMassestromResultantePhysikalische TheorieTopostheorieRechenbuchAxiomEinfacher RingKategorie <Mathematik>ModulformTermTheoremAuflösung <Mathematik>Abelsche GruppeComputeranimation
ExponentLeistung <Physik>MengenlehreTheoremNumerische MathematikModulformProdukt <Mathematik>RelativitätstheorieAbelsche GruppeSummierbarkeitKartesisches ProduktArithmetischer AusdruckÜbergangswahrscheinlichkeitPoisson-KlammerKategorie <Mathematik>TermZweiEndlichkeitFreie GruppeFormation <Mathematik>GruppenoperationFinitismusComputeranimation
Trigonometrische FunktionKompakter RaumAuflösung <Mathematik>Objekt <Kategorie>Projektive EbeneProdukt <Mathematik>HomologieFinitismusKomplex <Algebra>Zentrische StreckungTermKategorie <Mathematik>GruppenoperationPunktgitterAbelsche GruppePunktspektrumKugelAnalogieschlussSummierbarkeitBeweistheoriePermanenteFunktorAbelsche KategorieParametersystemSortierte LogikIterationLeistung <Physik>Monade <Mathematik>Projektiver ModulRechter WinkelRichtungMengenlehreAdditionFunktionalInklusion <Mathematik>Natürliche ZahlNichtunterscheidbarkeitTheoremPunktFreie GruppeLie-GruppeMinkowski-MetrikComputeranimationVorlesung/Konferenz
Spezielle unitäre GruppeLatent-Class-AnalyseAggregatzustandRechenbuchResultanteAuflösung <Mathematik>KugelMinkowski-MetrikKondensation <Mathematik>MengenlehreAbelsche GruppeMaßerweiterungReelle ZahlAnnulatorHomomorphismusMinimalgradGruppenoperationTermExakte SequenzKompakter RaumPerspektiveBeobachtungsstudieTheoremDivisionPunktBeweistheorieOrdnungsreduktionComputeranimationVorlesung/Konferenz
Fluss <Mathematik>HomotopieKondensation <Mathematik>Kette <Mathematik>Objekt <Kategorie>GruppenoperationTopostheorieStetige FunktionAuflösung <Mathematik>Abelsche GruppeProdukt <Mathematik>Rechter WinkelKategorie <Mathematik>GarbentheorieMengenlehreMinkowski-MetrikFinitismusKomplex <Algebra>Formation <Mathematik>DivisionSummierbarkeitFreie GruppeTermRichtungNormalvektorSupremum <Mathematik>Zentrische StreckungProjektive EbeneComputeranimation
Gesetz <Physik>Kategorie <Mathematik>Auflösung <Mathematik>HomotopieZentrische StreckungKette <Mathematik>Abelsche GruppeStetige FunktionÜbergangMultiplikationReelle ZahlNatürliche ZahlTermGruppenoperationFunktorPoisson-KlammerKoeffizientLemma <Logik>Computeranimation
Gerichteter GraphTrigonometrische FunktionKomplex <Algebra>MultiplikationNormalvektorGebundener ZustandÜbergangswahrscheinlichkeitRechter WinkelFolge <Mathematik>Inverser LimesModulformAusdruck <Logik>TermBeweistheorieHomotopieSortierte LogikPhysikalische TheorieHomologieKategorie <Mathematik>MinimalgradMinkowski-MetrikParametersystemComputeranimation
MengenlehreComputeranimation
Transkript: Englisch(automatisch erzeugt)