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

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So I am trying to learn a bit more about Dominic Verity's model of higher categories, namely weak complicial sets. The underlying object is a stratified simplicial set which satisfies a sort of inner horn filling condition. This model bears a resemblance to Joyal's quasi-categories, which is an exceptionally nice model of $(\infty,1)$-categories.

In Joyal's model there is a good inner hom, which is just the usual inner hom of simplicial sets. This inner hom is very well behaved and for well understood examples it computes the "correct" thing, the $(\infty,1)$-categories of "weak functors".

I am wondering if there is an analogous, easy description of the correct inner hom for weak complicial sets. What nice properties does it satisfy?

share|cite|improve this question
I'm pretty sure that it's related to this tensor product: – Harry Gindi Jul 6 '11 at 22:04
Did you look at his 2006 weak complicial sets II paper. He gives a construction of an enrichment, but not directly. Another thought is to look at the T-complex stuff of Ronnie Brown and see if there is explicit description of the hom in that case. (I do not remember if one was given.) – Tim Porter Nov 27 '11 at 9:24

Your Answer


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

Browse other questions tagged or ask your own question.