scholarly journals Homotopic Chain Maps Have Equals-Homology andd-Homology

2016 ◽  
Vol 2016 ◽  
pp. 1-5
Author(s):  
M. Z. Kazemi-Baneh
Keyword(s):  
Homotopy Type ◽  
Chain Maps ◽  
Special Case

The homotopy of chain maps on preabelian categories is investigated and the equality of standard homologies andd-homologies of homotopic chain maps is established. As a special case, ifXandYare the same homotopy type, then theirnthd-homologyR-modules are isomorphic, and ifXis a contractible space, then itsnthd-homologyR-modules forn≠0are trivial.

scholarly journals Modal descent

2020 ◽  
pp. 1-29
Author(s):  
Felix Cherubini ◽  
Egbert Rijke
Keyword(s):  
Homotopy Type ◽  
Type Theory ◽  
Orthogonal Factorization ◽  
Simple Description ◽  
Factorization System ◽  
Homotopy Type Theory ◽  
Orthogonal Factorization System ◽  
The Right ◽  
Special Case

Abstract Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated with any modality, of which the left class is the class of ○-equivalences and the right class is the class of ○-étale maps. This factorization system is called the modal reflective factorization system of a modality, and we give a precise characterization of the orthogonal factorization systems that arise as the modal reflective factorization system of a modality. In the special case of the n-truncation, the modal reflective factorization system has a simple description: we show that the n-étale maps are the maps that are right orthogonal to the map $${\rm{1}} \to {\rm{ }}{{\rm{S}}^{n + 1}}$$ . We use the ○-étale maps to prove a modal descent theorem: a map with modal fibers into ○X is the same thing as a ○-étale map into a type X. We conclude with an application to real-cohesive homotopy type theory and remark how ○-étale maps relate to the formally etale maps from algebraic geometry.

scholarly journals Sets in homotopy type theory

2015 ◽  
Vol 25 (5) ◽  
pp. 1172-1202 ◽  
Author(s):  
EGBERT RIJKE ◽  
BAS SPITTERS
Keyword(s):  
Homotopy Type ◽  
Type Theory ◽  
Connected Components ◽  
Homotopy Type Theory ◽  
Universe Of Sets ◽  
Univalent Foundations ◽  
Subobject Classifier ◽  
Theoretical Foundations ◽  
Special Case

Homotopy type theory may be seen as an internal language for the ∞-category of weak ∞-groupoids. Moreover, weak ∞-groupoids model the univalence axiom. Voevodsky proposes this (language for) weak ∞-groupoids as a new foundation for Mathematics called the univalent foundations. It includes the sets as weak ∞-groupoids with contractible connected components, and thereby it includes (much of) the traditional set theoretical foundations as a special case. We thus wonder whether those ‘discrete’ groupoids do in fact form a (predicative) topos. More generally, homotopy type theory is conjectured to be the internal language of ‘elementary’ of ∞-toposes. We prove that sets in homotopy type theory form a ΠW-pretopos. This is similar to the fact that the 0-truncation of an ∞-topos is a topos. We show that both a subobject classifier and a 0-object classifier are available for the type theoretical universe of sets. However, both of these are large and moreover the 0-object classifier for sets is a function between 1-types (i.e. groupoids) rather than between sets. Assuming an impredicative propositional resizing rule we may render the subobject classifier small and then we actually obtain a topos of sets.

Extreme self-sacrifice beyond fusion: Moral expansiveness and the special case of allyship

2018 ◽  
Vol 41 ◽  
Author(s):  
Daniel Crimston ◽  
Matthew J. Hornsey
Keyword(s):  
General Theory ◽  
Biological Markers ◽  
Natural Environment ◽  
Relevant Dimension ◽  
Special Case

AbstractAs a general theory of extreme self-sacrifice, Whitehouse's article misses one relevant dimension: people's willingness to fight and die in support of entities not bound by biological markers or ancestral kinship (allyship). We discuss research on moral expansiveness, which highlights individuals’ capacity to self-sacrifice for targets that lie outside traditional in-group markers, including racial out-groups, animals, and the natural environment.

Determination of the phase structure of polymerblends by electron microscopy

1978 ◽  
Vol 36 (1) ◽  
pp. 492-493
Author(s):  
Dr. G. Kaemof
Keyword(s):  
Screw Extruder ◽  
Electron Microscopic ◽  
Thin Sections ◽  
Single Screw Extruder ◽  
Transmission Electron ◽  
The Matrix ◽  
Twin Screw ◽  
Special Case ◽  
Microscopic Investigations

