• The Inclusion of Characteristic Relations Associated to a Function. Let $f\colon A\to B$ be a function. We have an inclusion[1]

Footnotes

[1] This is the $0$-categorical version of Chapter 8: Categories, Definition 8.4.4.1.1.

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: