Search results for " category theory"
showing 10 items of 70 documents
A Probabilistic Analysis to Quantify the Effect of March 11, 2004, Attacks in Madrid on the March 14 Elections in Spain: A Dynamic Modelling Approach
2015
[EN] The bomb attacks in Madrid three days before the general elections of March 14, 2004, and their possible influence on the victory of PSOE (Spanish Workers Socialist Party), defeating PP (Popular Party), have been a matter of study from several points of view (i.e., sociological, political, or statistical). In this paper, we present a dynamic model based on a system of differential equations such that it, using data from Spanish CIS (National Center of Sociological Research), describes the evolution of voting intention of the Spanish people over time. Using this model, we conclude that the probability is very low that the PSOE would have won had the attack not happened.Moreover, after t…
Are locally finite MV-algebras a variety?
2021
We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…
The identity type weak factorisation system
2008
We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit characterisation of the elements of both the left class and the right class of the weak factorisation system. This characterisation is applied to relate identity types and the homotopy theory of groupoids.
“It’s More Than Just Exercise”: Tailored Exercise at a Community-Based Activity Center as a Liminal Space along the Road to Mental Health Recovery an…
2021
Mental health care policies call for health-promoting and recovery-oriented interventions, as well as community-based programs supporting healthier habits. The purpose of this study was to explore how individuals facing mental health challenges experienced participating in tailored exercise at a community-based activity center, and what role tailored exercise could play in supporting an individual’s process of recovery. Data were collected through in-depth interviews with nine adults experiencing poor mental health who engaged in exercise at the activity center. Interviews were audio-recorded, transcribed verbatim and analyzed using systematic text condensation. Participants spoke about the…
The study of familial migratory network: An inquiry whithin the help center A. Chiara (Palermo)
2004
The present paper proposes a synthetic methodology in order to give a more exhaustive picture of the migratory phenomenon by the use of different instructive sources. In particular we suggest a socio-demographic analysis of the procreative behaviour and familiar strategies. For this purpose a socio-sanitarian centre in Palermo, as a place of observation of the migratory realities, offers the possibility to investigate the process under different facets. The use of a non-institutional centre allows a direct contact with the “less visible” migrants which enables the researcher to get more complete information. This survey has adopted the questionnaire as main tool of investigation, in order t…
The absolute center of a unicyclic network
1989
Abstract A unicyclic network is one generalization of a tree network. In this paper we examine the problem of finding an absolute center of a unicyclic network. We show that this problem can be solved in linear time with respect to the number of vertices in the network.
Memories, forgetting and silences in the museographical proposal of the memory center “La Perla”
2019
El artículo analiza el proceso de selección y consagración de memorias en un caso particular: el del Espacio para la Memoria que funciona en lo que durante la última dictadura en Argentina (1976-1983) fue el Centro Clandestino de Detención (CCD) conocido como “La Perla” en la provincia de Córdoba, Argentina. El mismo analiza las funciones que fue asumiendo el lugar: CCD, cuartel militar, espacio de memorias, y los valores que diferentes grupos y el estado le adjudicaron a lo largo de su historia. A partir de allí, aborda las propuestas elaboradas para su institucionalización como espacio de memoria, la elaboración del guion del museo de sitio y las muestras exhibidas, profundizando en el ju…
Categories of lattice-valued sets as categories of arrows
2006
In this paper we introduce a category X(A) which is a generalization of the category of lattice-valued subsets of sets Set(JCPos) introduced by us earlier. We show the necessary and sufficient conditions for X(A) to be topological over XxA.
Butterflies in a Semi-Abelian Context
2011
It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp, with respect to weak equivalences (that is, internal functors which are internally fully faithful and essentially surjective on objects). Monoidal functors can be equivalently described by a kind of weak morphisms introduced by B. Noohi under the name of butterflies. In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show th…
Double adjunctions and free monads
2011
We characterize double adjunctions in terms of presheaves and universal squares, and then apply these characterizations to free monads and Eilenberg--Moore objects in double categories. We improve upon our earlier result in "Monads in Double Categories", JPAA 215:6, pages 1174-1197, 2011, to conclude: if a double category with cofolding admits the construction of free monads in its horizontal 2-category, then it also admits the construction of free monads as a double category. We also prove that a double category admits Eilenberg--Moore objects if and only if a certain parameterized presheaf is representable. Along the way, we develop parameterized presheaves on double categories and prove …