scholarly journals On Well-Founded and Recursive Coalgebras

Author(s):  
Jiří Adámek ◽  
Stefan Milius ◽  
Lawrence S. Moss

AbstractThis paper studies fundamental questions concerning category-theoretic models of induction and recursion. We are concerned with the relationship between well-founded and recursive coalgebras for an endofunctor. For monomorphism preserving endofunctors on complete and well-powered categories every coalgebra has a well-founded part, and we provide a new, shorter proof that this is the coreflection in the category of all well-founded coalgebras. We present a new more general proof of Taylor’s General Recursion Theorem that every well-founded coalgebra is recursive, and we study conditions which imply the converse. In addition, we present a new equivalent characterization of well-foundedness: a coalgebra is well-founded iff it admits a coalgebra-to-algebra morphism to the initial algebra.

2013 ◽  
Vol 2013 ◽  
pp. 1-6
Author(s):  
Zhi-Ang Zhou

We studyϵ-Henig saddle points and duality of set-valued optimization problems in the setting of real linear spaces. Firstly, an equivalent characterization ofϵ-Henig saddle point of the Lagrangian set-valued map is obtained. Secondly, under the assumption of the generalized cone subconvexlikeness of set-valued maps, the relationship between theϵ-Henig saddle point of the Lagrangian set-valued map and theϵ-Henig properly efficient element of the set-valued optimization problem is presented. Finally, some duality theorems are given.


Author(s):  
D. F. Blake ◽  
L. F. Allard ◽  
D. R. Peacor

Echinodermata is a phylum of marine invertebrates which has been extant since Cambrian time (c.a. 500 m.y. before the present). Modern examples of echinoderms include sea urchins, sea stars, and sea lilies (crinoids). The endoskeletons of echinoderms are composed of plates or ossicles (Fig. 1) which are with few exceptions, porous, single crystals of high-magnesian calcite. Despite their single crystal nature, fracture surfaces do not exhibit the near-perfect {10.4} cleavage characteristic of inorganic calcite. This paradoxical mix of biogenic and inorganic features has prompted much recent work on echinoderm skeletal crystallography. Furthermore, fossil echinoderm hard parts comprise a volumetrically significant portion of some marine limestones sequences. The ultrastructural and microchemical characterization of modern skeletal material should lend insight into: 1). The nature of the biogenic processes involved, for example, the relationship of Mg heterogeneity to morphological and structural features in modern echinoderm material, and 2). The nature of the diagenetic changes undergone by their ancient, fossilized counterparts. In this study, high resolution TEM (HRTEM), high voltage TEM (HVTEM), and STEM microanalysis are used to characterize tha ultrastructural and microchemical composition of skeletal elements of the modern crinoid Neocrinus blakei.


Author(s):  
A.K. Rai ◽  
A.K. Petford-Long ◽  
A. Ezis ◽  
D.W. Langer

Considerable amount of work has been done in studying the relationship between the contact resistance and the microstructure of the Au-Ge-Ni based ohmic contacts to n-GaAs. It has been found that the lower contact resistivity is due to the presence of Ge rich and Au free regions (good contact area) in contact with GaAs. Thus in order to obtain an ohmic contact with lower contact resistance one should obtain a uniformly alloyed region of good contact areas almost everywhere. This can possibly be accomplished by utilizing various alloying schemes. In this work microstructural characterization, employing TEM techniques, of the sequentially deposited Au-Ge-Ni based ohmic contact to the MODFET device is presented.The substrate used in the present work consists of 1 μm thick buffer layer of GaAs grown on a semi-insulating GaAs substrate followed by a 25 Å spacer layer of undoped AlGaAs.


Author(s):  
Bibian Bibeca Bumbila García ◽  
Hernán Andrés Cedeño Cedeño ◽  
Tatiana Moreira Chica ◽  
Yaritza Rossana Parrales Ríos

The objective of the work is to establish the characterization of the auditory disability and its relationship with resilience at the Technical University of Manabí. The article shows a conceptual analysis related to the inclusion and social integration of disabled students. Based on the fact that the person with disabilities grows and develops in the same way as that of people without disabilities and what usually happens is that disabled people are rejected and discriminated against based on a prefabricated and erroneous conceptualization of these people. The results associated with the application of the SV-RES test prepared by the researchers are shown (Saavedra & Villalta, 2008b). Characterization of the auditory deficit is made in the students, and the limitations that derive from it are pointed out. We analyze the particularities related to communication with students who have a hearing disability and resilience in this type of student, where some personal highlights that in this sense constitute an example of resilience. Finally, the results related to the study of the relationship between students' hearing disability and the level of resilience dimensions are shown.


