Hochschulschrift

Formalizing Cartan Geometry in Modal Homotopy Type Theory

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
Karlsruhe, Karlsruher Institut für Technologie (KIT), Dissertation, 2017

Classification
Mathematik

Event
Veröffentlichung
(where)
Karlsruhe
(who)
KIT-Bibliothek
(when)
2017
Creator
Wellen, Felix
Contributor
Herrlich, F.

URN
urn:nbn:de:swb:90-731648
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:56 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Hochschulschrift

Associated

  • Wellen, Felix
  • Herrlich, F.
  • KIT-Bibliothek

Time of origin

  • 2017

Other Objects (12)

Motivic homotopy theory in derived algebraic geometry

Hochschulschrift

Motivic homotopy theory in derived algebraic geometry

Graded Modal Dependent Type Theory

zweidimensionales bewegtes Bild

Graded Modal Dependent Type Theory

Simplicial homotopy theory

Simplicial homotopy theory

Rational homotopy theory

Rational homotopy theory

Fibrewise homotopy theory

Fibrewise homotopy theory

Simplicial homotopy theory

Simplicial homotopy theory

Equivariant stable homotopy theory

Equivariant stable homotopy theory

Elements of homotopy theory

Elements of homotopy theory

Abstract motivic homotopy theory

Hochschulschrift

Abstract motivic homotopy theory

Elements of homotopy theory

Elements of homotopy theory

Random simple-homotopy theory

Random simple-homotopy theory

Modal theory : an algebraic approach to order, geometry, and convexity

Modal theory : an algebraic approach to order, geometry, and convexity

Related objects