A mixture of polycarbonate (PC) and styrene-acrylonitrile-copolymer (SAN) represents a very good example for the efficiency of electron microscopic investigations concerning the determination of optimum production procedures for high grade product properties.The following parameters have been varied:components of charge (PC : SAN 50 : 50, 60 : 40, 70 : 30), kind of compounding machine (single screw extruder, twin screw extruder, discontinuous kneader), mass-temperature (lowest and highest possible temperature).The transmission electron microscopic investigations (TEM) were carried out on ultra thin sections, the PC-phase of which was selectively etched by triethylamine.The phase transition (matrix to disperse phase) does not occur - as might be expected - at a PC to SAN ratio of 50 : 50, but at a ratio of 65 : 35. Our results show that the matrix is preferably formed by the components with the lower melting viscosity (in this special case SAN), even at concentrations of less than 50 %.

Test Validation Without Measurement

2016 ◽  
Vol 32 (3) ◽  
pp. 204-214 ◽  
Author(s):  
Emilie Lacot ◽  
Mohammad H. Afzali ◽  
Stéphane Vautier
Keyword(s):  
Test Data ◽  
Test Scores ◽  
Scientific Explanation ◽  
Test Validation ◽  
Clinical Tests ◽  
Ethical Perspective ◽  
Power Of Test ◽  
Memory Accuracy ◽  
Social Uses ◽  
Special Case

Abstract. Test validation based on usual statistical analyses is paradoxical, as, from a falsificationist perspective, they do not test that test data are ordinal measurements, and, from the ethical perspective, they do not justify the use of test scores. This paper (i) proposes some basic definitions, where measurement is a special case of scientific explanation; starting from the examples of memory accuracy and suicidality as scored by two widely used clinical tests/questionnaires. Moreover, it shows (ii) how to elicit the logic of the observable test events underlying the test scores, and (iii) how the measurability of the target theoretical quantities – memory accuracy and suicidality – can and should be tested at the respondent scale as opposed to the scale of aggregates of respondents. (iv) Criterion-related validity is revisited to stress that invoking the explanative power of test data should draw attention on counterexamples instead of statistical summarization. (v) Finally, it is argued that the justification of the use of test scores in specific settings should be part of the test validation task, because, as tests specialists, psychologists are responsible for proposing their tests for social uses.

Impact of Digitalization on Service Work in Knowledge-Intensive Business Services: An Empirical Study in Tax Consultancies

2019 ◽  
Vol 3 (4) ◽  
pp. 209-222
Author(s):  
Philipp K. Görs ◽  
Henning Hummert ◽  
Anne Traum ◽  
Friedemann W. Nerdinger
Keyword(s):  
Work Engagement ◽  
Service Work ◽  
Psychological Consequences ◽  
Business Services ◽  
Knowledge Intensive Business Services ◽  
Positive Effects ◽  
Knowledge Intensive ◽  
The Impact ◽  
Positive Effect ◽  
Special Case

Digitalization is a megatrend, but there is relatively little knowledge about its consequences for service work in general and specifically in knowledge-intensive business services (KIBS). We studied the impact of digitalization on psychological consequences for employees in tax consultancies as a special case of KIBS. We compare two tax consulting jobs with very different job demands, those of tax consultants (TCs) and assistant tax consultants (ATCs). The results show that the extent of digitalization at the workplace level for ATCs correlates significantly positively with their job satisfaction. For TCs, the same variable correlates positively with their work engagement. These positive effects of digitalization are mediated in the case of ATCs by the impact on important job characteristics. In the case of TCs, which already have very good working conditions, the impact is mediated by the positive effect on self-efficacy. Theoretical and practical consequences of these results are discussed.

The smooth case

2017 ◽  
Author(s):  
Ehud Hrushovski ◽  
François Loeser
Keyword(s):  
Homotopy Type ◽  
Unit Vector ◽  
Smooth Case ◽  
Open Set ◽  
Birational Invariant

This chapter examines the simplifications occurring in the proof of the main theorem in the smooth case. It begins by stating the theorem about the existence of an F-definable homotopy h : I × unit vector X → unit vector X and the properties for h. It then presents the proof, which depends on two lemmas. The first recaps the proof of Theorem 11.1.1, but on a Zariski dense open set V₀ only. The second uses smoothness to enable a stronger form of inflation, serving to move into V₀. The chapter also considers the birational character of the definable homotopy type in Remark 12.2.4 concerning a birational invariant.

Sign in / Sign up

Export Citation Format

Share Document