7
$\begingroup$

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?

$\endgroup$
2
  • $\begingroup$ I'm pretty sure that it's related to this tensor product: ncatlab.org/nlab/show/Verity-Gray+tensor+product $\endgroup$ Jul 6, 2011 at 22:04
  • $\begingroup$ 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.) $\endgroup$
    – Tim Porter
    Nov 27, 2011 at 9:24

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.