Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aarhus Universitet Forside
Hjælp og OSS
English
Dansk
Forside
Profiler
Forskningsenheder
Projekter
Publikation
Priser
Aktiviteter
Kurser
Presse/medier
Søg efter ekspertise, navn eller tilknytning
Cubical sets as a classifying topos
Bas Spitters
Institut for Datalogi
Publikation
:
Konferencebidrag
›
Konferenceabstrakt til konference
›
Forskning
203
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Cubical sets as a classifying topos'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Mathematics
Topos
100%
Type Theory
66%
Cube
33%
Model Set
33%
Inductive Type
33%
Homotopy Type
33%