Im interested in this so that I can name a type parameter in a program I'm writing.

There is function that that has three parameters.

D, Domain

C, Codomain

X, where D is a subset of X and C is a subset of X

What is the special name for X, if there is one at all?

This is interesting from a program security prespective as by setting X we can constrain information to only flow within X.

Maybe I should be using category theory names here instead? If so what would these names be?

  • $\begingroup$ If you don't get an answer here, you could try math.stackexchange.com. $\endgroup$
    – Mars
    Jan 31, 2020 at 4:14
  • 1
    $\begingroup$ There is no such name as far as I know. If you have an interesting idea, you should develop and explore it even if you don't know a good name for the concepts involved. Let your ideas meet reality and see what happens. $\endgroup$ Jan 31, 2020 at 8:16
  • $\begingroup$ Cross-posted: cs.stackexchange.com/q/120153/755, math.stackexchange.com/q/3528869/14578. Please do not post the same question on multiple sites. $\endgroup$
    – D.W.
    Jan 31, 2020 at 9:00
  • $\begingroup$ I'm voting to close this question because it was cross-posted. $\endgroup$
    – D.W.
    Jan 31, 2020 at 9:00
  • $\begingroup$ I felt this question was especially related related to both computer science and maths, also in general are the two subjects not moving closer together? $\endgroup$
    – newlogic
    Jan 31, 2020 at 10:06