×

Found 687 Documents (Results 1–100)

Models of HoTT and the constructive view of theories. (English) Zbl 1528.03112

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 191-219 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Univalent foundations and the unimath library. (English) Zbl 1528.03104

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 173-189 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Higher structures in homotopy type theory. (English) Zbl 1528.03105

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 151-172 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Univalent foundations and the equivalence principle. (English) Zbl 1528.03101

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 137-150 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cubical assemblies, a univalent and impredicative universe and a failure of propositional resizing. (English) Zbl 1528.03114

Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 7, 20 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Homotopy canonicity for cubical type theory. (English) Zbl 1528.03106

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 11, 23 p. (2019).
MSC:  03B38 03G30 55U35
PDFBibTeX XMLCite
Full Text: DOI

Topologically trivial closed walks in directed surface graphs. (English) Zbl 07559234

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 34, 17 p. (2019).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

Lower bounds for electrical reduction on surfaces. (English) Zbl 07559225

Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 25, 16 p. (2019).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Parametrized complexity of expansion height. (English) Zbl 07525450

Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 13, 15 p. (2019).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The construction of set-truncated higher inductive types. (English) Zbl 07515964

König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 261-280 (2019).
MSC:  68N30 68Q55
PDFBibTeX XMLCite
Full Text: DOI

The quotient map as an \(H\)-fibration by conjugations. (English) Zbl 1452.54020

Aguilar, Marcelo (ed.) et al., Memorias de la Sociedad Matemática Mexicana. Vol. 15. Mexico City: Universidad Nacional Autonóma de México (UNAM); Sociedad Matemática Mexicana. Mem. Soc. Mat. Mex. 15, 19-27 (2019).
MSC:  54H11 54H15 55P91
PDFBibTeX XMLCite

Orientation theory in arithmetic geometry. (English) Zbl 1451.14067

Srinivas, V. (ed.) et al., \(K\)-theory. Proceedings of the international colloquium, Mumbai, 2016. New Delhi: Hindustan Book Agency; Mumbai: Tata Institute of Fundamental Research. Tata Inst. Fundam. Res., Stud. Math. 23, 239-347 (2019).
PDFBibTeX XMLCite
Full Text: arXiv

Relative Cartier divisors and \(K\)-theory. (English) Zbl 1451.14019

Srinivas, V. (ed.) et al., \(K\)-theory. Proceedings of the international colloquium, Mumbai, 2016. New Delhi: Hindustan Book Agency; Mumbai: Tata Institute of Fundamental Research. Tata Inst. Fundam. Res., Stud. Math. 23, 1-19 (2019).
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software