Results 21 to 30 of about 1,299 (211)
Bicategories in univalent foundations [PDF]
Mathematical 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 +11 more sources
Geometric Properties of Generalized Integral Operators Related to The Miller–Ross Function
Axioms, 2023 It is very well-known that the special functions and integral operators play a vital role in the research of applied and mathematical sciences. In this paper, our aim is to present sufficient conditions for the families of integral operators containing ...
Sercan Kazımoğlu +2 more
doaj +1 more source
, 2013 We present an internalization of the 2-groupoid interpretation of the calculus of construction that allows to realize the univalence axiom, proof irrelevance and reasoning modulo. As an example, we show that in our setting, the type of Church integers is
Sozeau, Matthieu, Tabareau, Nicolas
core +9 more sources
On convolutions of slanted half-plane mappings
Journal of Taibah University for Science, 2021 The convolution of convex harmonic univalent functions in the unit disk, unlike analytic functions, may not be convex or even univalent. The main purpose of this work is to develop previous work involving the convolution of convex harmonic functions ...
Elif Yaşar
doaj +1 more source
Univalence Criteria for Locally Univalent Analytic Functions
Ukrainian 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
Annals of Pure and Applied Logic, 2020 Corrected typos, updated references and added a section on Church's ...
openaire +3 more sources
Univalence criteria of the certain integral operators
, 2021 In this paper, we give some sufficient conditions for the univalence of some integral operators. For this, we use the Becker's and generalized version of the well known Ahlfor's and Becker's univalence criteria ...
Mustafa, Nizami, Korkmaz, Semra
core +1 more source
Responses to ambivalence toward social networking sites: A typological perspective
Information Systems Journal, Volume 33, Issue 2, Page 385-416, March 2023., 2023 Abstract A common assumption in prior research on social networking sites (SNS) has been that users' orientations toward SNS use are positioned somewhere along a bipolar, univalent continuum, stretching from negative to positive orientation. However, considering recent findings unfolding the intricacy and variety of SNS use patterns, such a linear ...
Ofir Turel, Hamed Qahri‐Saremi
wiley +1 more source
Factor Price Equalization : Geometrical Conditions [PDF]
, 1998 This paper presents a geometrical approach to the univalence problem for a system of cost functions. We present a natural (almost tautological) extension of a geometrical theorem due to McKenzie: our sufficient condition is related to the non ...
Ranade, Ravindra R., Fujimoto, Takao
core +1 more source
Проблемы анализа, 2018 In this article, we prove a two-points distortion theorem and obtain sharp coefficient estimates for the families of close-toconvex harmonic mappings whose analytic part is a function convex in one direction.
A. Sairam Kaliraj
doaj +1 more source