Tor Andræ’s I myrtenträdgården is the only comprehensive work on sufism written in Swedish language. The concept ”sufism” is interesting when it comes to conceptual shifts and according to Carl W. Ernst, ”sufism” is a westernised construction of an eastern phenomenon. This study examines Andræ's text in the light of Ernst's theory. The aim is to investigate if rhetoric with its theories on topos, fallacies and identification can help us gain insight into this construction and the discussion of sufism in general, and how conceptual shifts takes place in a specific material. The study tells us that Tor Andræ’s I Myrtenträdgården, despite his good intention, shows a hegemonic picture of a sufism with its roots in christianity, a picture that helps to maintain the confusion surrounding the concept. The study also shows that it is mainly through argumentation and identification that this construction takes place. Rhetorical criticism, with its theories, is therefore a fine instrument for highlighting this construction at work.

The abstract Introducing part of the work is focused on development of literary genre noir in Italian context, especially on ca. last twenty years, introduces its authors in the area of Emilia- Romagna and Bologna as a city of crime. In the analytic part, the two of Lucarelli's noir series with commissioner Coliandro and inspector Negro are comparatively analised from following chosen aspects: the character of protagonist, the character of criminal, the type of a crime, investigative methods, settings, and in the end language, expression means and role of the narrator. In conclusion, the specifics of literary genre noir in settings of Bologna are described, including the relation between fiction and reality in Lucarelli's writings and the constants of the author's poetic are outlined on the basis of comparative analysis of the series.

(in English) The thesis aimed to explore the topos of inn in relation to the topos of journey in fantasy literature. The first step was to define the term fantasy literature with regard to the set of texts selected for the analysis; namely their connection to mythology and fairy tales, genres working with hero's initiation journey. Integral part of the thesis was to consider theoretical works focused on the image of pubs in literature, as well as a short description of the form and function of this topos in other genres. The subject of the analysis were inns from six fictional worlds representing a cross-section of the genre from the half of the 20th century until present time, while the selected examples fall mostly into the sub-genre of epic fantasy. The analysis showed that the inns have four primary functions: hero's intimate space, place of meeting and cognition, place of transformation and place of stories. Each of these functions is connected to a specific part of the initiation journey and represents its beginning, or one of its tests. All these functions are also connected to certain issues related to hero's psychological journey, namely the issue of trust, identity and will. The inns which serve as hero's intimate space have a special position; they reflect his or her state of mind and...

Salvien de Marseille est un auteur incontournable pour l'histoire du Ve siècle ap. J.-C. Il s'est abondamment exprimé au sujet des Barbares, d'une façon si positive que cela ne cesse de nous étonner, au vu des invasions qui s'étaient produites dans sa Gaule natale peu avant la période où il rédigea le De gubernatione dei. Une étude attentive de ce que Salvien affirma au sujet des Barbares démontre que celui-ci utilisa souvent des topoï pour parler d'eux. Parfois aussi, il inversa ces topoï, se plaçant ainsi en opposition avec la tradition littéraire romaine. Ce mémoire s'attache à identifier ces topoï et voir comment Salvien de Marseille s'accordait ou se détachait des idées reçues sur les Barbares dans chaque cas. / Salvianus is an important author when studying fifth century history. He witnessed the barbarian invasion and destruction of his native Gaul, yet he expressed positive evaluations of the Barbarians in this treaty De gubernatione dei. A careful study of Salvianus’ analysis of these Barbarians reveals that he often used topoï when discussing them. However, contrary to Roman literary tradition, he also reversed these topoï and portrayed them in a positive light. This Master’s thesis examines and identifies these topoï, and assesses the extent to which Salvianus adhered to the Romans’ preconceived ideas on Barbarians in each case. This research will demonstrate that although he used traditional literary forms, Salvian was able to express original ideas through the manipulation of the Roman literary tradition.

