nLab S-category

Depending what SS stands for various things can be called SS-category. E.g. if SS is a category then we talk about categories over SS, for them see overcategory.

This entry is rather about another notion of SS-category introduced in

  • Tomasz Brzeziński, Notes on formal smoothness, in: Modules and Comodules (series Trends in Mathematics). T Brzeziński, JL Gomez Pardo, I Shestakov, PF Smith (eds), Birkhäuser, Basel, 2008, pp. 113-124 (doi, arXiv:0710.5527)

which is similar to the notion of QQ-category of Rosenberg. It is called SS-category as it is suitable context for a generalization of a separable functor.

A little info is found in Toen: Homotopical and higher categorical structures in algebraic geometry. File Toen web unpubl hab.pdf. S-cats are closely related to Segal cats.

nLab page on S-category

Created on April 13, 2011 at 15:06:06. See the history of this page for a list of all contributions to it.