In the 1969 Le Thor seminar, Heidegger stated that his philosophical journey could be characterized by three different themes: meaning, truth, place. The first two of these have been the subject of countless studies and discussions, but the question of place is still relatively unexplored in Heidegger’s thought, despite the increased interest for this topic in his writings. Even though scholars like Jeff Malpas, Edward Casey, Stuart Elden and Miguel de Beistegui have written books and essays on the importance of the conception of place in Heidegger’s thinking, there are still many important aspects of this theme to be discussed, given the importance Heidegger himself ascribed to this topic. In this essay, I therefore wish to pose the question of how one can understand the relation between place and the role of tragedy in Heidegger’s conception of truth. My bearing thesis will be that these three concepts: place, truth and tragedy stand in a symbiotic relationship to each other and thus form the foundation of the Heideggerian thinking of place, or topological thinking. For this reason, the purpose of this paper is to present an interpretation of how the tragic is grasped in its relation to place. This I will do by turning to three texts from the period in Heidegger’s thought which has come to be known as ‘the turn’, a period which usually is understood to have occurred in the 1930s and the early 1940s. The texts I have in mind are for one the aesthetic essay The Origin of the Work of Art, and secondly the two interpretations of the first chorus from Antigone, found in Introduction to Metaphysics and Hölderlin’s Hymn ‘The Ister’. The Origin of the Work of Art can thus be said to serve as a theoretical introduction or framework to Heidegger’s conception of truth, whereas my analysis of the two interpretations from Antigone will look closer into how truth explicitly can be said to stand in a dependent relationship to place and tragedy. This becomes particularly relevant in the part of the interpretation where Heidegger puts emphasis on the word polis, a word he understands as the place or the There where truth resides. However, one cannot write on this topic without mentioning the political problems this gives rise to, considering the time and place and by whom the texts were written. Therefore I will have an ongoing discussion of this problematic aspect in the topological thinking of Heidegger, which I will intertwine in the text. This is not to say that my sole ambition is to point out the despicable in Heidegger’s political engagement (which should be obvious), but rather to try to give a foundation for discussion on whether it’s possible to find a way to think productively on the theme of place, truth and tragedy.

Detta arbete undersöker hur vida agenter inom artificiell intelligens kan realistiskt distribuera en svensk tallskog. Landskapets mark där simuleringen kommer att ta plats är formad efter en referensskogs mark. I miljön kommer det även att finnas vindzoner som hjälper agenterna att färdas runt och sprida flera träd.Resultatet visar att det är möjligt att skapa en svensk tallskog med agenter då simuleringen hade kvaliteter som liknar referensskogens. De kvaliteter som undersökts är täthetszoner och vart dessa hamnade. Simuleringen skapade täthetszoner för träden som var lika i antal som de som kunde mätas i referensskogen. Det gick att dra slutsatsen att zonerna inte behövde ligga exakt som i referensskogen. Med det sagt är agenterna dock inte bra för att återskapa en skog efter en referensbild.I framtida arbeten skulle det vara intressant att kolla hur agenter kan återskapa skogar med flera trädarter samt annan vegetation. Marken skulle då kunnat få mer uppmärksamhet och dess tillstånd för att avgöra hur vida träd och andra växter kan växa där.

