English
Related papers

Related papers: Modal Descent

200 papers

For a given group $G$ and a collection of subgroups $\mathcal F$ of $G$, we show that there exist a left induced model structure on the category of right $G$-simplicial sets, in which the weak equivalences and cofibrations are the maps that…

Algebraic Topology · Mathematics 2021-02-01 Mehmet Akif Erdal , Aslı Güçlükan İlhan

In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the existence of a chain-level lift of a…

Algebraic Topology · Mathematics 2022-09-23 Gabriel C. Drummond-Cole , Geoffroy Horel

We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…

Category Theory · Mathematics 2023-06-13 Miloslav Štěpán

We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…

Algebraic Topology · Mathematics 2023-02-09 Fernando Muro , Constanze Roitzheim

We initiate the combinatorial study of factorization systems on finite lattices, paying special attention to the role that reflective and coreflective factorization systems play in partitioning the poset of factorization systems on a fixed…

Combinatorics · Mathematics 2025-04-01 Jishnu Bose , Tien Chih , Hannah Housden , Legrand Jones , Chloe Lewis , Kyle Ormsby , Millie Rose

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

Category Theory · Mathematics 2022-06-30 Nicola Gambino , Marco Federico Larrea

We show that every two-term tilting complex over an Artin algebra has a tilting module over a certain factor algebra as a homology group. Also, we determine the endomorphism algebra of such a homology group, which is given as a certain…

Representation Theory · Mathematics 2011-07-01 Hiroki Abe

An old theorem of Charney and Lee says that the classifying space of the category of stable nodal topological surfaces and isotopy classes of degenerations has the same rational homology as the Deligne-Mumford compactification. We give an…

Algebraic Topology · Mathematics 2014-10-01 Johannes Ebert , Jeffrey Giansiracusa

We study categories of matrix factorizations. These categories are defined for any regular function on a suitable regular scheme. Our paper has two parts. In the first part we develop the foundations; for example we discuss derived direct…

Algebraic Geometry · Mathematics 2013-10-25 Valery A. Lunts , Olaf M. Schnürer

We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagrams represent the same morphism if and only if they can be…

Category Theory · Mathematics 2011-03-31 Sebastian Thomas

After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…

Algebraic Topology · Mathematics 2016-12-16 Sinan Yalin

This paper is concerned with a refinement of the Stein factorization, and with applications to the study of deformations of surjective morphisms. We show that every surjective morphism f:X->Y between normal projective varieties factors…

Algebraic Geometry · Mathematics 2007-05-23 Stefan Kebekus , Thomas Peternell

We discuss an interesting duality known to occur for certain complex reflection groups, namely the duality groups. Our main construction yields a concrete, representation theoretic realisation of this duality. This allows us to naturally…

Rings and Algebras · Mathematics 2020-07-20 Benjamin Briggs

Given a torsion theory (Y,X) in an abelian category C, the reflector I from C to the torsion-free subcategory X induces a reflective factorisation system (E, M) on C. It was shown by A. Carboni, G.M. Kelly, G. Janelidze and R. Par\'e that…

Category Theory · Mathematics 2014-01-08 Tomas Everaert , Marino Gran

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…

Category Theory · Mathematics 2014-04-11 A. M. Cegarra , B. A. Heredia , J. Remedios

We give an alternate proof of the left-orderability of the mapping class group of a connected oriented infinite-type surface with a non-empty boundary. Our main strategy involves the inductive construction of a countable stable Alexander…

Geometric Topology · Mathematics 2024-08-13 Pravin Kumar , Apeksha Sanghi , Mahender Singh

The study of the set-theoretic solutions of the reflection equation, also known as reflection maps, is closely related to that of the Yang-Baxter maps. In this work, we construct reflection maps on various geometrical objects, associated…

Mathematical Physics · Physics 2025-10-09 Luen-Chau Li , Vincent Caudrelier

We focus on two factorization systems for opfibrations in the 2-category Fib(B) of fibrations over a fixed base category B. The first one is the internal version of the so called comprehensive factorization, where the right orthogonal class…

Category Theory · Mathematics 2020-01-06 Alan S. Cigoli , Sandra Mantovani , Giuseppe Metere

Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…

Category Theory · Mathematics 2024-11-05 Fernando Lucatelli Nunes , Rui Prezado

Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…

K-Theory and Homology · Mathematics 2009-09-03 Ivo Herzog