Computational Interpretation of Topos Theory
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 6 | |
| 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/46724 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | ||
| Genre | ||
| Abstract |
|
00:00
Inklusion <Mathematik>ComputerphysikMathematikMathematische LogikIntuitionistische LogikSchlussregelFormale PotenzreiheAlgebraische StrukturLineare DarstellungCharakteristisches PolynomRekursionPhysikalische TheorieDynamisches SystemKategorie <Mathematik>Physikalische TheorieDifferenzkernValiditätModelltheorieMathematische LogikUniformer RaumFigurierte ZahlMathematikDelisches ProblemZahlzeichenDivergente ReiheCharakteristisches PolynomElement <Gruppentheorie>Kartesische KoordinatenKörper <Algebra>MultiplikationsoperatorOrdnung <Mathematik>DifferenteRekursive FunktionObjekt <Kategorie>Fields-MedailleSummierbarkeitKonstruktive MathematikMathematikerinZusammenhängender GraphStrömungsrichtungAlgebraische StrukturLeckPunktGruppenoperationEinsKette <Mathematik>Formation <Mathematik>Ausdruck <Logik>Coxeter-GruppeResultanteIrrationale ZahlModulformFolge <Mathematik>HorizontaleIndexberechnungAdditionBereichsschätzungKnotenpunktForcingRechter WinkelTabelleGegenbeispielEinfach zusammenhängender RaumVakuumStatistische HypotheseVollständigkeitVerschiebungsoperatorMengenlehreJensen-MaßInverseRekursionstheorieTopostheorieIntuitionistische MathematikGesetz <Physik>PolynomRationale ZahlQuadratzahlBoolesche AlgebraÜbergangParametersystemAuswahlaxiomGrothendieck-TopologieVorlesung/Konferenz
09:52
ModelltheorieIdeal <Mathematik>Mengentheoretische TopologieMinkowski-MetrikPrimidealHill-DifferentialgleichungPunktspektrumDistributivgesetzPunktgitterRelation <Mathematik>Physikalische TheorieWeg <Topologie>MengenlehreFormation <Mathematik>IndexberechnungKonstruktive MathematikPunktspektrumAllgemeine AlgebraModelltheorieDistributionenraumObjekt <Kategorie>Fächer <Mathematik>GrenzschichtablösungEntscheidungstheorieMedianwertAggregatzustandGrothendieck-TopologiePrimidealParametersystemQuelle <Physik>TVD-VerfahrenDifferenteVerzerrungstensorEuler-WinkelGibbs-VerteilungEinfacher RingMaßerweiterungKlassische PhysikEvolutionsstrategieAlgebraische KörpererweiterungExistenzsatzRelativitätstheorieMathematikOrbit <Mathematik>WasserdampftafelPunktGruppenoperationKomplementaritätBinomialbaumFigurierte ZahlWechselsprungBeobachtungsstudiePhysikalische TheorieResultanteLateinisches QuadratOrtsoperatorEndlich erzeugte GruppeTopologieForcingKategorie <Mathematik>SchwebungOrdnung <Mathematik>StrömungsrichtungGebäude <Mathematik>GradientValiditätRekursive FunktionModulformLineare DarstellungHorizontaleFamilie <Mathematik>Negative ZahlAlgebraisches ModellKörper <Algebra>Numerische MathematikFilter <Stochastik>Coxeter-GruppeRekursionstheorieMultiplikationsoperatorDistributiver VerbandMengenlehreStochastische AbhängigkeitOffene MengeTopostheorieGarbentheorieAxiomWiderspruchsfreiheitPunktgitterIdeal <Mathematik>VerschiebungsoperatorElement <Gruppentheorie>BeweistheorieComputeranimation
19:43
DistributivgesetzPunktgitterIdeal <Mathematik>Physikalische TheorieWiderspruchsfreiheitTheoremRadikal <Mathematik>ComputerphysikPrädikat <Logik>ModelltheoriePunktspektrumGarbentheorieStammfunktionAussage <Mathematik>Produkt <Mathematik>PolynomZeitbereichPrimidealExistenzsatzEliminationsverfahrenElement <Gruppentheorie>Minkowski-MetrikFormale PotenzreiheAlgebraische StrukturOrdnungsreduktionNoetherscher RingStatistische HypotheseLemma <Logik>IntegralPaarvergleichKonvexe HülleKommutativgesetzBimodulFunktorEndlich erzeugter ModulAlgebraisches ModellMathematikGrothendieck-TopologieTopostheorieMengentheoretische TopologieEndlich erzeugte GruppeKlassische PhysikBimodulModelltheorieBeweistheorieObjekt <Kategorie>RöhrenflächeAlgebraische StrukturKonstruktive MathematikMathematikZeitbereichValiditätLateinisches QuadratRichtungKoeffizientAbstandKategorie <Mathematik>Mathematische LogikEinfacher RingMathematikerinBerechenbare FunktionHorizontaleSpezielle unitäre GruppeKartesische KoordinatenProdukt <Mathematik>WiderspruchsfreiheitIntegritätsbereichPrimidealKlasse <Mathematik>KommutativgesetzGreen-FunktionFreie GruppeIteriertes FunktionensystemAussage <Mathematik>Translation <Mathematik>Lie-GruppePunktrechnungRestklassePunktspektrumForcingGruppendarstellungFigurierte ZahlProfil <Aerodynamik>MultiplikationsoperatorElement <Gruppentheorie>AggregatzustandEliminationsverfahrenNumerische MathematikStatistische HypotheseOffene MengeStellenringStationäre VerteilungExistenzsatzSpezifisches VolumenSigma-AlgebraParametersystemRadikal <Mathematik>PolynomTopostheorieRelativitätstheorieDifferenteIdeal <Mathematik>PunktgitterPhysikalische TheorieJensen-MaßLemma <Logik>TermVerschiebungsoperatorVollständige InduktionKommutative AlgebraPunktFaserbündelComputeranimation
29:35
ZehnAlgebraisch abgeschlossener KörperWurzel <Mathematik>Algebraisches ModellMaßerweiterungPolynomPhysikalische TheorieTopostheorieComputerphysikHeegaard-ZerlegungIdeal <Mathematik>GruppenoperationAnalysisMathematikNeunzehnUnendlichkeitGrothendieck-TopologieÜberlagerung <Mathematik>KonditionszahlAlgebraische ZahlGarbentheorieModelltheorieAbelsche KategorieCharakteristisches PolynomInverseGleichheitszeichenApproximationFaktorisierungWiderspruchsfreiheitKörper <Algebra>Mathematische LogikDynamisches SystemKurveGrothendieck-TopologieApproximationTopostheorieFinitismusAlgebraisches ModellAlgebraisch abgeschlossener KörperPolynomMaßerweiterungKörper <Algebra>Wurzel <Mathematik>Topologischer RaumMereologieWiderspruchsfreiheitPrimidealÜberlagerung <Mathematik>Ordnung <Mathematik>GruppendarstellungAuswahlaxiomLineare DarstellungFisher-InformationVerschiebungsoperatorElement <Gruppentheorie>Heegaard-ZerlegungMomentenproblemBerechenbare FunktionBeweistheorieTeilbarkeitObjekt <Kategorie>InverseAggregatzustandAlgebraische ZahlModelltheorieIdeal <Mathematik>EndlichkeitFamilie <Mathematik>Folge <Mathematik>GrenzschichtablösungOrdnungsreduktionKonditionszahlGrundraumKategorie <Mathematik>Numerische MathematikTourenplanungWellenpaketNichtlinearer OperatorMultiplikationsoperatorHorizontaleStatistikGibbs-VerteilungDeskriptive StatistikStrömungsrichtungAllegorie <Mathematik>Physikalische TheorieModulformCharakteristisches PolynomForcingNichtlineares GleichungssystemCliquenweiteUnordnungKonstruktive MathematikEinfacher RingPerfekte GruppeWasserdampftafelFigurierte ZahlEndlich erzeugte GruppeFächer <Mathematik>Gebäude <Mathematik>SchwebungNeumann-ProblemVorlesung/Konferenz
39:27
ApproximationIdeal <Mathematik>Algebraische ZahlAlgebraisch abgeschlossener KörperPolynomFaktorisierungUnendlichkeitComputerphysikModelltheoriePhysikalische TheorieTopostheorieGeometrieBeweistheorieTheoremHelmholtz-ZerlegungMaßerweiterungGarbentheorieMathematikE-FunktionProdukt <Mathematik>GruppendarstellungDruckverlaufMinkowski-MetrikGrundraumMengentheoretische TopologieIsomorphieklasseARCH-ProzessAnalysisHeegaard-ZerlegungGruppenoperationNeunzehnEinsRechenschieberTeilbarkeitOrdnung <Mathematik>Deskriptive StatistikKombinatorBerechenbare FunktionModelltheorieAlgebraische KurveErweiterungExistenzsatzMathematische LogikFormale PotenzreiheHeegaard-ZerlegungTermAlgebraisch abgeschlossener KörperTopologieKörper <Algebra>TopostheorieProdukt <Mathematik>Arithmetisches MittelVerschiebungsoperatorAnalysisDynamisches SystemKoeffizientElement <Gruppentheorie>PotenzreiheMaßerweiterungWärmeausdehnungMultiplikationsoperatorKomplex <Algebra>Kategorie <Mathematik>Folge <Mathematik>AuswahlaxiomAlgebraische ZahlPotenz <Mathematik>UmwandlungsenthalpiePunktMengenlehreGruppenoperationKonditionszahlBeweistheorieGrundraumKartesische KoordinatenStrömungsrichtungStereometrieWellenlehreKonstanteTourenplanungKomplexe EbeneMinkowski-Metrikt-TestPhysikalische TheorieWechselsprungTheoremHebelModulformObjekt <Kategorie>Gewicht <Ausgleichsrechnung>Inklusion <Mathematik>Profil <Aerodynamik>QuaderAggregatzustandGraphfärbungRichtungLinearisierungKette <Mathematik>Figurierte ZahlAerothermodynamikComputeranimation
49:18
ComputerphysikTopostheorieIdeal <Mathematik>PrimidealHeegaard-ZerlegungMathematikAnalysisGruppenoperationPunktgitterPunktspektrumMengenlehreMinkowski-MetrikMengentheoretische TopologieDistributivgesetzRelation <Mathematik>TopostheorieGruppenoperationWiderspruchsfreiheitHeegaard-ZerlegungKlasse <Mathematik>MatchingAlgebraisch abgeschlossener KörperKörper <Algebra>Gibbs-VerteilungAlgebraisches ModellMathematische LogikTheoremKombinatorDeskriptive StatistikMinkowski-MetrikMengenlehreDistributiver VerbandPrimidealExistenzsatzMorphismusMultifunktionPhysikalische TheorieZeitbereichIdeal <Mathematik>MaßerweiterungPunktGrundraumMeterResultanteAxiomApproximationAlgebraische FunktionDifferenteBeweistheorieMatrizenrechnungAnalytische FortsetzungLeistung <Physik>AdditionÄquivalenzklasseReelle ZahlMultiplikationParametersystemFinitismusMereologieStatistische HypothesePolynomFormation <Mathematik>Konstruktive MathematikMultiplikationsoperatorZentralisatorKlassische PhysikDeterminanteGeradeQuadratzahlGesetz <Physik>Radikal <Mathematik>
59:10
Diagramm
Transkript: Englisch(automatisch erzeugt)