As companies fight for market share whoever is able to bring products to market faster has an advantage over their competitors. Therefore it is absolutely essential to constantly evaluate and optimize processes to achieve shorter time-to-market for products. These optimizations have to be carried out in all parts of a company. This thesis describes one such attempt made by a Swedish telecommunication vendor focused on enabling a resource management system to gain a greater understanding of the resources available during testing. This system manages all of the hardware utilized by the users, software testers, within one particular part of the organization and aids users by automatically converting the information stored in its database into a configuration file that will later be used in the testing framework’s execution environment. Unfortunately, the current version of this resource management system lacks semantic understanding of the information necessary to automatically generate the configuration file, leaving a rather large part of the configuration file to be manually entered by the testers, a rather time-consuming task. The inability to completely automate the process means that the testing process is slower, more error prone, and increases the work needed for a new engineer to become a productive software tester. In order for the resource management system to automatically generate the configuration file it needs to know not only which resources it is managing, but must also how these resources are interconnected, i.e. the topology of the resources. For this reason this thesis describes how to make the resource management system topologically aware, thus making verification of the System under Test (SUT) more efficient and mitigating the problems mentioned above. This thesis does not deal with the intricate details of how to automatically extract the topology, as this is inherently domain specific and thus difficult to generalize. Rather, this thesis focused on how to allow users to custom-build their desired topology by defining a set of rules that restrict how resources can be interconnected. The goal of providing functionality for storing and retrieving topological information from database has been successfully achieved, and the resulting code has been integrated into the existing resource management system. However, the functionality has not yet been delivered because of a limitation in our front controller that stops us from providing an efficient web interface to our tool. After delivery the implemented solution is expected to remove most manual work related to test configuration and therefore also reduce the learning curve for new engineers. / När företag slåss om marknadsandelar har de som kan leverera produkter till marknaden snabbare en fördel över sina konkurrenter. Det är därför av högsta vikt att kontinuerligt utvärdera och optimera processer för att produkten snabbare skall nå marknaden. Dessa optimeringar måste utföras inom samtliga områden inom ett företag. Denna uppsats beskriver ett sådant försök av ett svenskt telekombolag att stärka ett resurshanteringssystem för att uppnå en högre förståelse för de resurser den hanterar. Detta system hanterar samtlig hårdvara för användare (mjukvarutestare) inom en del av organisationen. Det hjälper användarna att automatiskt konvertera informationen i sin databas till en konfigurationsfil som används i testramverkets exekveringsmiljö. Tyvärr saknar den nuvarande versionen den semantiska förståelsen av dess data för att kunna automatiskt generera konfigurationsfilen, vilket tvingar användaren att manuellt ägna sig åt denna tidskrävande uppgift. Oförmågan att inte kunna automatisera fullt ut innebär att den övergripande testprocessen är långsammare, mer felbenägen och ökar tiden det tar för en ny ingenjör att komma igång och bli en produktiv mjukvarutestare. För att resurshanteringssystemet ska kunna generera konfigurationsfilen automatiskt krävs inte bara kunskap om vilka resurser den hanterar utan också hur dessa är sammankopplade. Det vill säga hur de topologiskt relaterar till varandra. Den här uppsatsen beskriver därför hur ett resurshanteringssystem kan bli topologiskt medvetet och därigenom åstadkomma en mer effektiv testning av produkten och därmed överkomma de tidigare nämnda problemen. Denna uppsats inte gå in på detaljer om hur man extraherar den topologiska strukturen av resurser eftersom detta i sin natur är domänspecifikt och därigenom svårt att generalisera. Fokus istället ligga på hur man kan tillåta användare att bygga önskad topologi genom att definiera regler för hur olika resurser kan sammankopplas. Målet vi satte upp med att kunna lagra och inhämta topologisk information från en databas har med framgång integrerats i det existerande resurshanteringssystemet. Ändringen är dock ännu inte fullt ut levererad på grund av en begränsning i vår nuvarande front controller som hindrar oss från att på ett effektivt sätt koppla samman vårt nya verktyg med ett webbgränsnitt. Efter leverans förväntas den implementerade lösningen eliminera större delen av det manuella arbete som tidigare krävts i samband med konfiguration av testmiljön, och därigenom även minska inlärningskurvan för nya ingenjörer.

Idag finns det flera olika topologier inom området AC-DC-omvandlare. Framför allt har flyback-omvandlaren blivit en populär topologi inom lågeffektapplikationer p.g.a. dess få komponenter och relativt enkla styrning som gör den kostnadseffektiv.I detta arbete har det undersökts vilka fördelar och nackdelar som finns med flybackomvandlaren för laddning av en kondensatorbank. Detta har utförts genom att bygga en prototyp som baseras på flyback-topologin och sedan jämföra prototypen med ett befintligt system som är baserad på en annan topologi. Jämförelsen tyngdpunkt låg på storlek,prestanda och kostnad.Laddningsförloppet simulerades i MatLab genom att omsätta ekvationer från en grundlig teoristudie till kod. Valet av varvtalskonfiguration baserades på de komponenter som fanns tillgängligt inom projektets ramar. Rapporten behandlar bara driftlägena BCM (Boundaryconducting mode) och DCM (Discontinuous conducting mode) då transformatorstorleken i detta projekt var begränsad. Styrkretsen anpassades utifrån dessa driftlägen och blev ytterligare förenklad genom att anta en konstant switchtid för PFC-kontroll. Två olika transformatorer byggdes med två olika lindningskonfigurationer, en ”stackad” och en”interleave”. Utvärderingen gjordes på ”stack”-transformatorn i prototypen. Parasiteffekterna var påtagliga vid transistorns avslag vilket visar att transformatorns läckinduktans är viktig att hålla låg. Det visade sig också att ingen snubber-krets behövdes då den valda transistorn och dioderna klarade av spänningsfallen över dem. Verkningsgraden uppgick till 89-91% för både 120- och 230 V nät, uppmätt med DC-matning.Flyback-omvandlaren har potential att ersätta den jämförda omvandlaren då kostnaden bedöms kunna bli lägre och med en högre verkningsgrad. Men det krävs en grundligare utredning då ingångsfiltret troligtvis måste dimensioneras om och en noggrannare mätning av laddningstiden måste utföras.

