The Monade sculpture from a series called Harmonies is a 350 cm tall steel object made of welded metal plates, representing harmonic intervals applied to idealised proportions of the human figure. The impetus is a need of transcendency and meaning in perception of reality. Creative strategies are reduction, abstraction and remediation.

Nous développons une version homotopique de la théorie de Morita classique en utilisant la notion de monade forte. C'était Anders Kock qui a montré qu'une monade T dans une catégorie monoidale E est forte si et seulement si la monade T est enrichie. Nous montrons que cette correspondance entre force et enrichissement se traduit par un 2-isomorphisme de 2-catégories. Sous certaines conditions sur la monade T, nous montrons que la catégorie homotopique des T-algèbre est équivalente au sens de Quillen à la catégorie homotopique des modules sur le monoïde d'endomorphismes de la T-algèbre T (I) librement engendré par l'unité I de E . Dans le cas particulier où E est la catégorie des Γ-espaces de Segal munie de la structure de modèle stable de Bousfi eld-Friedlander et T est la monade forte associée à une Γ-théorie bien pointée, nous retrouvons un théorème de Stefan Schwede, comme corollaire du théorème homotopique de Morita.

Made available in DSpace on 2015-05-14T12:11:48Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 858804 bytes, checksum: d33d0d374db2644b70b655febb7ceaa0 (MD5) Previous issue date: 2006-04-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This writing concerns the study of Leibnizs concept of the Monad. Therefore, the present work investigated the fundamental constituents which take part on such a concept. From the notions of attribute, we have perceptions, appetites and apperceptions, as well as the notions of possibility and representation that are present in the Monad, resulting in the idea of World. Such an idea also plays an important role in this writing. The idea of Monad and the idea of World generate relations and structures that were considered as well. Thus, the elements forming the process of knowledge (understanding and language) and the basic components of the Monad (e.g. the idea of substance) were studied according to Leibnizian concept of world. Furthermore, in our analysis of fundamental principles leading to a cosmological, epistemological and ontological perspective in Leibniz, we used a metaphysical approach. / Esta dissertação tem como tema o conceito de Mônada em Leibniz. No encalço desta investigação este texto trata dos constituintes fundamentais que participam deste conceito. As noções de atributo (à partir destas aparecem as percepções, apetites e apercepções); bem como a de possibilidade e representação; subsidiam na Mônada uma idéia de Mundo, outro arranque investigativo deste escrito. As idéias de Mônada e Mundo geram relações e estruturas que da mesma forma são vislumbradas. Desta forma, os elementos que dão forma ao processo do conhecimento (entendimento e linguagem), bem como os componentes essenciais da Mônada (a idéia de substância) são tratados nesta descrição acerca da concepção leibniziana de Mundo. O recorte metafísico dá o tom desta análise na busca pelos princípios fundamentais que orientam uma perspectiva cosmológica, epistemológica e ontológica em Leibniz.

Cette thèse présente différentes notions d'observation en sémantique, et quelques résultats sur leurs relations. Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle. Dans une première partie, nous présentons les liens entre cette notion et la définissabilité relative, en prenant les exemples de PCF unaire, de PCF finitaire et du modèle fortement stable de PCF, en étendant des travaux de Bucciarelli, Malacaria et Longley.<br />La partie suivante est consacrée à l'étude de la notion d'observation dans le cadre d'un langage avec des effets de bord. Nous proposons un modèle basé sur les domaines de Fraenkel-Mostowski, sur lequel nous définissons des relations logiques pour prouver des équivalences, aui servent à distinguer la partie publique de la mémoire de la partie secrète où les invariants sont préservés; ce qui établit un lien avec les problématiques de sécurité.<br />Enfin, nous étudions la question du temps d'exécution en sémantique dénotationnelle. Nous proposons une construction axiomatique, basée sur une monade, pour représenter le te,ps d'exécution sans le rendre observable par le contexte. Nous appliquons cette construction au modèle des espaces de cohérence et aux jeux de Hyland et Ong. Nous prouvons que ce dernier modèle est complètement adéquat.

Le présent travail propose une interprétation psychanalytique de l’œuvre de l’écrivain réaliste allemand Theodor Fontane (1819 1898). À la lumière de la théorie freudienne et des thèses de Béla Grunberger sur le narcissisme, nous montrons ce que sont les ressorts et les enjeux inconscients de la création littéraire, chez cet auteur, laquelle, dans son principe, reproduit le schème de la position fantasmatique régressive que ménageait la grande passion ludique de l’enfant, le jeu de cache cache selon un mode spécifique. Partant du constat de la structure obsessionnelle des romans, notre étude met en évidence, dans un premier livre, l’existence, « sous » la fable sociale récurrente de la liaison amoureuse illicite, sanctionnée (adultère et relations équivalentes), d’un singulier scénario s’articulant autour de la dynamique du « pseudo Œdipe », que décrit Grunberger (procédure d’évitement, à des fins de régression), et du mécanisme de la défense masochique. L’analyse de ce « mythe personnel » (Mauron), comme situation dramatique interne, nous amène à dégager les traits particuliers des éléments constitutifs de la personnalité psychique de Fontane (imagos et instances), puis à établir la genèse de sa position « pseudo œdipienne » et à faire ressortir le rapport qui la lie au processus de création (« rétablissement narcissique »). Les résultats acquis sont passés au révélateur de la vie de l’écrivain. Dans un second livre, nous nous penchons, tour à tour, sur les divers aspects essentiels de l’œuvre, réexaminés sous le nouvel éclairage apporté : fonctionnalité de l’ambivalence, conception du réalisme « poétique » (transfigurateur), recherche de la conciliation des principes contraires, écriture comme la pratique d’un jeu de cache cache (questions du dialogisme, de la stratégie narrative, du symbolisme). La dernière partie est consacrée à l’étude de la problématique cardinale de la régression narcissique, à laquelle tout mène, ici : instrumentalisation du complexe de la faute et de la sanction, à visée autodestructrice, dans une tension vers la mort fantasmée comme le retour à l’état de félicité du séjour au sein originel. / This study offers a psychoanalytical interpretation of the works of Theodor Fontane (1819 1898), the German realist writer. In the light of the Freudian theory and of Béla Grunberger’s theses on narcissism, we show the unconscious motivations which gave rise to this author’s literary creation and what is at stake in this process for him. The act of writing is based here on the principle of reproducing the scheme of the fantastical regressive position which was generated by Fontane’s strong passion as a child for the game of hide and seek, which he played in his own specific way. Considering the obsessive structure of his novels, in our first book we demonstrate the existence — “beneath” the ever present social dictum of the forbidden love affair that is always to be punished (adultery and similar relationships) — of a particular scenario revolving around the dynamic of the “pseudo Oedipus”, as described by Grunberger (avoidance procedure aiming at regression) and the mechanism of masochistic defense. The analysis of this “personal myth” (Mauron), as an inner dramatic situation, leads us, first, to unearth the specific features of the elements which make up Fontane’s psychic personality (imagoes and agencies), and then to establish the genesis of his “pseudo oedipal” position and to highlight its link with the creative process (“narcissistic restoration”). Our results are substantiated through the writers’s biography. In the second book we deal with the essential aspects of Fontane’s work, which we re examine thanks to what we have brought to light: the functionality of ambivalence, the conception of transfigurating “poetic” realism, the attempt to reconcile opposite principles and writing as a game of hide and seek (dialogism, narrative strategy, symbolism). The last part of our study is devoted to the cardinal issue of narcissistic regression to which everything leads: mainly the instrumentation of the complex of guilt and retribution with a self destructing aim in a tropism towards death fantasized as a return to the original state of bliss in the womb.

La question de l’idéalisme leibnizien, qui permet d’entrer au cœur de la métaphysique de Leibniz, intéresse encore aujourd’hui de nombreux commentateurs. Ceux-ci utilisent les termes « réalisme », « idéalisme », voire « phénoménalisme », pour caractériser la métaphysique leibnizienne et un travail doit être fait pour rassembler et comparer leurs analyses, ce que nous proposons de faire d’abord dans ce mémoire. Ce sont surtout les textes mêmes de Leibniz qui seront abordés dans le présent travail et qui permettront de proposer la lecture suivante : si la métaphysique leibnizienne est réaliste en ce sens qu’elle met en place une entité elle-même « mind-independent », c'est-à-dire la monade, elle peut être considérée comme idéaliste (idéalisme substantiel), puisque cette entité, étant sans partie et sans étendue, est en ce sens idéelle. Et si tout peut se réduire à cette monade, c’est toute la fondation de la métaphysique de Leibniz qui se retrouve à être idéelle. Or, ceci ne règle pas le statut des corps qui peuvent être considérés soit comme de simples phénomènes réductibles aux perceptions des monades (idéalisme matériel), soit comme des êtres ayant une réalité indépendante d’un esprit, lesquels se réduiraient cette fois aux monades qui les composent (réalisme matériel). Face à ces deux possibilités, nous développerons une position mitoyenne qui défend l’idée que les corps sont en effet composés de monades qui leur procurent une certaine réalité, mais qu’ils dépendront toujours de l’action d’un esprit qui lui seul pourra leur procurer une certaine unité. / Many commentators try to read Leibniz either as an idealist or a realist, adding a phenomenalist reading to theses first two analyses. However, those terms are however often used with ambiguities, making Leibniz sometimes an even more complex philosopher. The first purpose of this master’s thesis is to gather and compare all these interpretations in order to clarify Leibniz’s thought. In this study, his writings will be used to defend the following interpretation : Leibniz can be considered as a realist since he develops a theory where monads act as « mind-independent » entities. Nonetheless, these monads are non-extended and without parts. Therefore, we can present an idealistic understanding of Leibniz, for they are the “basic building-blocks” of his metaphysic. Still, clarifications need to be made concerning the body. It can either be “real”, if it is seen as an aggregate of monads. Or, it can be considered a “mind-dependent” phenomenon if seen as the result of monadic perceptions. We will develop, between these two possibilities, an intermediate position stating that bodies are indeed aggregates of monads (matter realism). However they must be considered as phenomena for this same reason (phenomenalism). Corporeal aggregates require the action of the mind which alone can give them unity. On the contrary monads are said to be unum per se. Bodies are therefore phenomena but precisely well founded in the monads that compose them.

La connaissance implique une prédisposition à la connaissance, c’est-à-dire la possibilité de la relation entre un sujet (connaissant) et un objet (connaissable). D’un autre côté, il y a un état de fait, qui est la connaissance qui a lieu, de fait : la connaissance courante, ordinaire, toujours incomplète, à laquelle l’homme se trouve incessamment avoir accès ou être en train d’avoir accès. La connaissance véritable – pleine et entière – se trouve située à l’extérieur de ce domaine cognitif ordinaire ; extériorité qui implique une indisposition présente à y avoir accès. La connaissance mathématique est du premier ordre – et ce, éminemment, autrement dit, à la fois, en tant que meilleure connaissance possible et en tant que connaissance révélant, le mieux, au travers de son propre inachèvement, l’inachèvement de toute connaissance accessible (dont elle est constitutive ou auxiliaire). Du second ordre, est la connaissance eidétique (connaissance des Formes – eidê, ideai – autrement appelées Idées), qui est la connaissance du réellement réel (ontôs on) (dont l’objet, en sa saisie, ne peut que signer la réelle réalité de la connaissance elle-même). De son côté, la connaissance mathématique induit, en son inachèvement, la connaissance de son principe et élément, qu’est l’unité véritable (c’est-à-dire unique, indivisible et indifférenciée, et donc paradoxalement inconnaissable, en quoi, elle induit, elle-même, l’ordre de la connaissance véritable, qu’est l’ordre eidétique), unité censée trouver, dans l’ordre géométrique, son expression, en tant que mesure et élément communs à tout le mesurable (l’étendu) et, du même coup, à tout le dénombrable ; expression géométrique qui ne manque pas d’être problématique (aporétique), la grandeur demeurant, dans l’absolu, indéfinie, et toute grandeur étant divisible à l’infini, en grandeurs plus petites. Ainsi, se trouve attesté le fait que la disposition cognitive présente (ordinaire) est inéluctablement en deçà d’être disposition à la connaissance véritable, en ce que celle-ci devrait être notamment connaissance du principe, principe que nous pensons trouver désigné, chez Platon, sous l’expression « principe de la ligne », principe dynamique et actif, proprement non mathématique, toujours antérieur à quelque détermination (grandeur) – et, du même coup, à quelque dénombrement – que ce soit. / The knowledge implies a predisposition to the knowledge, that is the possibility of the relation between a (knowing) subject and a (knowable) object. On the other hand, there is an established fact, which is the knowledge which has de facto place : the common, ordinary, always incomplete knowledge, to which the man is continuously to have access or to be having access. The real knowledge – full and whole – is situated outside of this ordinary cognitive domain ; exteriority which implies a present indisposition to have access there. The mathematical knowledge is of the first order – and it is true eminently, in other words, at the same time, as better possible knowledge and as knowledge revealing, best, through its own incompletion, the incompletion of any accessible knowledge (whose it is constitutive or auxiliary). Of the second order, is the eidetic knowledge (knowledge of the Forms – eidê, ideai – otherwise called Ideas), which is the knowledge of the really real (ontôs on) (whose the object, in its grasp, can only sign the real reality of the knowledge itself). From her part, the mathematical knowledge leads, in its incompletion, the knowledge of its principle and element, that is the real unit (that is unique, inseparable and undifferentiated, and thus paradoxically unknowable, in what, it leads, itself, the order of the real knowledge, that is the eidetic order), unit supposed to find, in the geometrical order, its expression, as measure and element common to all the measurable (the extent) and, at the same time, to all the countable ; expression which does not miss to be problematic (aporetic), the size remaining, theoretically, indefinite, and any size being divisible in the infinity, in smaller sizes. So, is attested the fact that the present (ordinary) cognitive disposition is inevitably to be disposition to the real knowledge, in the fact that this one should be in particular knowledge of the principle, the principle which we think of finding indicated, at Plato, under the expression “principle of the line”, dynamic and active, specifically not mathematical principle, always previous to any determination (size) – and, at the same time, to any enumeration – whatsoever.

