A Kahler category axiomatizes the algebraic geometric theory of Kahler Differentials in an abstract categorical setting. To facilitate this, a Kahler category is equipped with an algebra modality, which endows each object in the image of a specified monad with an associative algebra structure; universal derivations are then required to exist naturally for each of these objects. Moreover, it can be demonstrated that for each T-algebra of said monad there is a natural associative algebra structure. In this paper I will show that under certain conditions on the Kahler category, the universal derivations for the algebras arising from T-algebras exist and arise via a coequalizer. Furthermore, this result is extended to provide an alternative construction for universal derivations for a more general class of algebras, including all algebras in a Kahler category. A prospective categorical formulation of the theory of noncommutative Kahler differentials is then given, and the above said results are shown to apply in this context. Finally, another class of algebras is constructed via a colimit, and the modules of differential forms for these algebras is computed.

In 1971, Ganea put forth a conjecture that the LS category of the Cartesian product of a topological space X with a sphere Sn is always exactly 1 higher than the LS category of X by itself. Several special cases of this conjecture were proven in the years following, however the question remained open until 1998 when Iwase produced not just one, but infinitely many counterexamples. In this thesis, we study the methods implemented by Iwase, culminating in the construction of his counterexample.

The thesis was suggested and assigned by Tesco Stores CR. The idea behind is to find out whether supporting local producers can bring a competitive advantage to an involved retailer on the Czech retail market. It is focused primarily on fresh food categories which seem to be the most suitable for local sourcing prefernce. The thesis also considers the relationship between quality-origin-customer expectation. The practical part includes two researches-one studies marketing tools used by retailers present on Czech market in order to promote local producers. The other one provides Czech food producers' opinion on retailers controlling Czech retail market.

In the study of Banach spaces, the development of some key properties require studying topologies on the collection of closed convex subsets of the space. The subcollection of closed linear subspaces is studied under the relative slice topology, as well as a class of topologies similar thereto. It is shown that the collection of closed linear subspaces under the slice topology is homeomorphic to the collection of their respective intersections with the closed unit ball, under the natural mapping. It is further shown that this collection under any topology in the aforementioned class of similar topologies is a strong Choquet space. Finally, a collection of category results are developed since strong Choquet spaces are also Baire spaces.

Thesis advisor: Andrea Heberlein / Dehumanization of outgroup members in situations of intergroup competition has been widely reported (Haslam, 2006), but the effects of individual competition on dehumanization have not yet been extensively explored. A previous study in our lab examined this effect and found an unexpected gender difference, with women showing greater implicit dehumanization than men. The present study aimed to explore a possible mechanism for that gender difference: gendered expectations of maintaining positive interpersonal relations, and subsequent discomfort in competitive situations, may motivate the implicit dehumanization of competitors. Participants interacted briefly with a confederate and were then given instructions for a competitive or non-competitive game. Participants then completed two Single-Category Implicit Association Tests measuring dehumanization of their game partner. Participants also completed the Mind Perception Questionnaire, which measures explicit dehumanization of participants’ game partners. We predicted that in the Competition condition, female participants would implicitly dehumanize their game partners more than men would. / Thesis (BA) — Boston College, 2018. / Submitted to: Boston College. College of Arts and Sciences. / Discipline: Departmental Honors. / Discipline: Psychology.