Multinivåarkitekturer, eller N-nivåarkitekturer där 'N' refererar till antalet nivåer som börjar med 1, är ett sätt att strukturera nätverk och applikationer, antingen i '”on-premises”-infrastrukturer eller på molnplattformar, liksom inom infrastrukturer som kod (IaC). Dessa arkitekturer innebär att man delar upp nätverket eller applikationen i separata lager och nivåer. Varje lager har ett specifikt ansvarsområde och de högre lagren kan använda tjänster i de lägre lagren, men inte tvärtom. 'Nivåer' avser en fysisk separation av nätverket och applikationerna, där de olika nivåerna kan kommunicera med varandra via nätverkskommunikationspunkter där särskilda regler gäller. En nivå kan innehålla ett eller flera lager. Denna arkitektur kan ge hög säkerhet, flexibilitet, skalbarhet, enkelhet och stabilitet till en rimlig kostnad. Den här uppsatsen har tre huvuddelar. Den första delen fokuserar på en analys av multinivåarkitekturer, deras uppbyggnad och de för- och nackdelar de innebär. Dessutom jämför och diskuterar vi skillnaderna mellan N-tier-arkitektur och andra arkitekturer. I uppsatsens andra del granskar vi de miljöer, säkerhetsaspekter, kostnader, verktyg och plattformar där denna arkitektur kan implementeras. Den tredje och sista delen innefattar ett praktiskt arbete, där vi planerar, designar, implementerar och automatiserar en nätverksinfrastruktur för ett nyetablerat företag baserat på N-tier-arkitektur i en testsituation som skapas för detta ändamål. Uppsatsen avslutas med en redovisning av de praktiska resultaten, en diskussion om metoderna och samhällsaspekterna, samt rekommendationer och förslag till framtida arbete. Uppsatsen har resulterat i två huvudsakliga utfall: en detaljerad teoretisk förklaring och jämförelse av olika nätverksarkitekturer och deras tillämpningsområden, samt en mall för genomförandet av liknande projekt från idéstadiet till en automatiserad infrastruktur som kan integreras på vilken plattform som helst. / Multi-tier architectures, or N-tier architectures where “N” refers to the number of levels starting with 1, is a way to structure networks and applications, either in “on-premises” infrastructures or on cloud platforms, as well as in Infrastructure as Code (IaC). These architectures involve dividing the network or application into separate layers and levels. Each layer has a specific area of responsibility, and the higher layers can use services in the lower layers, but not vice versa. “Levels” refers to a physical separation of the network and applications, where the different levels can communicate with each other via network communication points where specific rules apply. A level can contain one or more layers. This architecture can provide high security, flexibility, scalability, simplicity, and stability at a reasonable cost. This thesis has three main parts. The first part focuses on an analysis of multi-tier architectures, their structure, and the advantages and disadvantages they offer. In addition, we compare and discuss the differences between N-tier architecture and other architectures. In the second part of the thesis, we examine the environments, security aspects, costs, tools, and platforms where this architecture can be implemented. The third and final part includes a practical work, where we plan, design, implement, and automate a network infrastructure for a newly established company based on an N-tier architecture in a test situation created for this purpose. The thesis concludes with a presentation of the practical results, a discussion of the methods and societal aspects, as well as recommendations and suggestions for future work. The thesis has resulted in two main outcomes: a detailed theoretical explanation and comparison of different network architectures and their areas of application, and a template for carrying out similar projects from the idea stage to an automated infrastructure that can be integrated on any platform