This thesis presents an account of the cubical sets model of homotopy type theory using an internal type theory for elementary topoi. Homotopy type theory is a variant of Martin-Lof type theory where we think of types as spaces, with terms as points in the space and elements of the identity type as paths. We actualise this intuition by extending type theory with Voevodsky's univalence axiom which identifies equalities between types with homotopy equivalences between spaces. Voevodsky showed the univalence axiom to be consistent by giving a model of homotopy type theory in the category of Kan simplicial sets in a paper with Kapulkin and Lumsdaine. However, this construction makes fundamental use of classical logic in order to show certain results. Therefore this model cannot be used to explain the computational content of the univalence axiom, such as how to compute terms involving univalence. This problem was resolved by Cohen, Coquand, Huber and Mortberg, who presented a new model of type theory in Kan cubical sets which validated the univalence axiom using a constructive metatheory. This meant that the model provided an understanding of the computational content of univalence. In fact, the authors present a new type theory, cubical type theory, where univalence is provable using a new "glueing" type former. This type former comes with appropriate definitional equalities which explain how the univalence axiom should compute. In particular, Huber proved that any term of natural number type constructed in this new type theory must reduce to a numeral. This thesis explores models of type theory based on the cubical sets model of Cohen et al. It gives an account of this model using the internal language of toposes, where we present a series of axioms which are sufficient to construct a model of cubical type theory, and hence a model of homotopy type theory. This approach therefore generalises the original model and gives a new and useful method for analysing models of type theory. We also discuss an alternative derivation of the univalence axiom and show how this leads to a potentially simpler proof of univalence in any model satisfying the axioms mentioned above, such as cubical sets. Finally, we discuss some shortcomings of the internal language approach with respect to constructing univalent universes. We overcome these difficulties by extending the internal language with an appropriate modality in order to manipulate global elements of an object.

En commentant certains résultats des sciences physiques ou mathématiques, plus particulièrement de la seconde moitié du XXe siècle, on cherche à comprendre l'importance philosophique du concept de diagramme, qui est au cœur de la théorie mathématique des catégories, des topoi et des esquisses. Partant du constat que les diagrammes et catégories contraignent à des options ontologiques, on propose pour étudier leur disposition conjointe de suivre quatre concepts fondamentaux qui forment le quadrilatère épistémique (la virtualité, la fonctorialité, l'universalité et la dualité). Le virtuel est nécessaire parce qu'une table n'existe pas de la même manière que le bleu du ciel qui n'a pas de réalité matérielle. La fonctorialité et le lemme de Yoneda imposent de reconsidérer le statut de l'objet. Le théorème de Diaconescu illustre l'idée que la logique immanente d'un lieu est déterminée par le topologique, que la logique n'a pas l'importance qu'on lui accorde parfois. L'universalité et la dualité déplace la notion de vérité qui n'est plus une simple valuation, mais une vérité-foudre, une vérité-événement qui fonctionne par adéquation et résonance de pans entiers de connaissance et non plus par inférence logique. Le diagramme devient le lieu de cette vérité qui passe par le geste. Dès lors, il devient possible de croiser ontologie et topologie en une onto-(po)-logie (ou une ontologie toposique) qui ne soit pas en contraction avec les philosophies de l'immanence. L'univocité de l'Être ne s'oppose pas à l'approche catégorielle. Plus encore : la prégnance des formes duales incite à penser l'hypothèse que l'Un est le dual de l'Être.

Salvien de Marseille est un auteur incontournable pour l'histoire du Ve siècle ap. J.-C. Il s'est abondamment exprimé au sujet des Barbares, d'une façon si positive que cela ne cesse de nous étonner, au vu des invasions qui s'étaient produites dans sa Gaule natale peu avant la période où il rédigea le De gubernatione dei. Une étude attentive de ce que Salvien affirma au sujet des Barbares démontre que celui-ci utilisa souvent des topoï pour parler d'eux. Parfois aussi, il inversa ces topoï, se plaçant ainsi en opposition avec la tradition littéraire romaine. Ce mémoire s'attache à identifier ces topoï et voir comment Salvien de Marseille s'accordait ou se détachait des idées reçues sur les Barbares dans chaque cas. / Salvianus is an important author when studying fifth century history. He witnessed the barbarian invasion and destruction of his native Gaul, yet he expressed positive evaluations of the Barbarians in this treaty De gubernatione dei. A careful study of Salvianus’ analysis of these Barbarians reveals that he often used topoï when discussing them. However, contrary to Roman literary tradition, he also reversed these topoï and portrayed them in a positive light. This Master’s thesis examines and identifies these topoï, and assesses the extent to which Salvianus adhered to the Romans’ preconceived ideas on Barbarians in each case. This research will demonstrate that although he used traditional literary forms, Salvian was able to express original ideas through the manipulation of the Roman literary tradition.

