The Clowder Project

4.2 Tensors and Cotensors of Pointed Sets by Sets

• Subsection 4.2.1: Tensors of Pointed Sets by Sets
  • Definition 4.2.1.1.1: Tensors of Pointed Sets by Sets
  • Remark 4.2.1.1.2: Unwinding Definition 4.2.1.1.1
  • Construction 4.2.1.1.3: Construction of Tensors of Pointed Sets by Sets
  • Notation 4.2.1.1.4: Elements of Tensors of Pointed Sets by Sets
  • Remark 4.2.1.1.5: Basepoints of Tensors of Pointed Sets by Sets
  • Proposition 4.2.1.1.6: Properties of Tensors of Pointed Sets by Sets
• Subsection 4.2.2: Cotensors of Pointed Sets by Sets
  • Definition 4.2.2.1.1: Cotensors of Pointed Sets by Sets
  • Remark 4.2.2.1.2: Unwinding Definition 4.2.2.1.1
  • Construction 4.2.2.1.3: Construction of Cotensors of Pointed Sets by Sets
  • Proposition 4.2.2.1.4: Properties of Cotensors of Pointed Sets by Sets