0
$\begingroup$

I have morphisms:

$ f : A \to B \\ g : B \to C $

The composition is:

$ g \circ f : A \to C $

In the function $(g \circ f)$ we call $A$ the domain and $C$ the codomain (or range).

I'm working in Haskell code, and in my application the type we pass through $(B)$ is particularly important. Does this intermediate value have a standard name?

  • 0
    @MikeIzbicki Maybe you want to answer your own question so that it gets removed from the [unanswered tab](http://meta.math.stackexchange.com/q/3138). If you do so, it is helpful to post it to [this chat room](http://chat.stackexchange.com/rooms/9141) to make people aware of it (and attract some upvotes). For further reading upon the issue of too many unanswered questions, see [here](http://meta.stackexchange.com/q/143113), [here](http://meta.math.stackexchange.com/q/1148) or [here](http://meta.math.stackexchange.com/a/9868).2013-06-12

1 Answers 1

1

Based on Adeel's comment above, I've been calling $B$ the "factor domain."