This thesis is about how to interpret metric data with topological tools, such as homology. We show how to go from a metric space to a topological space via Vietoris-Rips complexes. We use the usual approach to Topological Data Analysis (TDA), and transform our metric space into tame parametrised vector spaces. It is then shown how to simplify tame parametrised vector spaces. We also present another approach to TDA, where we transform our metric space into a filtrated tame parametrised chain complex. We then show how to simplify chain complexes over fields in order to simplify tame parametrised filtrated chain complexes. / Denna uppsats handlar om att tolka metrisk data med hjälp utav topologiska verktyg, som exempelvis homologi. Vi visar hur man går från ett metriskt rum till ett topologiskt rum via Vieteris-Rips komplex. Vi använder den vanliga metoden till Topologisk Data Analys (TDA), och transformerar vårat metriska rum till tama parametriserade vektorrum. Det visas sedan hur vi kan förenkla tama parametriserade vektorrum. Vi presenterar även en annan metod för TDA, där vi går från ett metriskt rum till ett filtrerat tamt parametriserat kedjekomplex. Sedan visar vi hur man förenklar kedjekomplex över kroppar för att kunna förenkla filtrerade tama parametriserade kedjekomplex.

Detta examensarbete innefattar en studie om hur laborativt arbete inom topologi vid Vetenskapens Hus i Stockholm kan bli anpassad för gymnasieelever på ett sätt så att det fångar och ökar deras intresse och motivation gentemot matematikämnet. Studien består av tre delar. Den första delen består av en litteraturstudie och en studie av tidigare forskning beträffande utbildning och ökande av intresse och motivation i relation till matematik. Den andra delen består av en sammanfattning och anpassning av den utbildningsteoretiska bakgrunden och tidigare forskningen för att passa miljön vid Vetenskapens Hus i Stockholm, inklusive målgruppen samt tekniska och fysiska begränsningar. Slutsatsen av detta arbete sammanfattas i utformandet av en besöksledarhandledning. Den tredje delen undersöker om deltagare vid elevbesöket och det laborativa arbetet med topologi vid Vetenskapens Hus kände av en ökning i intresse och motivation för matematik och studier i matematik och drar slutsatser gällande till vilken utsträckning resultatet och analysen är validerad. Resultatet visar att de elever som testade laborationen fann den intresseväckande samt motiverande och att ett laborativt sätt att arbeta med matematik med grund i problembaserat lärande således kan ha god inverkan på elevers intresse och motivation gentemot ämnet / This master thesis includes a study on how laboratory work in topology at the House of Science (Vetenskapens Hus) in Stockholm can be adapted for high school students in such a way that catches and increases their interest and motivation towards mathematic studies. The study consists of three parts. The first part consists of a study of literature and previous research regarding education and increases in interest and motivation in relation to mathematics. The second part consists of a summary and adaptation of the educational theory and research to fit the context of the House of Science (Vetenskapens Hus) in Stockholm including target audience, technical and physical limitations. The conclusion of this work is summarized in the design of a visit leader tutorial. The third part evaluates whether participants in the student visit and laboratory work at the House of Science recognized an increase in interest and motivation towards math and mathematic studies and concludes to which extent the result and analysis is valid. Results show that the students who tested the laboratory exercise found it to be interesting and motivating and that a laboratory way of working with mathematics with a basis in problem based learning can have good impact on students interest and motivation towards the subject.

