Toposes generated by compact projectives, and the example of condensed sets
Formale Metadaten
Titel |
| |
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 | 10.5446/55525 (DOI) | |
Herausgeber | ||
Erscheinungsjahr | ||
Sprache |
Inhaltliche Metadaten
Fachgebiet | ||
Genre | ||
Abstract |
|
00:00
Kopenhagener DeutungFormation <Mathematik>TopostheorieAllgemeine RelativitätstheorieVollständiger VerbandHomologieMultiplikationsoperatort-TestGrothendieck-TopologieMereologieKohomologieMengenlehreBesprechung/Interview
01:14
TopostheorieKategorie <Mathematik>TOEKlasse <Mathematik>ForcingProjektive EbeneMultiplikationsoperatorKondensation <Mathematik>MengenlehreUmwandlungsenthalpieMereologieComputeranimation
02:42
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
10:57
MeterKartesisches ProduktAssoziativgesetzKategorie <Mathematik>Abelsche GruppeVertauschungsrelationAlgebraische StrukturNichtlinearer OperatorFreie GruppeAxiomRangstatistikTermRelativitätstheorieGruppenoperationPhysikalische TheorieObjekt <Kategorie>Produkt <Mathematik>Projektiver ModulMengenlehreProjektive EbeneÜbergangFinitismusModulformAlgebraisches ModellComputeranimation
13:02
Kategorie <Mathematik>Freie GruppeFinitismusGruppenoperationKompakter RaumKlasse <Mathematik>Poisson-KlammerObjekt <Kategorie>Endlich erzeugte GruppeEinfacher RingPolynomringAlgebraische StrukturMathematikIdempotentVorhersagbarkeitPhysikalische TheorieAlgebraisches ModellGanze ZahlModulProjektive EbeneProjektiver ModulVektorpotenzialVollständigkeitModulformMengenlehreRechter WinkelRangstatistikComputeranimationVorlesung/Konferenz
15:48
TopostheorieAussage <Mathematik>Kompakter RaumTeilmengeFinitismusDifferenteProjektive EbeneHeegaard-ZerlegungÜberlagerung <Mathematik>Objekt <Kategorie>Zusammengesetzte VerteilungSurjektivitätKonditionszahlComputeranimationVorlesung/Konferenz
17:48
Projektive EbeneTopostheorieKompakter RaumMengenlehreTopologieAxiomEinsFinitismusÜberlagerung <Mathematik>Projektiver ModulKategorie <Mathematik>KonditionszahlHeegaard-ZerlegungGarbentheorieProdukt <Mathematik>Computeranimation
19:27
Helmholtz-ZerlegungFinitismusProdukt <Mathematik>Urbild <Mathematik>Objekt <Kategorie>MengenlehreArithmetisches MittelGrundraumComputeranimation
20:14
Gesetz <Physik>ARCH-ProzessTopostheorieSiebmethodeAxiomHelmholtz-ZerlegungProdukt <Mathematik>Kategorie <Mathematik>FinitismusLeckProjektive EbeneModulformPunktPerspektiveTopologieArithmetisches MittelProjektiver ModulSortierte LogikComputeranimation
22:01
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
24:57
FließgleichgewichtStetige FunktionSortierte LogikTopologischer RaumProendliche GruppeParametersystemNormalvektorMinimalgradMinkowski-MetrikTopologieMengenlehreBeweistheorieÜbergangswahrscheinlichkeitMultiplikationPhysikalische TheorieRelativitätstheorieFolge <Mathematik>TopostheorieInverser LimesGrothendieck-TopologieOffene MengeObjekt <Kategorie>TermKategorie <Mathematik>OptimierungKondensation <Mathematik>ComputeranimationVorlesung/Konferenz
26:31
MengenlehreTopostheorieBeobachtungsstudieAlgebraisches ModellTopologischer RaumComputeranimation
27:19
MengenlehreTopologischer RaumRechenbuchPunktFunktorDeskriptive StatistikStetige FunktionEinbettung <Mathematik>Minkowski-MetrikAnnulatorTopologieKlasse <Mathematik>CW-KomplexKondensation <Mathematik>Kappa-KoeffizientKomplex <Algebra>Computeranimation
28:48
Finite-Elemente-MethodeAlgebraische StrukturTopologieAlgebraisches ModellUnendlichkeitTopostheorieMinkowski-MetrikKompakter RaumVektorraumMengenlehreTopologischer RaumFunktionalanalysisReelle ZahlKlasse <Mathematik>TermKondensation <Mathematik>ComputeranimationVorlesung/Konferenz
30:03
Lokales MinimumMengenlehreEinfacher RingGeometrieAlgebraisches ModellKlassische PhysikSortierte LogikPhysikalische TheorieMinkowski-MetrikMereologieModulMannigfaltigkeitTopologieKondensation <Mathematik>GruppenoperationAnalytische MengeAnalytische FortsetzungEinsAbelsche GruppeFunktionalanalysisZahlensystemSuperstringtheorieTensorproduktVektorpotenzialFunktionentheorieUnendlichkeitObjekt <Kategorie>FunktorDifferenzierbare MannigfaltigkeitVollständigkeitAxiomRechter WinkelTopologischer KörperStetige FunktionGlattheit <Mathematik>Computeranimation
34:31
MengenlehreKompakter RaumMinkowski-MetrikEndlichkeitTopostheorieTopologieFinitismusGrothendieck-TopologieArithmetisches MittelProjektive EbeneVorhersagbarkeitObjekt <Kategorie>Kategorie <Mathematik>Proendliche GruppeSurjektivitätComputeranimationVorlesung/Konferenz
35:48
Dedekind-SchnittDreizehnProjektiver ModulSurjektivitätGrundraumMengenlehrePrimidealStetige FunktionGruppenoperationTopologieKompaktifizierungKategorie <Mathematik>Objekt <Kategorie>Proendliche GruppeHeegaard-ZerlegungProjektive EbeneDifferenteModulformGrothendieck-TopologieKompakter RaumAuswahlaxiomComputeranimationVorlesung/Konferenz
37:35
FinitismusAbelsche GruppeKategorie <Mathematik>ModulAxiomatikTopostheorieProjektive EbeneInverser LimesProjektiver ModulAbelsche KategorieVertauschungsrelationEinfacher RingInverseProdukt <Mathematik>Rechter WinkelRechenbuchKompakter RaumSignifikanztestAdditionDifferenteSuperstringtheoriePhysikalische TheorieGruppenoperationEndlich erzeugte GruppeFormation <Mathematik>Numerische MathematikComputeranimation
39:47
PerspektiveAlgebraisches ModellFamilie <Mathematik>Endlich erzeugte GruppeTourenplanungKategorie <Mathematik>Analytische MengeGeometrieTensorproduktEinfacher RingFunktionalanalysisDifferenteTopologischer KörperModulTopostheorieProjektive EbeneVollständigkeitAxiomatikMengenlehreMechanismus-Design-TheorieComputeranimation
41:32
GruppenoperationAusdruck <Logik>Mathematische LogikGruppendarstellungKondensation <Mathematik>Güte der AnpassungPunktTopostheorieMengenlehreKategorie <Mathematik>ModulProjektive EbeneStammfunktionÜbergangAbelsche KategorieFormale PotenzreiheComputeranimation
43:00
TopostheorieFinitismusProjektiver ModulÄquivalenzklasseKategorie <Mathematik>Inverser LimesQuotientProdukt <Mathematik>Algebraisch abgeschlossener KörperKompakter RaumObjekt <Kategorie>Kontrast <Statistik>Urbild <Mathematik>Güte der AnpassungNichtlinearer OperatorEinsArithmetisches MittelComputeranimation
44:53
AxiomTopostheorieDifferenteMengenlehreStandardabweichungPunktGrothendieck-TopologieKompakter RaumKategorie <Mathematik>Kondensation <Mathematik>TopologieMinkowski-MetrikProendliche GruppeRechter WinkelObjekt <Kategorie>FinitismusPhysikalische TheorieComputeranimationVorlesung/Konferenz
45:56
PermutationMassestromResultantePhysikalische TheorieTopostheorieRechenbuchAxiomEinfacher RingKategorie <Mathematik>ModulformTermTheoremAuflösung <Mathematik>Abelsche GruppeComputeranimation
47:03
ExponentLeistung <Physik>MengenlehreTheoremNumerische MathematikModulformProdukt <Mathematik>RelativitätstheorieAbelsche GruppeSummierbarkeitKartesisches ProduktArithmetischer AusdruckÜbergangswahrscheinlichkeitPoisson-KlammerKategorie <Mathematik>TermZweiEndlichkeitFreie GruppeFormation <Mathematik>GruppenoperationFinitismusComputeranimation
48:41
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
52:39
Spezielle unitäre GruppeLatent-Class-AnalyseAggregatzustandRechenbuchResultanteAuflösung <Mathematik>KugelMinkowski-MetrikKondensation <Mathematik>MengenlehreAbelsche GruppeMaßerweiterungReelle ZahlAnnulatorHomomorphismusMinimalgradGruppenoperationTermExakte SequenzKompakter RaumPerspektiveBeobachtungsstudieTheoremDivisionPunktBeweistheorieOrdnungsreduktionComputeranimationVorlesung/Konferenz
55:51
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
57:39
Gesetz <Physik>Kategorie <Mathematik>Auflösung <Mathematik>HomotopieZentrische StreckungKette <Mathematik>Abelsche GruppeStetige FunktionÜbergangMultiplikationReelle ZahlNatürliche ZahlTermGruppenoperationFunktorPoisson-KlammerKoeffizientLemma <Logik>Computeranimation
59:15
Gerichteter GraphTrigonometrische FunktionKomplex <Algebra>MultiplikationNormalvektorGebundener ZustandÜbergangswahrscheinlichkeitRechter WinkelFolge <Mathematik>Inverser LimesModulformAusdruck <Logik>TermBeweistheorieHomotopieSortierte LogikPhysikalische TheorieHomologieKategorie <Mathematik>MinimalgradMinkowski-MetrikParametersystemComputeranimation
01:02:01
MengenlehreComputeranimation
Transkript: Englisch(automatisch erzeugt)