English
Related papers

Related papers: Recursive Completion in Higher K-Models: Front-See…

200 papers

Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then used to re-prove Thomason's theorem and a…

K-Theory and Homology · Mathematics 2010-11-09 Michael A. Mandell

We give an elementary construction of a certain class of model structures. In particular, we rederive the Kan model structure on simplicial sets without the use of topological spaces, minimal complexes, or any concrete model of fibrant…

Category Theory · Mathematics 2017-08-29 Christian Sattler

Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $\Gamma$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a…

Group Theory · Mathematics 2008-07-13 Mladen Bestvina , Koji Fujiwara

KK-theory is a bivariant and homotopy-invariant functor on $C^*$-algebras that combines K-theory and K-homology. KK-groups form the morphisms in a triangulated category. Spanier-Whitehead K-Duality intertwines the homological with the…

Operator Algebras · Mathematics 2026-01-08 Ulrich Pennig , Taro Sogabe

The introduction of pretrained language models has reduced many complex task-specific NLP models to simple lightweight layers. An exception to this trend is coreference resolution, where a sophisticated task-specific model is appended to a…

Computation and Language · Computer Science 2021-06-01 Yuval Kirstain , Ori Ram , Omer Levy

Let X be e quasi-compact and semi-separated scheme. If every at quasi- coherent sheaf has finite cotorsion dimension, we prove that X is n-perfect for some n > 0. If X is coherent and n-perfect(not necessarily of finite krull dimension), we…

Algebraic Geometry · Mathematics 2013-12-04 Esmaeil Hosseini

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

Logic · Mathematics 2016-09-07 Ernest Schimmerling , John R. Steel

We prove some basic results about irreducible components of varieties of modules for an arbitrary finitely generated associative algebra. Our work generalizes results of Kac and Schofield on representations of quivers, but our methods are…

Algebraic Geometry · Mathematics 2007-05-23 William Crawley-Boevey , Jan Schröer

A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commu-tative ring. A main tool for this study is the construction of a correspondence functor associated…

Representation Theory · Mathematics 2019-02-15 Serge Bouc , Jacques Thévenaz

In this short paper we apply some recent techniques developed by Schonsheck, and subsequently Carr-Harper, in the context of operadic algebras in spectra -- on convergence of Bousfield-Kan completions and comparisons with convergence of the…

Algebraic Topology · Mathematics 2024-07-09 Zeshen Gu , John E. Harper

We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for…

Algebraic Topology · Mathematics 2024-04-09 Maximilien Péroux

Let p be prime number, K be a p-adically closed field, X $\subseteq$ K^m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in X. We prove that the complete theory of L(X) eliminates the…

Logic · Mathematics 2018-10-30 Luck Darnière

We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M…

Geometric Topology · Mathematics 2007-05-23 Carl Miller

We introduce the notion of rational structure on a quiver and associated representations to establish a coherent framework for studying quiver representations in separable field extensions. This notion is linked to a refinement of the…

Representation Theory · Mathematics 2025-07-01 Fabian Januszewski

We prove that if the fundamental group of an orientable finite volume hyperbolic 3-manifold has finite index in the reflection group of a right-angled ideal polyhedra in $\mathbb{H}^3$ then it has a co-final tower of finite sheeted covers…

Geometric Topology · Mathematics 2011-02-22 Darlan Girão

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher…

K-Theory and Homology · Mathematics 2014-05-21 Hongxing Chen , Changchang Xi

Knowledge Graph (KG) generation requires models to learn complex semantic dependencies between triples while maintaining domain validity constraints. Unlike link prediction, which scores triples independently, generative models must capture…

Artificial Intelligence · Computer Science 2026-02-09 Thiviyan Thanapalasingam , Antonis Vozikis , Peter Bloem , Paul Groth

A Lie conformal algebra is an algebraic structure that encodes the singular part of the operator product expansion of chiral fields in conformal field theory. A Lie pseudoalgebra is a generalization of this structure, for which the algebra…

Quantum Algebra · Mathematics 2024-01-03 Bojko Bakalov , Alessandro D'Andrea , Victor G. Kac

Initial semantics aims to model inductive structures and their properties, and to provide them with recursion principles respecting these properties. An ubiquitous example is the fold operator for lists. We are concerned with initial…

Programming Languages · Computer Science 2026-03-31 Benedikt Ahrens , Ambroise Lafont , Thomas Lamiaux

We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…

K-Theory and Homology · Mathematics 2023-11-01 Eugenia Ellis , Rafael Parra
‹ Prev 1 4 5 6 7 8 10 Next ›