Author(s):  
Michael C. Rea

This chapter provides a detailed characterization of the various meanings of the term “divine hiddenness,” carefully and rigorously articulates the version of the problem of divine hiddenness that has dominated contemporary philosophical discussion for the past twenty-five years, and then explains the relationship between that problem and the problem of evil.


Mathematics ◽  
2021 ◽  
Vol 9 (2) ◽  
pp. 116
Author(s):  
Qi Liu ◽  
Yongjin Li

In this paper, we will introduce a new geometric constant LYJ(λ,μ,X) based on an equivalent characterization of inner product space, which was proposed by Moslehian and Rassias. We first discuss some equivalent forms of the proposed constant. Next, a characterization of uniformly non-square is given. Moreover, some sufficient conditions which imply weak normal structure are presented. Finally, we obtain some relationship between the other well-known geometric constants and LYJ(λ,μ,X). Also, this new coefficient is computed for X being concrete space.


Author(s):  
Livio Cricelli ◽  
Michele Grimaldi ◽  
Silvia Vermicelli

AbstractIn recent years, Open Innovation (OI) and crowdsourcing have been very popular topics in the innovation management literature, attracting significant interest and attention, and inspiring a rich production of publications. Although these two topics share common themes and address similar managerial challenges, to the best of our knowledge, there is no systematic literature review that digs deep into the intersection of both fields. To fill in this gap a joint review of crowdsourcing and OI topics is both timely and of interest. Therefore, the main objective of this study is to carry out a comprehensive, systematic, and objective review of academic research to help shed light on the relationship between OI and crowdsourcing. For this purpose, we reviewed the literature published on these two topics between 2008 and 2019, applying two bibliometric techniques, co-citation and co-word analysis. We obtained the following results: (i) we provide a qualitative analysis of the emerging and trending themes, (ii) we discuss a characterization of the intersection between OI and crowdsourcing, identifying four dimensions (strategic, managerial, behavioral, and technological), (iii) we present a schematic reconceptualization of the thematic clusters, proposing an integrated view. We conclude by suggesting promising opportunities for future research.


2021 ◽  
Vol 40 (1) ◽  
pp. 1277-1285
Author(s):  
Zhen-yu Jin ◽  
Cong-hua Yan

Motivated by the concept of lattice-bornological vector spaces of J. Paseka, S. Solovyov and M. Stehlík, which extends bornological vector spaces to the fuzzy setting over a complete lattice, this paper continues to study the theory of L-bornological vector spaces. The specific description of L-bornological vector spaces is presented, some properties of Lowen functors between the category of bornological vector spaces and the category of L-bornological vector spaces are discussed. In addition, the notions and some properties of L-Mackey convergence and separation in L-bornological vector spaces are showed. The equivalent characterization of separation in L-bornological vector spaces in terms of L-Mackey convergence is obtained in particular.


1999 ◽  
Vol 179 (6) ◽  
pp. 1561-1564 ◽  
Author(s):  
Paul D. Fey ◽  
Joseph S. Ulphani ◽  
Friedrich Götz ◽  
Christine Heilmann ◽  
Dietrich Mack ◽  
...  

Morphology ◽  
2021 ◽  
Author(s):  
Rossella Varvara ◽  
Gabriella Lapesa ◽  
Sebastian Padó

AbstractWe present the results of a large-scale corpus-based comparison of two German event nominalization patterns: deverbal nouns in -ung (e.g., die Evaluierung, ‘the evaluation’) and nominal infinitives (e.g., das Evaluieren, ‘the evaluating’). Among the many available event nominalization patterns for German, we selected these two because they are both highly productive and challenging from the semantic point of view. Both patterns are known to keep a tight relation with the event denoted by the base verb, but with different nuances. Our study targets a better understanding of the differences in their semantic import.The key notion of our comparison is that of semantic transparency, and we propose a usage-based characterization of the relationship between derived nominals and their bases. Using methods from distributional semantics, we bring to bear two concrete measures of transparency which highlight different nuances: the first one, cosine, detects nominalizations which are semantically similar to their bases; the second one, distributional inclusion, detects nominalizations which are used in a subset of the contexts of the base verb. We find that only the inclusion measure helps in characterizing the difference between the two types of nominalizations, in relation with the traditionally considered variable of relative frequency (Hay, 2001). Finally, the distributional analysis allows us to frame our comparison in the broader coordinates of the inflection vs. derivation cline.


Sign in / Sign up

Export Citation Format

Share Document