1 citations · 1 across the 8 of their papers we have counts for
8 papers
On the sphere spectrum from the viewpoint of linear logic
Ryo Horiuchi
In this note, we show the category of -sets with the sphere spectrum, the smash product, and the substitution product gives rise to an isomix linearly distributive category, whi…
On the Witt vectors in the Lawvere quantale
Ryo Horiuchi
In this note, we investigate the Witt vectors in the min-plus algebra of extended non-negative real numbers, and consider categories enriched over them viewed as a monoidal categor…
On the stratification of combinatorial spectra
Ryo Horiuchi
In this note, we investigate a mixture of combinatorial spectra and stratified simplicial sets, which would be thought of as a model of the spectrum objects of -c…
On loop spaces with marking
Ryo Horiuchi
An analogous construction of simplicial homotopy group for Kan complex can be applied to saturated complicial sets to give monoids. In this paper, we investigate how the constructi…
On a simplicial monoid whose underlying simplicial set is not a quasi-category
Ryo Horiuchi
It is well known that the underlying simplicial set of any simplicial group is a Kan complex. Roughly speaking, Kan complex is an infinite-dimensional analogue of groupoid, and the…
On complicial homotopy monoids
Ryo Horiuchi
For a Kan complex with a vertex, we have the notion of its simplicial homotopy groups. In this paper, for a weak complicial set in the sense of Verity with a vertex, we construct m…
Verschiebung maps among -groups of truncated polynomial algebras
Ryo Horiuchi
Let be a prime number, and let be a ring in which is nilpotent. In this paper, we consider the maps induced…
The non-nil-invariance of TP
Ryo Horiuchi
Hesselholt defined a spectrum , the periodic topological cyclic homology of a scheme , using topological Hochschild homology and the Tate construction, whi…