scholarly journals Constructing Differential Categories and Deconstructing Categories of Games

Author(s):  
Jim Laird ◽  
Giulio Manzonetto ◽  
Guy McCusker
2021 ◽  
Vol 24 ◽  
Author(s):  
Edgar González-Hernández ◽  
Daniel Campos ◽  
Rebeca Diego-Pedro ◽  
Rocío Romero ◽  
Rosa Baños ◽  
...  

Abstract The growing body of research on compassion has demonstrated its benefits for healthcare and wellbeing. However, there is no clear agreement about a definition for compassion, given the novelty of the research on this construct and its religious roots. The aim of this study is to analyze the mental semantic construction of compassion in Spanish-speaking women breast cancer survivors, and the effects of the Cognitively-Based Compassion Training (CBCT®) on the modification of this definition, compared to treatment-as-usual (TAU), at baseline, post-intervention, and six-month follow-up. Participants were 56 women breast cancer survivors from a randomized clinical trial. The Osgood’s Semantic Differential categories (evaluative, potency, and activity scales) were adapted to assess the semantic construction of compassion. At baseline, participants had an undefined idea about compassion. The CBCT influenced subjects’ semantic construction of what it means to be compassionate. Findings could lead to future investigations and compassion programs that adapt to a specific culture or population.


Author(s):  
Richard Garner ◽  
Jean-Simon Pacaud Lemay

AbstractWe exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids—or in a straightforward generalisation, the category of modules over a commutative rig k. However, the tensor product on this category is not the usual one, but rather a warping of it by a certain monoidal comonad Q. Thus the enrichment base is not a monoidal category in the usual sense, but rather a skew monoidal category in the sense of Szlachányi. Our first main result is that cartesian differential categories are the same as categories with finite products enriched over this skew monoidal base. The comonad Q involved is, in fact, an example of a differential modality. Differential modalities are a kind of comonad on a symmetric monoidal k-linear category with the characteristic feature that their co-Kleisli categories are cartesian differential categories. Using our first main result, we are able to prove our second one: that every small cartesian differential category admits a full, structure-preserving embedding into the cartesian differential category induced by a differential modality (in fact, a monoidal differential modality on a monoidal closed category—thus, a model of intuitionistic differential linear logic). This resolves an important open question in this area.


2014 ◽  
Vol 102 (1) ◽  
pp. 48-78 ◽  
Author(s):  
Sergey Gorchinskiy ◽  
Alexey Ovchinnikov

2006 ◽  
Vol 16 (06) ◽  
pp. 1049 ◽  
Author(s):  
R. F. BLUTE ◽  
J. R. B. COCKETT ◽  
R. A. G. SEELY

2015 ◽  
Vol 27 (1) ◽  
pp. 70-91 ◽  
Author(s):  
G. S. H. CRUTTWELL

We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over categories with finite products, so that every category with finite products has an associated cofree differential category. We also work out the corresponding results when the categories involved have restriction structure, and show that these categories are closed under splitting restriction idempotents.


2021 ◽  
pp. 001139212110392
Author(s):  
Sait Bayrakdar ◽  
Andrew King

This article examines the incidents of discrimination, harassment and violence experienced by lesbian, gay, bisexual and trans (LGBT) individuals in Germany, Portugal and the UK. Using a large cross-national survey and adopting an intra-categorical intersectional approach, it documents how the likelihood of experiencing discrimination, harassment and violence changes within LGBT communities across three national contexts. Moreover, it explores how individual characteristics are associated with the likelihood of experiencing such incidents. The results show that trans people are more at risk compared to cisgender gay, lesbian and bisexual individuals to experience discrimination, harassment and violence. However, other factors, such as socioeconomic resources, also affect the likelihood of individuals experiencing such incidents. The three countries in our study show some nuanced differences in likelihood levels of experiencing discrimination, harassment and violence with regard to differential categories of sexual orientation and gender identity.


Author(s):  
Mario Alvarez-Picallo ◽  
Jean-Simon Pacaud Lemay

AbstractCartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth functions and categorical models of the differential $$\lambda $$ λ -calculus. However, Cartesian differential categories cannot account for other interesting notions of differentiation such as the calculus of finite differences or the Boolean differential calculus. On the other hand, change action models have been shown to capture these examples as well as more “exotic” examples of differentiation. However, change action models are very general and do not share the nice properties of a Cartesian differential category. In this paper, we introduce Cartesian difference categories as a bridge between Cartesian differential categories and change action models. We show that every Cartesian differential category is a Cartesian difference category, and how certain well-behaved change action models are Cartesian difference categories. In particular, Cartesian difference categories model both the differential calculus of smooth functions and the calculus of finite differences. Furthermore, every Cartesian difference category comes equipped with a tangent bundle monad whose Kleisli category is again a Cartesian difference category.


2019 ◽  
Vol 28 (2) ◽  
pp. 171-235 ◽  
Author(s):  
R. F. Blute ◽  
J. R. B. Cockett ◽  
J.-S. P. Lemay ◽  
R. A. G. Seely

1981 ◽  
Vol 53 (3) ◽  
pp. 759-764 ◽  
Author(s):  
John. L. Gustavson ◽  
Bert P. Cundick ◽  
Michael J. Lambert

Transcripts of filmed interviews by Rogers, Ellis, and Perls were classified as to verbal response categories proposed by Goodman and Dooley. Later the films were shown to 80 college undergraduates who filled out semantic differential scales at various points during the films. The three filmed therapists were rated significantly differently on the semantic differential categories of competence, benevolence, client's feelings, and therapeutic atmosphere. Each filmed therapist used significantly different patterns of verbal interaction. Stepwise regressions were calculated to determine the categories of verbal response which would account for the ratings of the undergraduate observers.


2021 ◽  
Vol Volume 17, Issue 3 ◽  
Author(s):  
Mario Alvarez-Picallo ◽  
Jean-Simon Pacaud Lemay

Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth functions and categorical models of the differential $\lambda$-calculus. However, Cartesian differential categories cannot account for other interesting notions of differentiation of a more discrete nature such as the calculus of finite differences. On the other hand, change action models have been shown to capture these examples as well as more "exotic" examples of differentiation. But change action models are very general and do not share the nice properties of Cartesian differential categories. In this paper, we introduce Cartesian difference categories as a bridge between Cartesian differential categories and change action models. We show that every Cartesian differential category is a Cartesian difference category, and how certain well-behaved change action models are Cartesian difference categories. In particular, Cartesian difference categories model both the differential calculus of smooth functions and the calculus of finite differences. Furthermore, every Cartesian difference category comes equipped with a tangent bundle monad whose Kleisli category is again a Cartesian difference category.


Sign in / Sign up

Export Citation Format

Share Document