La notion de quotidien est inévitablement liée au présent. L’art découle del’expérience des individus, de leurs intentions et des circonstances propres à tout lieu.Tout artiste participe inévitablement de la vie quotidienne qu’il ou elle partage avec lepublic, de même qu’en envisageant un art « vivant », l’artiste peut réellement vivre savie afin d’enrichir, éprouver et confirmer son existence. Nous concernant, dans le cadrede notre pratique artistique, nous devons donc penser aux instants où nous rencontronsdes situations nouvelles, aux hasards de la vie quotidienne. Ceux-ci permettent des’ouvrir aux autres, à un monde indifférent, dangereux, mais aussi séduisant etfascinant. L’expérience qui en découle peut alors être considérée comme une manière deralentir le cours des choses, d’influer sur le monde en interrompant son caractèremécanique et en prolongeant les espaces, au lieu de les segmenter, ne serait-ce que pourun bref moment. Dans notre étude, l’« ici et maintenant » se manifeste au moyen d’unensemble de procédés dévolus au champ du visuel, notamment en exacerbant les traitsd’un milieu, d’un environnement, d’un lieu. Cette thèse questionne ainsi les processus d’élaboration et d’expressionintervenant dans la production de certaines oeuvres, afin de déterminer le rôle etl’importance d’une dynamique, d’un contexte, que l’on pourrait qualifier de quotidien.Il s’agira alors d’examiner les oeuvres sous la perspective de certaines caractéristiquesqui répondent de ce quotidien – l’ordinaire, ou un certain rapport au temps et à l’espace–, dans le projet de redécouvrir des formes, des cultures, avec, plus particulièrement,une attention centrée sur l’homme : sa représentation, son environnement et son modede vie constituant les trois volets de cette thèse.Cette thèse, interroge, au final, les usages quotidiens de la rencontre dans le cadrede pratiques associées à l’art contemporain, tel qu’il se fait le reflet d’une quotidiennetéamplifiée. Discours qui, s’il n’est pas nouveau, mérite cependant, selon nous, qu’il soitcontinuellement reconstruit et reconsidéré. Dans cette optique, si chacun devient sonpropre médiateur, contribuant au renouvellement et à la spectacularisation du monde, ilsemble que nous nous destinons à nous heurter de nouveau à un mur, alors que nous savons,simultanément, qu'il est de notre devoir de nous greffer à la réalité. Dans le mêmetemps, nous avons de nouveau la possibilité d’en appeler à l’universalité, afin de révélerla structure interne de la vie quotidienne contemporaine, quand bien même il s’agiraitde contempler la duplicité et l’ambiguïté de sa propre existence quotidienne1. / The notion of everyday life is inevitably linked to the present. Art arises from theexperience of individuals, their intentions and the circumstances of any place. And,every artist inevitably participates in the daily life that he / she shares with his / her audience.We must therefore think of the moments when we encounter new situations, atrandom in everyday life. It opens up to others, to a world that is indifferent, dangerous,but also seductive and fascinating. This experience would be considered as a way tostop the world, to stop the mechanical life and space, if only for a brief moment. Inshort, the "here and now" is manifested through visual tools, exacerbating, in particular,the features of a milieu, an environment, a place. This thesis attempts to narrate someprocesses involved in the production of works, in order to insist for each work on methodsof expression and transformation. It will then be a question of presenting the worksunder the sign of a daily reading, in the optics of a rediscovery of forms and, cultures,with a centered attention on the man: his representation, his environment and his modeof life are the three components of this thesis. More precisely, it is a matter of testingthese notions of "monad" and "nomad" in the real space of life. For this reason, thisstudy could be perceived as a momentum comparable to an art lived "here and now".Unlike painting, in this respect, this art is not only representable by a variety of people�� �� ����in itself, but it has a limit in that it can not solicit the same reactions from each of thesepeople. Therefore, the purpose of this thesis is that there is no imposition of a certainbehavior, at a certain time in the face of a certain work, but rather an instantaneity assumedin the face of always renewed situations. Thus, through this thesis that drawsutopias of proximity, we question an urban bodily experience that differs from the usualreferences (city-neighborhood, territorial construction and identity). Our questioningtherefore remains guided by the consideration of variations of the urban by the body andvice versa.This thesis finally becomes possible to provoke the daily use of the meeting, toplay the practices of contemporary art, become the reflection of an amplified daily life.All this is a discourse heard but whose modalities, in our opinion, are constantly to bereconsidered and rebuilt. In this hypothesis, everyone becomes his own mediatorcontributing to the renewal and spectacularization of the world. Finally, we are back onthe wall yet we know that it is our job to graft the reality. At the same time, we haveagain the possibility of appealing to universality in an attempt to reveal the internalstructure of contemporary daily life, even though it would be a question ofcontemplating the duplicity and ambiguity of one's own daily existence.

