limit
category theory term
equaliser
set of arguments where two or more functions have the same value
inverse limit
construction to "glue together" mathematical objects along a downward-directed set
pullback
category-theoretic limit of a diagram of the form 𝑋→𝑍←𝑌