[图书][B] Category theory in context
E Riehl - 2017 - books.google.com
" The book is extremely pleasant to read, with masterfully crafted exercises and examples
that create a beautiful and unique thread of presentation leading the reader safely into the …
that create a beautiful and unique thread of presentation leading the reader safely into the …
[图书][B] Higher categories and homotopical algebra
DC Cisinski - 2019 - books.google.com
This book provides an introduction to modern homotopy theory through the lens of higher
categories after Joyal and Lurie, giving access to methods used at the forefront of research …
categories after Joyal and Lurie, giving access to methods used at the forefront of research …
Pro-categories in homotopy theory
Our goal in this paper is to prove an equivalence between the model categorical approach
to pro-categories, as studied by Isaksen, Schlank and the first author, and the∞–categorical …
to pro-categories, as studied by Isaksen, Schlank and the first author, and the∞–categorical …
An abstract factorization theorem and some applications
S Tringali - Journal of Algebra, 2022 - Elsevier
We combine the language of monoids with the language of preorders so as to refine some
fundamental aspects of the classical theory of factorization and prove an abstract …
fundamental aspects of the classical theory of factorization and prove an abstract …
Using the internal language of toposes in algebraic geometry
I Blechschmidt - arXiv preprint arXiv:2111.03685, 2021 - arxiv.org
Any scheme has its associated little and big Zariski toposes. These toposes support an
internal mathematical language which closely resembles the usual formal language of …
internal mathematical language which closely resembles the usual formal language of …
[图书][B] Multidimensional interleavings and applications to topological inference
MP Lesnick - 2012 - search.proquest.com
This work concerns the theoretical foundations of persistence-based topological data
analysis. We develop theory of topological inference in the multidimensional persistence …
analysis. We develop theory of topological inference in the multidimensional persistence …
A new definition of Kuranishi space
D Joyce - arXiv preprint arXiv:1409.6908, 2014 - arxiv.org
'Kuranishi spaces' were introduced in the work of Fukaya, Oh, Ohta and Ono in symplectic
geometry (see eg arXiv: 1106.4882), as the geometric structure on moduli spaces of $ J …
geometry (see eg arXiv: 1106.4882), as the geometric structure on moduli spaces of $ J …
[图书][B] Einführung in die Kategorientheorie: Mit ausführlichen Erklärungen und zahlreichen Beispielen
M Brandenburg - 2016 - books.google.com
Die Kategorientheorie deckt die innere Architektur der Mathematik auf. Dabei werden die
strukturellen Gemeinsamkeiten zwischen mathematischen Disziplinen und ihren …
strukturellen Gemeinsamkeiten zwischen mathematischen Disziplinen und ihren …
[PDF][PDF] Higher categories and homotopical algebra
DC Cisinski - Cambridge Studies in Advanced …, 2020 - cisinski.app.uni-regensburg.de
The aim of this book is to introduce the basic aspects of the theory of∞-categories: a
homotopy theoretic variation on Category Theory, designed to implement the methods of …
homotopy theoretic variation on Category Theory, designed to implement the methods of …
Algebraic models of dependent type theory
C Newstead - arXiv preprint arXiv:2103.06155, 2021 - arxiv.org
The rules governing the essentially algebraic notion of a category with families have been
observed (independently) by Steve Awodey and Marcelo Fiore to precisely match those of a …
observed (independently) by Steve Awodey and Marcelo Fiore to precisely match those of a …