加载中…
The purpose of this note is to show that, if is a closed monoidal category, the following three notions are equivalent. (1) Category with -structure and cylinder. (2) Tensored -category. (3) Tensor-closed -module. As an application we will show that, if is closed and symmetric, then given a category there is an one-to-one correspondence between the set of -structures with cylinder and path on introduced by Quillen and the set of closed -module structures on introduced by Hovey.

生成讲解博客的中文版本

生成AI智能校验的中文版本