SearcharxivSearch

arXiv · 2111.01000

Pursuing Stacks

Abstract

Pursuing Stacks (\`A la poursuite des Champs) First episode: The modelizing story (histoire de mod\`eles) by Alexander Grothendieck. Grothendieck began writing Pursuing stacks under the influence of some letters of the beginning of 1983 that motivates him to write to Daniel Quillen as a Take-off, adding some letters to Lawrence Breen as an appendix and outline of the program, of a systematic reflection on the foundations of non-commutative (co)homological algebra and its coefficients, and of homotopical algebra. The text is written in English as it grew out of the correspondence with R Brown and D Quillen. The title is based on the intuition that stacks are the unifying concept for a synthesis of homotopical algebra and non-commutative cohomological algebra. The first episode called "The modelizing story" is a comprehensive reflection about foundational matters in homotopy theory, and just after the beginning, the reflection diverged from stacks and rather centers itself around understanding the manifold ways of modeling homotopy categories. Grothendieck continued the reflection until November of the same year. In June he writes the first words of the introduction and retakes it in February of 1984 when the reflection has ended months ago (meanwhile he reflects on pseudo-lines and writes "L'Esquisse d'un Programme"). This introduction begins to take a more personal air and then he moves to French. The months that follow see the beginning of "R\'ecoltes et Semailles". The whole project would be included in a volume of the "R\'eflexions math\'ematiques", but the whole series never saw the light. The 2015 edition by "thescrivener" is in the public domain. This edition is an extended and revised version by Mateo Carmona with the collaboration of Ulrik Buchholtz.

Explore related subjects

Keep this discovery

BibTeXRIS

Alexander Grothendieck. 2021-11-01. Pursuing Stacks. https://arxiv.org/abs/2111.01000

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A model structure for cartesian 2-fibrations

Cartesian 2-fibrations provide a way to understand indexed categories, but their classical ``straightening'' construction requires several layers of weak coherence data. This paper develops a homotopical framework that replaces much of this bookkeeping with a fully strict model. By using marked 2-categories to record the cartesian morphisms and 2-cells, we construct a model structure whose fibrant objects are precisely the cartesian 2-fibrations over a fixed 2-category $\mathcal{C}$. We then show that the marked Grothendieck construction identifies these 2-fibrations, up to weak equivalence, with strict 2-functors from $\mathcal{C}$ into $2\mathrm{Cat}$. As an additional contribution, we construct localizations of 2-categories that simultaneously invert selected morphisms and 2-cells.

math.CT

A Natural Fuzzy Order on Fuzzy Numbers

This paper introduces a natural fuzzy order on fuzzy numbers that extends the natural orders on real numbers and interval numbers. We investigate its completeness properties and show that the space of uniformly bounded fuzzy numbers is conically complete and conically cocomplete, and that it is complete if and only if the underlying continuous t-norm is the G\"odel t-norm. Moreover, it is proved that this space constitutes a \([0,1]\)-enriched domain if and only if the underlying continuous t-norm satisfies the (S) condition. These results provide a foundation for ordering fuzzy numbers.

math.CT

Noetherian forms of free non-symmetric operads

In this paper, we study certain categories of labeled finite rooted ordered trees over a fixed set of labels where each label is equipped with an arity: a fixed number of children that the vertex with the given label must have. Equivalently, these are expression trees for operations in a free non-symmetric operad. A morphism between these trees matches a pruning of one tree (a prefix) with an entire subtree of another (a suffix). We characterize such categories, up to isomorphism, in terms of suitable exactness properties. It turns out that these categories exhibit strong algebraic behavior, in the sense that every such category, when appended with a strict initial object, has a particularly nice noetherian form.

math.CT