The Clowder Project

5.2 Tensors and Cotensors of Pointed Sets by Sets

• Subsection 5.2.1: Tensors of Pointed Sets by Sets
  • Definition 5.2.1.1.1: Tensors of Pointed Sets by Sets
  • Remark 5.2.1.1.2: Unwinding Definition 5.2.1.1.1
  • Construction 5.2.1.1.3: Construction of Tensors of Pointed Sets by Sets
  • Notation 5.2.1.1.4: Elements of Tensors of Pointed Sets by Sets
  • Remark 5.2.1.1.5: Basepoints of Tensors of Pointed Sets by Sets
  • Proposition 5.2.1.1.6: Properties of Tensors of Pointed Sets by Sets
• Subsection 5.2.2: Cotensors of Pointed Sets by Sets
  • Definition 5.2.2.1.1: Cotensors of Pointed Sets by Sets
  • Remark 5.2.2.1.2: Unwinding Definition 5.2.2.1.1
  • Construction 5.2.2.1.3: Construction of Cotensors of Pointed Sets by Sets
  • Proposition 5.2.2.1.4: Properties of Cotensors of Pointed Sets by Sets