Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let A & B be two categories, the join A*B is created by stipulating its class of object is the disjoint union of the objects of A & B, the morphisms remain the 'same', but we throw in an extra morphism for every object a in A, and b in B.

that is:

A*B[a,a']=A[a,a'] if a,a' are in A

A*B[b,b']=B[b,b'] if b,b' are in B

A*B[a,b]=1 if a is in A, and b in B

A*B[b,a]=0 if b is in B, and a in A

it seems like a pretty ad-hoc construction (its obviously based on a construction coming from algebraic topology), is there a more categorical way of defining this?

share|improve this question
    
Could you give a citation as to where this is called the join? I'd like to know because this is not what I've been calling the join of two categories--I hope I'm not in trouble! –  Hiro Lee Tanaka Sep 22 '12 at 19:51
    
@tanaka:thats the name they give it in [nlab](ncatlab.org/nlab/show/join+of+categories), but as Todd points out below its a special case of a collage or cograph. Out of interest what have you been calling it? –  Mozibur Ullah Sep 23 '12 at 3:38
1  
This is the name Joyal calls it in his notes on quasi-categories, see for instance p. 26 of math.uchicago.edu/~may/IMA/JOYAL/JoyalDec08.pdf. There are some other notes by Joyal which deal with that construction in slightly more details, if I am not mistaken, but I cannot recall whether he states a universal property or not. Anyway, he uses it to define slices of quasi-categories. –  Jonathan Chiche Sep 23 '12 at 6:47

1 Answer 1

up vote 8 down vote accepted

It's a special case of what's called a collage or cograph construction. Recall that a profunctor or bimodule between categories $B$, $A$ is a functor $R: A^{op} \times B \to Set$. The cograph of $R$ is the category $\bar{R}$ where $Ob(\bar{R}) = Ob(A) \sqcup Ob(B)$, and where $\bar{R}(a, a') = A(a, a')$ if $a, a' \in Ob(A)$, $\bar{R}(b, b') = B(b, b')$ if $b, b' \in Ob(B)$, $\bar{R}(a, b) = R(a, b)$ if $a \in Ob(A), b \in Ob(B)$, and $\bar{R}(b, a) = \emptyset$ if $a \in Ob(A), b \in Ob(B)$. Compositions and identities are the obvious ones.

A cograph of the terminal object in the category of bimodules from $B$ to $A$ is the join of $A$ and $B$. In turn, the cograph of $R$ is a lax colimit, in the bicategory of small categories, bimodules, and bimodule homomorphisms of the diagram consisting just of $R$ itself. The nLab is a good source of information on this (as it is for many categorical questions).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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