La Programmation Orientée Langage est un paradigme de programmation qui tente, par la technique de méta-programmation, de changer les habitudes des développeurs de systèmes informatiques en leur permettant de "travailler en termes de concepts et notions du problème à résoudre, au lieu d'être toujours obligés de traduire leurs idées aux notions qu'un langage généraliste est capable de comprendre" (Ward et Sergey). Le développement de logiciels passe de ce fait par la conception de langages dédiés : on définit un ou plusieurs langages qui capturent les caractéristiques du domaine étudié, puis on écrit les applications visées en utilisant ces langages. Dans cette thèse, nous proposons une démarche méthodologique de développement logiciel reposant sur ce concept. Il s'agit de conduire la même démarche méthodologique au niveau des langages que ce qui est classiquement fait au niveau des composants logiciels. En l'occurrence, nous utilisons le formalisme des grammaires attribuées pour tenter de répondre à la question suivante : comment peut-on créer de nouveaux langages par composition de langages réutilisables existants ? Nous tirons profit de leur traduction en algèbres de combinateurs fonctionnels pour définir des spécifications exécutables de langages dédiés (vus comme composants logiciels), plongés dans le langage fonctionnel pur Haskell. \' partir d'exemples significatifs d'extension et de réutilisation de langages dédiés (par stratification de ceux-ci, ou par changement de monade), nous proposons un typage de langages dédiés en vue de leur assemblage et leur réutilisation. Pour illustrer cette démarche, nous décrivons un langage dédié (bibliothèque de combinateurs) pour l'édition de documents structurés. Un document y est représenté par un zipper attribué, une structure arborescente localisable, représentant un arbre et son contexte, et caractérisée par une grammaire attribuée. L'édition consiste alors à la modification interactive de cette structure ; ce qui entraîne une réévaluation totale ou partielle des attributs. L'édition peut aussi être réalisée à travers une vue abstraite obtenue par projection de la structure concrète. Ce qui pose le problème de \textit, un problème familier de la communauté des bases de données, auquel nous donnons une solution grâce à nos combinateurs d'éditeurs.

In this thesis we see two new approaches to compose tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where the build function is substituted by a concrete functor. Moreover, we give a symmetric form (i.e. consumer and producer have the same syntactic form) of our new acid rain theorem where fusion is composition in a category and thus in particular associative. Applying this to compose top-down tree transducers yields the same result (on a syntactic level) as the classical top-down tree transducer composition. The second approach is based on free monads and monad transformers. In the same way as monoids are used in the theory of character string automata, we use monads in the theory of tree transducers. We generalize the notion of a tree transducer defining the monadic transducer, and we prove an according fusion theorem. Moreover, we prove that homomorphic monadic transducers are semantically equivalent. The latter makes it possible to compose syntactic classes of tree transducers (or particular functional programs) by simply composing endofunctors.