Results 11 to 20 of about 13,123 (205)

Bicategories in univalent foundations [PDF]

open access: yesMathematical Structures in Computer Science, 2021
AbstractWe develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent bicategories in a modular fashion, we develop displayed bicategories, an analog of displayed 1-categories introduced
Benedikt Ahrens   +4 more
openaire   +14 more sources

Univalent polymorphism [PDF]

open access: yesAnnals of Pure and Applied Logic, 2020
Corrected typos, updated references and added a section on Church's ...
van den Berg, B.
openaire   +6 more sources

NEIGHBOURHOODS OF UNIVALENT FUNCTIONS [PDF]

open access: yesBulletin of the Australian Mathematical Society, 2010
AbstractThe main result shows that a small perturbation of a univalent function is again a univalent function, hence a univalent function has a neighbourhood consisting entirely of univalent functions. For the particular choice of a linear function in the hypothesis of the main theorem, we obtain a corollary which is equivalent to the classical Noshiro–
Pascu, Mihai N., Pascu, Nicolae R.
openaire   +3 more sources

Remark on functions with all derivatives univalent

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 1980
An attractive conjecture is discounted for the class of normalized univalent functions whose derivatives are also univalent.
M. Lachance
doaj   +2 more sources

Some univalent compositions of polynomials with univalent functions [PDF]

open access: yesAnnales Polonici Mathematici, 1980
. Let S denote the family of functions f, holomorphic and univalent in the open unit disk U, and normalized by f(0) = 0, f'(0 ...
Waadeland, Haakon
openaire   +3 more sources

Univalency of Certain Transform of Univalent Functions

open access: yesProceedings of the Bulgarian Academy of Sciences, 2023
We consider univalency problem in the unit disc $$\mathbb{D}$$ of the function \[g(z)=\frac{(z/f(z))-1}{-a_{2}}, \] where $$f$$ belongs to some classes of univalent functions in $$\mathbb{D}$$ and $$a_{2}=\frac{f''(0)}{2}\neq 0$$.
Obradović, Milutin, Tuneski, Nikola
openaire   +3 more sources

Univalent Monoidal Categories [PDF]

open access: yes, 2023
International audienceUnivalent categories constitute a well-behaved and useful notion of category in univalent foundations. The notion of univalence has subsequently been generalized to bicategories and other structures in (higher) category theory. Here,
Ahrens, B.P. (author)   +5 more
core   +1 more source

Univalence Criteria for Locally Univalent Analytic Functions

open access: yesUkrainian Mathematical Journal, 2023
UDC 517.5 Suppose that  p ( z ) = 1 + z ϕ ' ' ( z ) / ϕ ' ( z ) , where   ϕ ( z ) is a locally univalent analytic function in the unit disk D   with ϕ ( 0 ) = ϕ ' ( 1 ) - 1 = 0.   We establish the lower and upper bounds for the best constants σ 0
Hu, Zhenyong   +2 more
openaire   +1 more source

Initial coefficients for generalized subclasses of bi-univalent functions defined with subordination [PDF]

open access: yes, 2022
summary:This paper is concerned with certain generalized subclasses of bi-univalent functions defined with subordination in the open unit disc $E=\left\rbrace z:\mid z \mid
Singh, Gurmeet   +2 more
core   +1 more source

The Univalence of an Integral [PDF]

open access: yesProceedings of the American Mathematical Society, 1971
Let f ( z ) f(z)
openaire   +1 more source

Home - About - Disclaimer - Privacy