A function is determined by its effect on elements. That is, define an element of a set S S as a function 1 → S \mathbf {1} \to S. Then whenever f, g: X → Y f, g:X \to Y with fx = gx f x = g x for all ...
Here’s some basic information about the next big annual applied category theory conference — Applied Category Theory 2025 — and the school that goes along with that: the Adjoint School. James ...