×

Found 884 Documents (Results 1–100)

The unification of mathematics via topos theory. (English) Zbl 07740533

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 563-601 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Functorial semiotics for creativity in music and mathematics. (English) Zbl 1520.00002

Computational Music Science. Cham: Springer (ISBN 978-3-030-85189-7/hbk; 978-3-030-85192-7/pbk; 978-3-030-85190-3/ebook). xiii, 166 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI

Higher orbifolds and Deligne-Mumford stacks as structured infinity-topoi. (English) Zbl 1442.18002

Memoirs of the American Mathematical Society 1282. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4144-9/pbk; 978-1-4704-5810-2/ebook). v, 120 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Synthetic differential topology. (English) Zbl 1398.57002

London Mathematical Society Lecture Note Series 448. Cambridge: Cambridge University Press (ISBN 978-1-108-44723-2/pbk; 978-1-108-55349-0/ebook). ix, 223 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Being Van Kampen in presheaf topoi is a uniqueness property. (English) Zbl 1433.68098

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 16, 15 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Axioms for modelling cubical type theory in a topos. (English) Zbl 1370.03016

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 24, 19 p. (2016).
MSC:  03B15 03G30 18B25 55U40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software