Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Effective Kan Fibrations in Simplicial Sets / Benno van den Berg, Eric Faber
| Effective Kan Fibrations in Simplicial Sets / Benno van den Berg, Eric Faber |
| Autore | Berg, Benno van den |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | x, 230 p. : ill. ; 24 cm |
| Altri autori (Persone) | Faber, Eric |
| Soggetto topico | 18-XX - Category theory; homological algebra [MSC 2020] |
| Soggetto non controllato |
Constructive mathematics
Homotopy Type Theory Homotopy theory Kan Complexes Simplicial Sets |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260795 |
Berg, Benno van den
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Effective Kan Fibrations in Simplicial Sets / Benno van den Berg, Eric Faber
| Effective Kan Fibrations in Simplicial Sets / Benno van den Berg, Eric Faber |
| Autore | Berg, Benno van den |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | x, 230 p. : ill. ; 24 cm |
| Altri autori (Persone) | Faber, Eric |
| Soggetto topico | 18-XX - Category theory; homological algebra [MSC 2020] |
| Soggetto non controllato |
Constructive mathematics
Homotopy Type Theory Homotopy theory Kan Complexes Simplicial Sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00260795 |
|
Berg, Benno van den
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors
| Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | VI, 110 p. : ill. ; 24 cm |
| Soggetto topico |
53Axx - Classical differential geometry [MSC 2020]
55Pxx - Homotopy theory [MSC 2020] |
| Soggetto non controllato |
CR-geometry
Conformal geometry Homotopy Type Theory Isoperimetric inequality Univalent Categories Yamabe problem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113689 |
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors
| Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | VI, 110 p. : ill. ; 24 cm |
| Soggetto topico |
53Axx - Classical differential geometry [MSC 2020]
55Pxx - Homotopy theory [MSC 2020] |
| Soggetto non controllato |
CR-geometry
Conformal geometry Homotopy Type Theory Isoperimetric inequality Univalent Categories Yamabe problem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113689 |
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||