Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Cherubini, Felix"'
Working in an abstract, homotopy type theory based axiomatization of the higher Zariski-topos called synthetic algebraic geometry, we show that the Picard group of projective n-space is the integers, the automorphism group of projective n-space is PG
Externí odkaz:
http://arxiv.org/abs/2405.13916
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras over a fixe
Externí odkaz:
http://arxiv.org/abs/2307.00073
Autor:
NISHIMURA, Hirokazu
Publikováno v:
zbMATH Open.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::e8e31528f773c24c5b99c5d2967b52b0
https://tsukuba.repo.nii.ac.jp/records/2003165
https://tsukuba.repo.nii.ac.jp/records/2003165
Autor:
Cherubini, Felix, Rijke, Egbert
Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated to any modality, of which the left clas
Externí odkaz:
http://arxiv.org/abs/2003.09713
Autor:
Cherubini, Felix
This article constructs the moduli stack of torsionfree $G$-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any $\infty$-topos equipped with any stable factorization systems. In the in
Externí odkaz:
http://arxiv.org/abs/1806.05966
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cherubini, Felix, Rijke, Egbert
Publikováno v:
Mathematical Structures in Computer Science; Apr2022, Vol. 32 Issue 4, p363-391, 29p
This reference seeks to identify and briefly annotate a wide range of subjects relating to English musical culture, largely from the early 15th century through 1958, dates that reflect the coalescence of an identifiable English style in the early Ren
Autor:
R. Larry Todd
An extraordinary prodigy of Mozartean abilities, Felix Mendelssohn Bartholdy was a distinguished composer and conductor, a legendary pianist and organist, and an accomplished painter and classicist. Lionized in his lifetime, he is best remembered tod
Autor:
Christopher Fifield
Christopher Fifield's remarkable study explores the personality, life and work of a conductor who influenced and inspired the leading composers, singers and instrumentalists of his day.The Austro-Hungarian Hans Richter (1843-1916) was the first caree