Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Dear All,

I’d appreciate very much if you could address the following question:

Given two composable functions [domain (one) = codomain (other)]: the unique function ‘i’ with empty set E as domain and a set X as codomain, and a function ‘f’ with the set X as domain and a set Y as codomain [domain (f) = codomain (i)], how is the composite function ‘fi’ of the two functions i and f defined?

The above question came about during the course of studying maps as a means of indicating various figures in the objects of a category. For example, we can use maps (functions) with terminal object (singleton set) as domain to indicate elements of codomain objects in the category of sets. Along similar lines, we can use graph maps with a domain graph of one arrow and two dots (source dot, target dot) to indicate arrows of codomain graphs in the category of (irreflexive directed multi-) graphs (Conceptual Mathematics textbook of Lawvere & Schanuel, page 215).

Objects of the category of graphs have, in addition to arrows, dots. It is in trying to use maps in the category of graphs (Conceptual Mathematics, pp. 141-2) with domain graph with exactly one dot and zero arrows to indicate dots in codomain graphs that I encountered the problem of the composite map (in the category of sets) fi, with empty set as domain of the function i and with domain (f) = codomain (i).

I eagerly look forward to any corrections and clarifications that you, your time permitting, could provide.

Thank you, vrayudu

share|cite|improve this question

closed as too localized by Bruce Westbury, Chris Godsil, Andreas Blass, Andrés Caicedo, Tom Leinster May 30 '12 at 16:32

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

Sorry, but this isn't an appropriate question for this site. The FAQ lists some other math sites, some of which might be suitable for your question. –  Tom Leinster May 30 '12 at 16:33

1 Answer 1

up vote 0 down vote accepted

The composition is defined by the fact that it is from 0 to Y; it is unique anyway. All you need is domain and codomain, and you have both.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.