A Lean Companion to Conceptual Mathematics

Summary/quiz on pairs of 'opposed' maps

Problem 1 (p. 116)

Fill in the blanks; when vs? occurs, cross out the false alternative.

Solution: Problem 1

always; endomaps

Problem 2 (p. 116)

Fill in the blanks; when vs? occurs, cross out the false alternative.

Solution: Problem 2

1_A; endomap; idempotent; {(f \circ g) \circ (f \circ g) = (f \circ g)}

Problem 3 (p. 116)

Fill in the blanks; when vs? occurs, cross out the false alternative.

Solution: Problem 3

invertible; g

Problem 4 (p. 116)

Fill in the blanks; when vs? occurs, cross out the false alternative.

Solution: Problem 4

could be different from; could be different from