Results 51 to 60 of about 147 (142)

Categorical Foundations for K-theory [PDF]

, 2010
K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other fields of mathematics, like spaces and (not necessarily
Michel, Nicolas
core   +1 more source

New building blocks for F₁-geometry:Bands and band schemes [PDF]

We develop and study a generalization of commutative rings called bands, along with the corresponding geometric theory of band schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and Whittle. They
Baker, Matthew, Jin, Tong, Lorscheid, Oliver   +2 more
core   +1 more source

Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum. [PDF]

Math Ann, 2023
Bik A, Danelon A, Draisma J.
europepmc   +1 more source

Realizability of algebraic Galois extensions by strictly commutative ring spectra

, 2007
We discuss some of the basic ideas of Galois theory for commutative S-algebras originally formulated by John Rognes. We restrict our attention to the case of finite Galois groups and to global Galois extensions.
Richter, Birgit, Richter, B., Baker, A. ; https://orcid.org/, Baker, Andrew, Baker, A.   +4 more
core  

Kan Extensions are Partial Colimits. [PDF]

Appl Categ Struct, 2022
Perrone P, Tholen W.
europepmc   +1 more source

E[subscript n]-Regularity Implies E[subscript n-1]-Regularity

, 2013
Vorst and Dayton-Weibel proved that K[subscript n]-regularity implies K[subscript n−1]-regularity. In this article we generalize this result from (commutative) rings to differential graded categories and from algebraic K-theory to any functor which is ...
Trigo Neri Tabuada, Goncalo Jo
core  

A Formalization of the Smith Normal Form in Higher-Order Logic. [PDF]

J Autom Reason, 2022
Divasón J, Thiemann R.
europepmc   +1 more source

Galois comodules

, 2005
Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are projective over
Tomasz Brzezinski, Brzeziński, Tomasz
core   +1 more source

Inverse System의 연구

, 1970
우리는 Category에서 Universally Repelling과 Universally Attracting의 성짙을 이용하여 중요한 대수적인 성질과 위상적인 성질을 얻어 냈다. 그런데 본 Paper에서는 Continuous Ring Homomorphism을 갖는 Topological Ring의 category에서 새로운 Category ?를 다음과 같이 만들어 ?에서의 Universally Attractimg한 Object가 본래의 ...
Chung,In Jae
core  

Factorizations and lifting systems in the category of commutative rings

reservedNella prima parte della tesi si indaga sul legame tra i sistemi di fattorizzazione e di sollevamento. Sotto alcune ipotesi (non così restrittive) su di una categoria, questi ultimi si rivelano intimamente connessi; si introduce inoltre un ...
BRACCHETTI, MATTIA
core