natural equivalence between infinity functors and objectwise isomorphism
Proposition
Let 
be a simplicial set, 
an infinity functor and 
infinity functors and 
natural transformation
TFAE:
is a natural equivalence between infinity functors - for each object
and 
the infinity functor
represents an equivalence
Proof
1) 
2)
2) 1)
by conservativity (?)
where