Topoi

Prev: Enriched Categories Next: Lawvere Theories

Prev: Enriched Categories Next: Lawvere Theories

Exercises

1. Show that the function $f$ that is the pullback of $true$ along the characteristic function must be injective.