Cette these est composee de deux parties independantes ayant pour point commun l’utilisation intensive de la theorie des ∞-categories. Dans la premiere, on s’interesse aux liens entre deux approches differentes de la formalisation de la physique des particules : les algebres vertex et les algebres a factorisation a la Costello. On montre en particulier que dans le cas des theories dites topologiques, elles sont equivalentes. Plus precisement, on montre que les∞-categories de fibres vectoriels factorisant non-unitaires sur une variete algebrique complexe lisse X est equivalente a l’∞-categorie des EM-algebres non-unitaires et de dimension finie, ou M est la variete topologique associee a X. Dans la seconde, avec Mathieu Anel, nous etudions la caracterisation de l’exponentiabilite dans l’∞-categorie des ∞-topos. Nous montrons que les ∞-topos exponentiables sont ceux dont l’∞-categorie de faisceaux est continue. Une consequence notable est que l’∞-categorie des faisceaux en spectres sur un ∞-topos exponentiable est un objet dualisable de l’∞-categorie des ∞-categories cocompletes stables munie de son produit tensoriel. Ce chapitre contient aussi une construction des ∞-coends a partir de la theorie du produit tensoriel d’∞- categories cocompletes, ainsi qu’une description des ∞-categories de faisceaux sur un ∞-topos exponentiable en termes de faisceaux de Leray. / This thesis is made of two independent parts, both relying heavily on the theory of ∞-categories. In the first chapter, we approach two different ways to formalize modern particle physics, through the theory of vertex algebras and the theory of factorisation algebras a la Costello. We show in particular that in the case of ‘topological field theories’, they are equivalent. More precisely, we show that the ∞-category of non-unital factorization vector bundles on a smooth complex variety X is equivalent to the ∞-category of non-unital finite dimensional EM-algebras where M is the topological manifold associated to X. In the second one, with Mathieu Anel, we study a characterization of exponentiable objects of the∞-category of∞-toposes.We show that an ∞-topos is exponentiable if and only if its ∞-category of sheaves of spaces is continuous. An important consequence is the fact that the ∞-category of sheaves of spectra on an exponentiable ∞-topos is a dualisable object of the ∞-category of cocontinuous stable ∞-categories endowed with its usual tensor product. This chapter also includes a ix construction of∞-coends from the theory of tensor products of cocomplete∞- categories, together with a description of∞-categories of sheaves on exponentiable ∞-toposes in terms of Leray sheaves.

The climate crisis has increased the demands on Swedish forestry and given fuel to an already polarized debate concerning how Swedish forests should be managed and what constitutes sustainable forestry. Questions of ownership and who should have a say in the matter is at the center of this conflict. This essay examines the topic of ownership in the Swedish forest debate. The argumentation of stakeholders in the debate was analyzed to show which topoi contribute to the conflict and create inertia towards reaching mutual understanding. Thirty-nine opinion articles from Swedish news media, published between April and October 2021, were analyzed through a critical textual analysis. Two primary groupings among the debaters were found: those who argue to strengthen the rights of forest owners, and those who argue for more regulation or conservation. Identified topoi show that emotions and trust play a key role in the conflict. Ways of working with this and possibilities for discursive meeting places are discussed. Making explicit important values, clearly defining important terms, and focusing on the right subject matters are also suggested to enhance possibilities for mutual understanding.

The main purpose of this thesis is to combine the categorical approach to logic given by the study of doctrines, with the universal algebraic techniques given by the theory of the pseudo-monads and pseudo-distributive laws. Every completions of doctrines is then formalized by a pseudo-monad, and then combinations of these are studied by the analysis of the pseudo-distributive laws. The starting point are the works of Maietti and Rosolini, in which they describe three completions for elementary doctrines: the first which adds full comprehensions, the second comprehensive diagonals, and the third quotients. Then we determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad. We also show that the existential completion of an elementary doctrine is again elementary and we extend the notion of exact completion of an elementary existential doctrine to an arbitrary elementary doctrine. Finally we present the elementary completion for a primary doctrine whose base category has finite limits. In particular we prove that, using a general results about unification for first order languages, we can easily add finite limits to a syntactic category, and then apply the elementary completion for syntactic doctrines. We conclude with a complete description of elementary completion for primary doctrine whose base category is the free product completion of a discrete category, and we show that the 2-monad constructed from the 2-adjunction is lax-idempotent.