相关论文: Rational homotopy theory: a brief introduction
In this note we explain that homotopy coherent simplicial nerve has to used intead of the standard definition in the author's papers on formal deformation theory. A convenient version of the notion of fibered category is presented which is…
Motivic homotopy theory is meant to play the role of algebraic topology, in particular homotopy theory, in the context of algebraic geometry. As proved by Oliver Rondigs and Paul Arne Ostvaer, this theory is closely connected to Voevodsky's…
We gather some classical results and examples that show strict inclusion between the families of unital rings, rings with enough idempotents, rings with sets of local units, locally unital rings, s-unital rings and idempotent rings.
This book is a rigorous and conceptually oriented introduction to ring theory. The emphasis is on structural understanding rather than encyclopedic coverage: rings are studied through ideals, homomorphisms, quotients, and universal…
We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…
Simplicial type theory extends homotopy type theory with a directed path type which internalizes the notion of a homomorphism within a type. This concept has significant applications both within mathematics -- where it allows for synthetic…
In this paper we construct an infinite family of homotopically rigid spaces. These examples are then used as building blocks to forge highly connected rational spaces with prescribed finite group of self-homotopy equivalences. They are also…
This article contains a basic introduction to the local study of finite groups, including a brief perspective on the theory of fusion systems and $p$-local finite groups. -- Este art\'iculo contiene una introducci\'on b\'asica al estudio…
The purpose of this book is to lay out certain aspects of descriptive set theory. After initially establishing notation and generalities we proceed to the following topics: partitions, semirings, rings, $\sigma$-rings, $\delta$-rings,…
We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…
Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal approach to differential cohomology to be carried out…
In this paper we develop a novel mathematical formalism for the modeling of neural information networks endowed with additional structure in the form of assignments of resources, either computational or metabolic or informational. The…
In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type
For each elliptic curve A over the rational numbers we construct a 2-periodic S^1-equivariant cohomology theory E whose cohomology ring is the sheaf cohomology of A; the homology of the sphere of the representation z^n is the cohomology of…
Pursuing ideas of Jeff Smith, we develop a homotopy theory of ideals of monoids in a symmetric monoidal model category. This includes Smith ideals of structured ring spectra and of differential graded algebras. Such Smith ideals are NOT…
We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…
We describe the role of Rational Hopf Algebras as the symmetries of rational field theories and discuss their relation with algebraic field theory, braided monoidal categories and modular fusion rule algebras.
We provide a generalized treatment of (co)cartesian arrows, fibrations, and functors. Compared to the classical conditions, the endpoint inclusions get replaced by arbitrary shape inclusions. Our framework is Riehl--Shulman's simplicial…
We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model…