The Clowder Project

7.2 Tensors and Cotensors of Pointed Sets by Sets

• Subsection 7.2.1: Tensors of Pointed Sets by Sets
  • Definition 7.2.1.1.1: Tensors of Pointed Sets by Sets
  • Remark 7.2.1.1.2: Unwinding Definition 7.2.1.1.1
  • Construction 7.2.1.1.3: Construction of Tensors of Pointed Sets by Sets
  • Notation 7.2.1.1.4: Elements of Tensors of Pointed Sets by Sets
  • Remark 7.2.1.1.5: Basepoints of Tensors of Pointed Sets by Sets
  • Proposition 7.2.1.1.6: Properties of Tensors of Pointed Sets by Sets
• Subsection 7.2.2: Cotensors of Pointed Sets by Sets
  • Definition 7.2.2.1.1: Cotensors of Pointed Sets by Sets
  • Remark 7.2.2.1.2: Unwinding Definition 7.2.2.1.1
  • Construction 7.2.2.1.3: Construction of Cotensors of Pointed Sets by Sets
  • Proposition 7.2.2.1.4: Properties of Cotensors of Pointed Sets by Sets