A la suite de l'Incarnation du Fils de Dieu, l'Église, analogie du Corps mystique du Christ, est enracinée dans une géographie historique transitoire. C'est la foi professée par l'Eglise catholique romaine. Sa mission ne peut donc se restreindre aux réalités spirituelles entendues comme immatérielles. Si l'État a vocation première à assumer les réalités temporelles selon le plan divin, cela ne signifie pas que l'Église doive renoncer à sa part de responsabilité éthique et politique. Au service de la vocation ultime de l'être humain, c'est "l'homme considéré dans son unité et sa totalité" (Gaudium et Spes 3) que l'Eglise catholique aussi doit conduire au salut.La canonicité de l'engagement ecclésial dans les réalités temporelles affronte le pouvoir politique et sa tendance hégémonique à imposer une doctrine soit étatiste ou régalienne, soit séparatiste et parfois discriminatoire.Quels sont les arguments juridiques dont cette Église dispose pour justifier, devant son interlocuteur politique, d'une légitimité de prise de parole dans des domaines de la res publica qui relèvent premièrement de l'État et de ses structures ? Dans cette tâche, elle ne peut se présenter ni comme une institution associative, ni comme un simple lobby. Les XIXe et XXe siècles ont été le lieu d'un travail doctrinal et d'une expression magistérielle très riche en ce domaine. En rappelant son fondement divin dont la forme juridique prend celle d'une Société parfaite théologique, l'Église a affirmé un statut de société religieuse, la distinguant d'une puissance séculière de machine de prise de pouvoir, et définissant le proprium d'une parole d'éthique internationale. L'organisation canonique de la souveraineté vient, non d'une concession de la sphère profane, mais d'une volonté divine. L'Eglise se disant Société parfaite, ou encore société externe devant l'organisation internationale, ces notions sont nécessairement théologiques. / Following the Incarnation of the son of God, the Church, analogy of mystical Body of Christ, is rooted in a transitional historical geography. This is the faith professed by the Roman Catholic Church. Its mission can not therefore be limited to spiritual realities understood as immaterial. If State has primary vocation to assume temporal realities according to the divine plan, that does not mean that the Church should give up its share of ethical and political responsability. Serving the ultimate vocation of human being it's "man seen in its unity and totality" (Gaudium et Spes 3) that the Church must also lead to salvation.Canonicity of the ecclesial commitment in temporal realities confronts political power and its hegemonic tendency to impose a doctrine either statist or regal, either separatist and sometimes discriminatory.What are legal arguments which the Church has to justify, before his political interlocutor, legitimacy of speaking in areas of "res publica" that fall firstly to the state and its structures ? In this task, it can occur either as an associative institution nor a simple lobby. The nineteenth and twentieth centuries were the scene of a doctrinal work and a magisterial speech rich in this area. Recalling its divine foundation which takes the legal form of a Theological perfect Society, the Church has affirmed the status of a religious society, distinguishing it from a secular machine to gain power and defining the proprium of an international ethics. The canonical organization of sovereignty is not a concession to the secular sphere, but a divine will. The Church is called perfect company or external company to the international organization, these concepts are necessarily theological.

Traditional recursion theory is the study of computable functions on the natural numbers. This thesis considers recursion theory in first-order arithmetical theories and categories, thus expanding the work of Ritchie and Young, Lambek, Scott, and Hofstra. We give a complete characterisation of the representability of computable functions in arithmetical theories, paying attention to the differences between intuitionistic and classical theories and between theories with and without induction. When considering recursion theory from a category-theoretic perspective, we examine syntactic categories of arithmetical theories. In this setting, we construct a strong parameterised natural numbers object and give necessary and sufficient conditions to construct a Turing category associated to an intuitionistic arithmetical theory with induction.

