Related papers: Homotopical commutative rings and bispans
Our main observation is that the contravariant functor Spec on the category of commutative monoids is representable. We discuss a few consequences of this fact. In particular, we give an efficient way of calculating the Spec(M) of a…
Contravariantly finite resolving subcategories of the category of finitely generated modules have been playing an important role in the representation theory of algebras. In this paper we study contravariantly finite resolving subcategories…
Let $k$ be an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring and let $\mathcal{F}$ be an algebraically closed field of characteristic $0$. We introduce the category $\overline{\mathcal{F}_{Rpp_k}}$ of…
We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a…
In this paper, we define a new concept of Noetherian commutative rings which stands between Gorenstein and Cohen-Macaulay properties. We show that this new property keep hold under common operations of commutative rings such as…
Pursuing the notions of ambidexterity and higher semiadditivity as developed by Hopkins and Lurie, we prove that the span $\infty$-category of $m$-finite spaces is the free $m$-semiadditive $\infty$-category generated by a single object.…
Commutative semirings with divisible additive semigroup are studied. We show that an additively divisible commutative semiring is idempotent, provided that it is finitely generated and torsion. In case that a one-generated additively…
We consider the category of linear relations over an arbitrary commutative ring, and identify it as a subcategory of the category of Kronecker representations. We observe that this subcategory forms a definable, faithful and hereditary…
We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a…
We construct a new spectrum of units for a commutative symmetric ring spectrum that detects the difference between a periodic ring spectrum and its connective cover. It is augmented over the sphere spectrum. The homotopy cofiber of its…
Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to…
In this article we extend evaluations of the Kauffman bracket on regular isotopy classes of knots and links to a variety of functors defined on the category of framed tangles. We show that many such functors exist, and that they correspond…
The semidirect product $\mathbb{G}=\mathbb{L}\rtimes \mathbb{K}$ attached to a compact-group action on a connected, simply-connected solvable Lie group has a dense set of compact elements precisely when the $s\in \mathbb{K}$ operating on…
We define a faithful contravariant functor NCSpec from the category of rings to the category of ringed spaces, and show that if R is a commutative ring then NCSpec(R) may be viewed as a completion of Spec(R) in an appropriate sense. We then…
We develop a general theory of cosimplicial resolutions, homotopy spectral sequences, and completions for objects in model categories, extending work of Bousfield-Kan and Bendersky-Thompson for ordinary spaces. This is based on a…
Inspired by the classical category theorems of Halmos and Rohlin for the discrete measure preserving transformations, we prove analogous results in the abstract setting of unitary and isometric C_0-semigroups on a separable Hilbert space.…
We show that the categories of compact Lie groups and complex reductive groups (not necessarily connected) are homotopy equivalent topological categories. In other words, the corresponding categories enriched in the homotopy category of…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
We associate to every divisorial (e.g. smooth) variety $X$ with only constant invertible global functions and finitely generated Picard group a $Pic(X)$-graded homogeneous coordinate ring. This generalizes the usual homogeneous coordinate…
We show that the category of $n$-excisive functors from the $\infty$-category of spectra to a target stable $\infty$-category $\mathbf{E}$ is equivalent to the category of $\mathbf{E}$-valued Mackey functors on an indexing category built…