Sentence examples for i rightarrow from inspiring English sources

Green arrow: (I rightarrow P) coupling.

(i rightarrow i') to (i' in I).

Assume given a finite category I and a functor (X:I rightarrow mathsf{R}(Phi )) given by components (X_0:I rightarrow mathcal {C}_0), (X_1:I rightarrow mathcal {C}_1) and a map (alpha :X_1 rightarrow Phi (X_0)).

We also have natural forgetful functors begin{aligned} lambda (i):overline{L}(i) rightarrow I, qquad mu (i):overline{M}(i) rightarrow I end{aligned} (8.30)sending (i' rightarrow i) resp.

The embeddings ({o} rightarrow I^<), (j:I rightarrow I^<) define fully faithful embeddings of simplicial replacements (i_0 Delta rightarrow Delta I^<), (i_1 Delta I rightarrow Delta I^<).

Moreover, consider the category (I^<) of Definition 4.19, and let (I^< rightarrow [1] = [0]^<) be the functor induced by the projection (I rightarrow [0]=mathsf{pt}).

Suppose r_{ij}(p ln j-i rightarrow r,qquad r_{ij}(p ln j-i rightarrowrrow r,qquadmbox{as } i, jr_{ijarrowinfty, (1.3) where throughout (rgeq0) and (i< j).

If we are given another Reedy category (I'), then any Reedy functor (gamma :I' rightarrow I) induces a functor (M gamma ):M(I') rightarrow M(I)) between matching expansions that commutes with projections (rho ).

Moreover, for any discrete Grothendieck cofibration (kappa :I' rightarrow I), (is) is also an ordered category, and (M kappa ):M(I') rightarrow M(I)) is a discrete Grothendieck cofibration that induces equivalences of matching categories.

Assume given two prefibrations (pi :mathcal {C}rightarrow I'), (gamma :I' rightarrow I).

Assume given a prefibration (pi :mathcal {C}rightarrow I') and a precofibration (gamma :I' rightarrow I).