京都大学 / 新制・課程博士 / 博士(理学) / 甲第22980号 / 理博第4657号 / 新制||理||1669(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 長谷川 真人, 准教授 照井 一成, 准教授 河村 彰星 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

Cette thèse se propose d'étudier des problèmes de factorisations des régions cubiques. Dans le cadre de l'analyse de programme concurrent via des méthodes issues de la topologie algébrique, les régions cubiques sont un modèle géométrique simple mais expressif de la concurrence. Tout programme concurrent (sans boucle ni branchement) est ainsi représenté comme sous partie de R^n auquel on enlève des cubes interdits représentant les états du programme interdit par les contraintes de la concurrence (mutex par exemple) où n est le nombre de processus. La première partie de cette thèse s’intéresse à la question d'indépendance des processus. Cette question est cruciale dans l'analyse de programme non concurrent car elle permet de simplifier l'analyse en séparant le programme en groupe de processus indépendants. Dans le modèle géométrique d'un programme, l'indépendance se traduit comme une factorisation modulo permutation des processus. Ainsi le but de cette section est de donner un algorithme effectif de factorisation des régions cubiques et de le démontrer. L'algorithme donné est relativement simple et généralise l'algorithme très intuitif suivant (dit algorithme syntaxique). A partir du programme, on met dans un même groupe les processus qui partagent une ressource, puis l’on prend la clôture transitive de cette relation. Le nouvel algorithme s'effectue de la même manière, cependant il supprime certaines de ces relations. En effet par des jeux d'inclusion entre cubes interdits, il est possible d'avoir deux processus qui partagent une ressource mais qui sont toutefois indépendant. Ainsi la nouvelle relation est obtenue en regardant l'ensemble des cubes maximaux de la région interdite. Lorsque deux coordonnées sont différentes de R dans un cube maximal on dira qu’elles sont reliées. Il suffit alors de faire la clôture transitive de cette relation pour obtenir la factorisation optimale. La seconde partie de ce manuscrit s'intéresse à un invariant catégorique que l'on peut définir sur une région cubique. Celui-ci découpe la région cubique en cubes appelés "dés" auxquels on associe une catégorie appelée catégorie émincée de la région cubique. On peut voir cette catégorie comme un intermédiaire fini entre la catégorie des composantes et la catégorie fondamentale. On peut ainsi montrer que lorsque la région cubique factorise alors la catégorie émincée associée va elle-même se factoriser. Cependant la réciproque est plus compliquée et de nombreux contre exemples empêchent une réciproque totale. La troisième et dernière partie de cette thèse s'intéresse à la structure de produit tensoriel que l'on peut mettre sur les régions cubiques. En remarquant comment les opérations booléennes sur une région cubique peuvent être obtenues à partir des opérations sur les régions cubiques de dimension inférieure, on tente de voir ces régions cubiques comme un produit tensoriel des régions de dimension inférieure. La structure de produit tensoriel est hautement dépendante de la catégorie dans laquelle on la considère. Dans ce cas, si l'on considère le produit dans les algèbres de Boole, le résultat n'est pas celui souhaité. Au final il se trouve que le produit tensoriel dans la catégorie des demi-treillis avec zéro donne le résultat voulu. / This thesis studies some problems of the factorization of cubical areas. In the setting of analysis of programs through methods coming from algebraic topology, cubical areas are geometric models used to understand concurrency. Any concurrent programs (without loops nor branchings) can be seen as a subset of R^n where we remove some cubes which contains the states forbidden by the concurrency (think of a mutex) and where n is the number of process in the program. The first part of this thesis is interested in the question the independence of process. This question is particularly important to analyse a program, indeed being able to separate groups of process into independent part will greatly reduce the complexity of the analysis. In the geometric model, the independency is seen as a factorization up to permutation of processes. Hence the goal is to give a new effective algorithm which factorizes cubical areas, and proves that it does. The given algorithm is quite straightforward and is a generalization of the following algorithm (that we called syntactic algorithm). From the written program, groups together process that shares a resource, then take the transitive closure of this relation. This algorithm is not always optimal in that it can groups together process that actually could be separated. Thus we create a new (more relax) relationship between process. From the maximal cubes of the forbidden area of the program, if two coordinate are not equal to R, then groups them together. We can then take the transitive closure of this and get the optimal factorization. Each cube is an object of the category and between two adjacent cubes is an arrow. We can see that this category is in between the fundamental category and the components category of the cubical area. We can then show that if the cubical area factorize then so does the minced category. The reciprocal is harder to get. Indeed there's a few counter example on which we cant go back. The third and last part of this thesis is interested in seeing cubical areas as some kind of product over lower dimension cubical areas. By looking at how the booleans operations of a cubical area arise from the same operation on lower dimensional cubical areas we understand that it can be expressed as a tensor product. A tensor product is highly dependent on the category on which it is built upon. We show that to take the category of Boolean algebra is too restrictive and gives trivial result, while the category of semi-lattice with zeros works well. are not equal to R, then groups them together. We can then take the transitive closure of this and get the optimal factorization. The second part of this thesis looks at some categorical invariant that we define over cubical areas. These categories (called the minced category) slice the space into cubes.

When launching brand extension strategies globally, It is very important for today’s brand marketers to understand the differences in those countries with high cultural diversity such as South Africa,. This research intends to investigate the role that a consumer’s cultural value plays in evaluating brand extensions, in the context of the cultural dimension of individualismcollectivism, in order to close the theoretical gap in this area.This research is quantitative and causal in nature, and used an experimental factorial design in the conduct of the research. Triandis’ scales were used in the questionnaire design, and 161 MBA students participated in the experiment at GIBS. The research results disprove that cultural values play a role in evaluating brand extensions, and there was insufficient evidence to prove that individualists differ from collectivists in evaluating brand extensions. Nevertheless, the research results found that there are some positive interaction effects between the product category relatedness and product involvement in the process of brand extension evaluations. / Dissertation (MBA)--University of Pretoria, 2012. / Gordon Institute of Business Science (GIBS) / unrestricted