I am receiving some very useful comments by private email.
So maybe I should give more details on what I am actually after:
given any category of fibrant objects, it seems it has a simplicial localization described roughly as follows:
for two objects of , the 0-cells in the simplicial set are spans
with the left leg an acyclic fibration (aka anafunctors, aka generalized morphisms)
and the 1-cells are diagrams
with all the arrows between s acyclic fibrations, and with a path object of and the maps on the right two boundary evaluation maps out of the path object. So this encodes that the map out of has a homotopty to the map out of after both are pulled back to a joint refinement of their domain.
And analogously for higher simplices.
First question: has this particular kind of construction of simplicial localization in cats of fib objects been considered before? Notice that using the morphisms given by the path object I can make a cosmetic modification to this diagram without changing its content
and it begins to look more akin to a hammock. It’s not hammock localization, but supposed to be something more direct using the properties of path objects in cats of fib objects.
Now, if here is something like locally Kan simplicial presheaves or presheaves with values in some other model of -groupoids, then will be a Kan complex, too.
But now assume is something like (presheaves with values in) weak Kan complexes. Then we are still in a category of fibrant objects, but now we are inclined to allow in the construction above not be a path object in the standard sense (not being weakly equivalent to ), but be more generally of the form , where is some directed interval object. The point being that for objects in behaving (locally at least) like quasi-categories, we don’t want to demand the Hom to have outer fillers.
And there is another thing that makes me wonder, and triggers my question here:
if we drop the condition that in the above hammock-like gadget be weakly equivalent to , then it seems natural to also drop in 1-cells the requirement that all the morphisms between the s be acyclic.
This is kind of remarkable, because the diagram
without any condition on the left vertical morphisms is a bi-brane, namely a span of (generalized) spaces with a gerbe-like thing on each space and a morphism between the pullback of these to the correspondence space.
So I am wondering what’s going on. And if there is some general nonsense on directed path objects which would tell me which conditions to put here on the left vertical morphisms if on the right I allow directed path objects so that the whole thing somehow forms a nice structure.
Oh, I just see a new comment by Mike coming in …
Re: Question on Homotopical Structure on SimpSet
Well, a different thing to do would be to replace by the nerve of the walking isomorphism. Then you do get an interval object, in the model-category sense, for both model structures, so that should then be an inclusion of categories of fibrant objects.