[图书][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 …

[图书][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 …

Pro-categories in homotopy theory

I Barnea, Y Harpaz, G Horel - Algebraic & Geometric Topology, 2017 - msp.org
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 …

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 …

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 …

[图书][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 …

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 …

[图书][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 …

[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 …

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 …