We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as such provide a context in which one can interpret many notions from homotopy theory and Homotopy Type Theory. Within the path category $\mathbb{EFF}$ one can i...

We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration. Mathematics Subject Classification 55R15 · 55R35 · 55U10 · 18C50

Let q1 and q2 belong to a certain class of normalized analytic univalent functions in the open unit disk of the complex plane. Sufficient conditions are obtained for normalized analytic functions p to satisfy the double subordination chain q1(z)≺ p(z)≺ q2(z). The differential sandwich-type result obtained is applied to normalized univalent functions and to Φ-like functions.

Let H0 denote the set of all sense-preserving harmonic mappings f=h+g‾ in unit disk D, normalized with h(0)=g(0)=g′(0)=0 and h′(0)=1. In this paper, we mainly investigate some properties certain subclasses H0, including inclusion relations stability analysis by precise examples, coefficient bounds, growth, covering distortion theorems. As applications, build Bohr inequalities for these means su...

Let be the class of functions which are analytic in open unit disk and having form . Denote to for all that univalent Then, let denote bi-univalent In this paper, we obtain second Hankel determinant certain classes function defined by subordinations particular, determine initial coefficients obtained upper bound functional

Let R D be the algebra generated in Sobolev space W22 D by the rational functions with poles outside the unit disk D. In this paper, we study the similarity invariant of the multiplication operators Mg in L R D , when g is univalent analytic on D or Mg is strongly irreducible. And the commutants of multiplication operators whose symbols are composite functions, univalent analytic functions, or ...

The main aim of this paper is to use the method of differential subordination to obtain a number of sufficient conditions for a normalized analytic function to be univalent or starlike in the unit disc. In particular, we find a condition on β so that each normalized analytic function f satisfying the condition ∣∣∣1 + zf ′′(z) 2f ′(z) − zf ′(z) f(z) ∣∣∣ < β, z ∈ Δ implies that f is univalent or ...