Tensor product of dendroidal sets
暂无分享,去创建一个
Like any category of presheaves, the category of dendroidal sets is cartesian closed. In this lecture, we will discuss another monoidal structure, which is also closed, and seems more relevant than the cartesian structure. It is closely related to the tensor product of operads introduced by Boardman and Vogt, and it makes the embedding of simplicial sets into dendroidal sets into a strong monoidal functor.