On the Limitations of Sketches

1992 ◽  
Vol 35 (3) ◽  
pp. 287-294
Author(s):  
Michael Barr ◽  
Charles Wells

AbstractCall a category "sketchable" if it is the category of models in sets of some sketch. This paper explores the subtle boundary between sketchable and non-sketchable categories. We show that the category of small categories that have at least one initial object and functors that take an initial object to an initial object is sketchable. The same is true for weak initial objects, but is false for subinitial objects (that every object has at most one arrow to). Analogous results hold if we substitute finite limits for terminal object. We also show that the category of groups and center-preserving homomorphisms is not sketchable. We describe briefly how "higher-order" sketches can fill these gaps.

2019 ◽  
Vol 18 (08) ◽  
pp. 1950145
Author(s):  
Wolfgang Rump

Skew-braces have been introduced recently by Guarnieri and Vendramin. The structure group of a non-degenerate solution to the Yang–Baxter equation is a skew-brace, and every skew-brace gives a set-theoretic solution to the Yang–Baxter equation. It is proved that skew-braces arise from near-rings with a distinguished exponential map. For a fixed skew-brace, the corresponding near-rings with exponential form a category. The terminal object is a near-ring of self-maps, while the initial object is a near-ring which gives a complete invariant of the skew-brace. The radicals of split local near-rings with a central residue field [Formula: see text] are characterized as [Formula: see text]-braces with a compatible near-ring structure. Under this correspondence, [Formula: see text]-braces are radicals of local near-rings with radical square zero.


2014 ◽  
Vol 64 (3) ◽  
Author(s):  
Anthony Hager ◽  
Jorge Martínez

AbstractHölder categories are invented to provide an axiomatic foundation for the study of categories of archimedean lattice-ordered algebraic structures. The basis of such a study is Hölder’s Theorem (1908), stating that the archimedean totally ordered groups are precisely the subgroups of the additive real numbers ℝ with the usual addition and ordering, which remains the single most consequential result in the studies of lattice-ordered algebraic systems since Birkhoff and Fuchs to the present.This study originated with interest in W*, the category of all archimedean lattice-ordered groups with a designated strong order unit, and the ℓ-homomorphisms which preserve those units, and, more precisely, with interest in the epireflections on W*. In the course of this study, certain abstract notions jumped to the forefront. Two of these, in particular, seem to have been mostly overlooked; some notion of simplicity appears to be essential to any kind of categorical study of W*, as are the quasi-initial objects in a category. Once these two notions have been brought into the conversation, a Hölder category may then be defined as one which is complete, well powered, and in which(a) the initial object I is simple, and(b) there is a simple quasi-initial coseparator R.In this framework it is shown that the epireflective hull of R is the least monoreflective class. And, when I = R — that is, the initial element is simple and a coseparator — a theorem of Bezhanishvili, Morandi, and Olberding, for bounded archimedean f-algebras with identity, can be be generalized, as follows: for any Hölder category subject to the stipulation that the initial object is a simple coseparator, every uniformly nontrivial reflection — meaning that the reflection of each non-terminal object is non-terminal — is a monoreflection.Also shown here is the fact that the atoms in the class of epireflective classes are the epireflective hulls of the simple quasi-initial objects. From this observation one easily deduces a converse to the result of Bezhanishvili, Morandi, and Olberding: if in a Hölder category every epireflection is a monoreflection, then the initial object is a coseparator.


2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.


Author(s):  
G.F. Bastin ◽  
H.J.M. Heijligers

Among the ultra-light elements B, C, N, and O nitrogen is the most difficult element to deal with in the electron probe microanalyzer. This is mainly caused by the severe absorption that N-Kα radiation suffers in carbon which is abundantly present in the detection system (lead-stearate crystal, carbonaceous counter window). As a result the peak-to-background ratios for N-Kα measured with a conventional lead-stearate crystal can attain values well below unity in many binary nitrides . An additional complication can be caused by the presence of interfering higher-order reflections from the metal partner in the nitride specimen; notorious examples are elements such as Zr and Nb. In nitrides containing these elements is is virtually impossible to carry out an accurate background subtraction which becomes increasingly important with lower and lower peak-to-background ratios. The use of a synthetic multilayer crystal such as W/Si (2d-spacing 59.8 Å) can bring significant improvements in terms of both higher peak count rates as well as a strong suppression of higher-order reflections.


Author(s):  
H. S. Kim ◽  
S. S. Sheinin

