Stack completions and Morita equivalence for categories in a topos
Stacks and equivalence of indexed categories
Stacks and the homotopy theory of simplicial sheaves.
Stacks of group representations
We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group , the derived and the stable categories of representations of a subgroup can be constructed out of the corresponding category for by a purely triangulated-categorical construction, analogous to étale extension in algebraic geometry. In the case of finite groups, we then use descent methods to investigate...
Standard monads
Star-autonomous functor categories.
State-sum invariants of knotted curves and surfaces from quandle cohomology.
Statistical convergence of subsequences of a given sequence.
Statistical convergence of subsequences of a given sequence
This paper is closely related to the paper of Harry I. Miller: Measure theoretical subsequence characterization of statistical convergence, Trans. Amer. Math. Soc. 347 (1995), 1811–1819 and contains a general investigation of statistical convergence of subsequences of an arbitrary sequence from the point of view of Lebesgue measure, Hausdorff dimensions and Baire’s categories.
Steenrod Squares in Cotor
Stone spaces of more partially ordered sets
Strict modules and homotopy modules in stable homotopy.
Strictification of categories weakly enriched in symmetric monoidal categories.
Strong embedding of category of all groupoids into category of semigroups
Strong embeddings into categories of algebras over a monad. I.
Strong embeddings into categories of algebras over a monad. II.
Strong functors and interleaving fixpoints in game semantics
We describe a sequent calculus μLJ with primitives for inductive and coinductive datatypes and equip it with reduction rules allowing a sound translation of Gödel’s system T. We introduce the notion of a μ-closed category, relying on a uniform interpretation of open μLJ formulas as strong functors. We show that any μ-closed category is a sound model for μLJ. We then turn to the construction of a concrete μ-closed category based on Hyland-Ong game semantics. The model relies on three main ingredients:...
Strong functors on many-sorted sets
We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.
Strong infinitesimal linearity, with applications to strong difference and affine connections
Strong morphisms of groupoids.