With the development of the deforestation industry and the increased demand for sawn goods and woods over the world, created a need for more efficient harvesting methods, a need that was represented by mechanized harvesters and forwarders in forestry. These machines are efficient when it comes to mass production and can cut and delimb trees of all sizes and kinds. Still, these machines are large and heavy ,which causes high damage to the soil around the machinery. This causes ground disturbance. A new approach is to construct more specific light machines that are used to cut and delimb small trees without damaging the soil. The new harvester machine can minimize the use of the traditional big, mechanized harvesters. The project goal is to minimize the weight of the bearing structure of the harvester to increase the performance at the expense of robustness. In this master thesis, the biggest and heaviest bearing component is “the main plate” that carries most of the components is chosen to be optimized and remodeled. This master thesis is divided into two parts: ● The impact forces measurements created by delimbing. ● Optimization, redesign and material investigation to decrease the mass of the main plate. The first step was to design and manufacture a test rig, find an approach to measure the impact force, perform a structural test to 3 thicknesses of blades, execute the experiment and validate the results to estimate the maximum impact force. The measured forces are used to perform structural analysis, topology optimization and result validation using ANSYS, a new optimized model has been created from the optimization results using Solid Edge and a material investigation was performed using GRANTA CES EduPack. Finally, the mass of the main plate is reduced by 82% after the material removal and application of a new material alternative. / Med utvecklingen av avskogning industrin och den ökade efterfrågan på sågade gods och skogar över hela världen skapades ett behov för effektivare avverkningsmetoder. Detta behov representerades i mekaniserade skördare och skotare i skogsbruket. Dessa maskiner är effektiva när det gäller massproduktion och kan skära alla typer och storlekar av träd. Dock är dessa maskiner stora och tunga vilket orsakar stora skador på jorden runt maskinerna. Detta orsakar störningar i marken. Ett nytt tillvägagångssätt är att konstruera mer specifika lätta maskiner som används för att skära små träd utan att skada jorden. Den nya skördemaskinen kan minimera användningen av de traditionella stora, mekaniserade skördarna. Projektets syfte är att minimera vikten av skördarens bärande struktur för att öka prestandan på bekostnad av robusthet. I detta examensarbete är den största och tyngsta bärande strukturen huvudplattan som bär de flesta komponenterna vald för att optimeras och ommodelleras. Detta examensarbete är uppdelad i två delar: ● Mätning av slagkraft. ● Optimering, ommodellering och materialundersökning för att minska massan på huvudplattan. Det första steget var att konstruera och tillverka en testrigg, hitta en metod för att mäta slagkrafterna, utföra en strukturell provning till 3 tjocklekar på bladen, utföra experimentet och validera resultaten för att uppskatta den maximala slagkraften. De uppmätta krafterna används för att utföra strukturanalys, topologioptimering och resultatvalidering med ANSYS, en ny optimerad modell har skapats från optimeringsresultaten med Solid Edge och materialundersökning utfördes med GRANTA CES EduPack. Slutligen, massan av huvudplattan minskade med 82 % efter materialborttagning och applicering av ett nytt materialalternativ.

Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. Correctness by construction is a methodology that proposes tackling this problem by separating specification and implementation and bridging them through formal methods. Code synthesis is one of these methods which refers to the process of generating low-level codes implementing the desired system from high-level modelling languages. Formulating a generic synthesis method can, in principle, decrease error rates and shorten development cycles since target-specific usage and mechanisms can be systematically taken care of in an automatic manner, whereas the designer needs only to ensure the functional correctness of the high-level specification model. In this respect, this thesis aims to use the open-source Zero Overhead Topology Infrastructure (ZOTI) methodology to formulate a synthesis process from a denotational graph-based representation of an application, tailored towards heterogeneous hardware/software implementations. The case study presents the partially automated synthesis of an open-source streaming processing subsystem on a Xilinx Zynq-based system-on-chip architecture consisting of a software part and a custom hardware accelerator part, where both C software and VHDL hardware are generated from the input model. While the initial results demonstrate a promising path for systemizing the code generation process, certain aspects of the synthesis, such as generating glue code for complex data types (e.g., multi-arrays), are left out of the scope of this thesis and will be explored in future work. / Heterogena plattformar, system med både generella processorer och uppgiftsspecifik hårdvara, används till stor del inom industrin för att öka effektiviteten, men heterogeniteten ökar också svårigheten att designa och verifiera. Vi behöver ofta vänta på att alla moduler är färdiga för att veta om designens funktionalitet är korrekt eller inte, vilket kan orsaka kostsamma och tråkiga designiterationscykler. Korrekthet genom konstruktion är en metod som föreslår att man åtgärdar detta problem genom att separera specifikation och implementering och överbrygga dem genom formella metoder. Kodsyntes är en av dessa metoder som hänvisar till processen att generera lågnivåkoder som implementerar det önskade systemet från högnivåmodelleringsspråk. Att formulera en generisk syntesmetod kan i princip minska felfrekvensen och förkorta utvecklingscyklerna eftersom målspecifik användning och mekanismer systematiskt kan tas om hand på ett automatiskt sätt, medan designern bara behöver säkerställa den funktionella korrektheten hos högnivån. specifikationsmodell. I detta avseende syftar denna avhandling till att använda öppen källkod Zero Overhead Topology Infrastructure (ZOTI) metodiken för att formulera en syntesprocess från en denotationsgrafbaserad representation av en applikation, skräddarsydd för heterogena hårdvaru-/mjukvaruimplementationer. Fallstudien presenterar den delvis automatiserade syntesen av ett undersystem för bearbetning av strömning med öppen källkod på en Xilinx Zynq-baserad system-på-chip-arkitektur bestående av en mjukvarudel och en anpassad hårdvaruacceleratordel, där både C-programvara och VHDL-hårdvara genereras från ingångsmodellen. Även om de initiala resultaten visar en lovande väg för att systemisera kodgenereringsprocessen, lämnas vissa aspekter av syntesen, såsom generering av limkod för komplexa datatyper (t.ex. multi-arrayer), utanför ramen för denna avhandling och kommer att vara utforskas i framtida arbete.