The importance of image simulation in interpreting experimental lattice images is well established. Normally, in carrying out the required theoretical calculations, only zero order Laue zone reflections are taken into account. In this paper we assess the conditions for which this procedure is valid and indicate circumstances in which higher order Laue zone reflections may be important. Our work is based on an analysis of the requirements for obtaining structure images i.e. images directly related to the projected potential. In the considerations to follow, the Bloch wave formulation of the dynamical theory has been used.The intensity in a lattice image can be obtained from the total wave function at the image plane is given by: where ϕg(z) is the diffracted beam amplitide given by In these equations,the z direction is perpendicular to the entrance surface, g is a reciprocal lattice vector, the Cg(i) are Fourier coefficients in the expression for a Bloch wave, b(i), X(i) is the Bloch wave excitation coefficient, ϒ(i)=k(i)-K, k(i) is a Bloch wave vector, K is the electron wave vector after correction for the mean inner potential of the crystal, T(q) and D(q) are the transfer function and damping function respectively, q is a scattering vector and the summation is over i=l,N where N is the number of beams taken into account.


Author(s):  
Julian M. Etzel ◽  
Gabriel Nagy

Abstract. In the current study, we examined the viability of a multidimensional conception of perceived person-environment (P-E) fit in higher education. We introduce an optimized 12-item measure that distinguishes between four content dimensions of perceived P-E fit: interest-contents (I-C) fit, needs-supplies (N-S) fit, demands-abilities (D-A) fit, and values-culture (V-C) fit. The central aim of our study was to examine whether the relationships between different P-E fit dimensions and educational outcomes can be accounted for by a higher-order factor that captures the shared features of the four fit dimensions. Relying on a large sample of university students in Germany, we found that students distinguish between the proposed fit dimensions. The respective first-order factors shared a substantial proportion of variance and conformed to a higher-order factor model. Using a newly developed factor extension procedure, we found that the relationships between the first-order factors and most outcomes were not fully accounted for by the higher-order factor. Rather, with the exception of V-C fit, all specific P-E fit factors that represent the first-order factors’ unique variance showed reliable and theoretically plausible relationships with different outcomes. These findings support the viability of a multidimensional conceptualization of P-E fit and the validity of our adapted instrument.


2008 ◽  
Vol 29 (4) ◽  
pp. 205-216 ◽  
Author(s):  
Stefan Krumm ◽  
Lothar Schmidt-Atzert ◽  
Kurt Michalczyk ◽  
Vanessa Danthiir

Mental speed (MS) and sustained attention (SA) are theoretically distinct constructs. However, tests of MS are very similar to SA tests that use time pressure as an impeding condition. The performance in such tasks largely relies on the participants’ speed of task processing (i.e., how quickly and correctly one can perform the simple cognitive tasks). The present study examined whether SA and MS are empirically the same or different constructs. To this end, 24 paper-pencil and computerized tests were administered to 199 students. SA turned out to be highly related to MS task classes: substitution and perceptual speed. Furthermore, SA showed a very close relationship with the paper-pencil MS factor. The correlation between SA and computerized speed was considerably lower but still high. In a higher-order general speed factor model, SA had the highest loading on the higher-order factor; the higher-order factor explained 88% of SA variance. It is argued that SA (as operationalized with tests using time pressure as an impeding condition) and MS cannot be differentiated, at the level of broad constructs. Implications for neuropsychological assessment and future research are discussed.


2010 ◽  
Vol 26 (3) ◽  
pp. 162-171 ◽  
Author(s):  
Lixia Cui ◽  
Xiujie Teng ◽  
Xupei Li ◽  
Tian P.S. Oei

The current study examined the factor structure and the psychometric properties of Sandra Prince-Embury’s Resiliency Scale for Adolescents (RESA) in Chinese undergraduates. A total of 726 undergraduate students were randomly divided into two subsamples: Sample A was used for the exploratory factor analysis (EFA) and Sample B was used for the confirmatory factor analysis (CFA). The EFA revealed that 56 items and a model of 10 factors with 3 higher order factors (as described by Sandra) were to be retained; CFA with Sample B confirmed this result. The overall scale and the subscales of the Chinese-RESA demonstrated a high level of internal consistency. Furthermore, concurrent validity was demonstrated by the correlation of the scale with other instruments such as the PANAS and the CSS, and the predictive validity was confirmed via three multiple regression analyses using the PANAS as a criterion variable: one for the 10 subscales of the C-RESA, one for the 3 higher order scales, and one for the total C-RESA. We concluded that the C-RESA may be used for research into Chinese undergraduates’ adaptive behaviors.


Sign in / Sign up

Export Citation Format

Share Document