Spectral sequences were developed during the mid-twentieth century as a way of computing (co)homology, and have wide uses in both algebraic topology and algebraic geometry.  Grothendieck introduced in his Tôhoku paper the Grothendieck spectral sequence, which given left exact functors $F$ and $G$ between abelian categories, uses the right-derived functors of $F$ and $G$ as initial data and converges to the right-derived functors of the composition $G\circ F.$  This thesis focuses on instead constructing a spectral sequence that uses the derived functors of $G$ and $G\circ F$ as initial data and converges to the derived functors of $F.$ Our approach takes inspiration from the construction of the Eilenberg-Moore spectral sequence, which given a fibration of topological spaces can calculate the singular cohomology of the fiber from the singular cohomology of the base space and total space. The Eilenberg-Moore spectral sequence can be constructed through the use of differential graded algebras and their bar construction, since this defines a double complex for which the column-wise filtration of the corresponding total complex induces the spectral sequence. The correct analogue of this with respect to composite functors is the bar construction for monads. Specifically, we let $G$ have an exact left adjoint $H$, which makes $G\circ H$ into a monad. Then, we extend our adjunction so that the derived functor $RG$ has left adjoint $RH$ in the corresponding derived categories, making $RG\circ RH$ into a monad. This allows us to apply the bar construction in the derived category, but we show that there emerge issues in obtaining a double complex and subsequent total complex from this construction.  Additionally, we present the essential theory of spectral sequences in general, and of the Serre, Eilenberg-Moore and Grothendieck spectral sequences in particular. / Spektralsekvenser utvecklades under mitten av 1900-talet som ett verktyg för att beräkna (ko)homologi, och har många användningsområden inom både algebraisk topologi och algebraisk geometri. Grothendieck introducerade i sin Tôhoku-artikel Grothendieck-spektralsekvensen, som givet vänsterexakta funktorer $F$ och $G$ mellan abelska kategorier använder de högerderiverade funktorerna av $F$ och $G$ som initialdata och som konvergerar till de högerderiverade funktorerna av kompositionen $G\circ F$. Denna masteruppsats fokuserar på att istället konstruera en spektralsekvens som använder de deriverade funktorerna av $G$ och $G\circ F$ som initialdata och konvergerar till de deriverade funktorerna av $F$. Vår metod tar inspiration från konstruktionen av Eilenberg-Moore-spektralsekvensen, som givet en fibrering av topologiska rum kan beräkna den singulära kohomologin av fibern från den singulära kohomologin av basrummet och totalrummet. Eilenberg-Moore spektralsekvensen kan konstrueras genom användningen av graderade differentialalgebror och deras bar-konstruktion, eftersom detta definierar ett dubbelkomplex vars kolumnvisa filtrering av det resulterande totalkomplexet inducerar spektralsekvensen. Vad gäller kompositioner av funktorer så är den korrekta analogin till detta bar-konstruktionen för monader. Specifikt så låter vi $G$ ha en exakt vänsteradjungerad funktor $H$, vilket gör $G\circ H$ till en monad. Sedan utvidgar vi denna adjunktion sådant att den deriverade funktorn $RG$ har vänsteradjunkt $RH$ i den deriverade kategorin, vilket gör $RG\circ RH$ till en monad. Detta ger oss möjligheten att använda bar-konstruktionen i den deriverade kategorin, men vi visar att det uppstår problem när vi ska definiera ett dubbelkomplex och resulterande totalkomplex från denna konstruktion. Utöver detta så innehåller denna uppsats en genomgång av den viktigaste teorin om spektralsekvenser i allmänhet, och om Serre-, Eilenberg-Moore- och Grothendieck-spektralsekvensen i synnerhet.