Synchronous Machines: a Traced Category
|
|
- Nelson Hudson
- 5 years ago
- Views:
Transcription
1 Synchronous Machines: a Traced Cateory Marc anol, Guatto drien To cite this version: Marc anol, Guatto drien. Synchronous Machines: a Traced Cateory. [Research Report] <hal v3> HL Id: hal Submitted on 27 Nov 2012 HL is a multi-disciplinary open access archive or the deposit and dissemination o scientiic research documents, whether they are published or not. The documents may come rom teachin and research institutions in France or abroad, or rom public or private research centers. L archive ouverte pluridisciplinaire HL, est destinée au dépôt et à la diusion de documents scientiiques de niveau recherche, publiés ou non, émanant des établissements d enseinement et de recherche rançais ou étraners, des laboratoires publics ou privés.
2 Synchronous Machines: a Traced Cateory Marc anol & drien Guatto Institut de Mathématiques de Luminy, ix-marseille Université Département d Inormatique de l École normale supérieure and INRI Rocquencourt bstract. Synchronous prorammin lanuaes have been extensively used in the area o critical embedded systems. Synchronous machines, a speciic class o labelled transition systems, are oten used to ive denotational semantics o these lanuaes. In this work, we study the cateorical structure o the aorementioned machines. We irst show that the cateory S o synchronous machines can be iven a traced symmetric monoidal structure with diaonals. Then, we apply a standard variant o the Int construction to S and relate the composition in the resultin cateory with the synchronous product, the operation used to model parallel composition o synchronous prorams. We also show how properties o synchronous machines like determinism and reactivity relate to the way they compose with diaonal morphisms o S. Keywords: Denotational semantics; Traced cateories; Synchronous lanuaes. 1 Introduction Synchronous prorammin lanuaes [18] are domain-speciic lanuaes dedicated to the desin and implementation o critical real-time systems. ased on a stron yet abstract notion o time, they have met success and industrial use. Compared to most practically used prorammin lanuaes, their semantics tend to be better understood and more ormal. In both computer science and loics, the denotational semantics approach has helped in clariyin the structure o prorammin lanuaes and loical systems, by means o mathematical tools such as cateory theory. For instance linear loics [3] comes rom the study o a ine-rained denotational model o system F [19]. The traced monoidal cateories [20] have been studied in the area o denotational semantics to model reasonable eedback situations. The G construction [17] allows to build out o a traced monoidal cateory a new cateory in which the composition can be thinked o intuitively as a kind o parallel eedback loop between the composed morphisms. This author was supported by the ence Nationale de la Recherche project NR- 10-LN-0213 This author was unded by the European FP7 project PHRON id
3 utomata theory orms the backbone o synchronous prorammin. More speciically, parallel composition mirrors the synchronous product o automata: two interactin processes share the same notion o loical time and must synchronize their reaction steps. This operation also provides a natural notion o mutual eedback between concurrent processes, which comes in handy or prorammin real-time systems. For example, one may use it to implement the interaction between the model o a physical environment and its sotware controller. It is then quite natural to wonder i the automata-based models o synchronous prorammin lanuaes satisy the axioms o traced monoidal cateories. Even i these models were introduced without cateories in mind, their parallel composition operator should be related somehow to the parallel composition introduced by the G construction. In this work, we irst show that the synchronous machines, the kind o automata used in these models, orm a traced monoidal cateory S with diaonals. Then, we show that the parallel composition in G(S) correspond indeed to the synchronous product. Moreover we study the diaonal structure o S, which is a cateorical way to speak o duplicability. We show in particular that the class o copyable morphisms o S corresponds exactly to the one-state deterministic synchronous machines. 2 Synchronous machines 2.1 Context Pnueli [15] proposed to consider two broad classes o computin systems. Transormational systems, whose role is to compute an output rom an input and then stop. Compilers, automated theorem provers, or ray-tracers are transormational prorams. Reactive systems, repetitively interactin with an external environment. ll the sotware and hardware systems rom the ield o real-time systems all under the umbrella o reactive systems; let us cite automotive and avionics control sotware, but also on-line video encodin and imae ilterin, etc. Most industrial computin systems are reactive ones. It is thereore not surprisin that the desin and implementation o prorammin lanuaes and speciication loics tailored to this settin has attracted much interest. One particular strand o reactive ormalisms have met widespread industrial use: the amily o synchronous prorammin lanuaes, such as Esterel [1], Lustre [14] and Sinal [10]. The main characteristics o these lanuaes is the notion o a lobal loical time shared between all processes, with instantaneous communications. n ain but useul survey o the whole area is [18]. Compared to common prorammin lanuaes and systems or real-time prorammin, concurrency in synchronous lanuaes is built-in rather than tacked on: it is a linuistic notion. It is also deterministic, in contrast with most works in asynchronous process alebra.
4 The semantics underlyin synchronous lanuaes is rooted in automatatheoretic notions. In such lanuaes, parallel composition corresponds to the synchronous product o automata. This choice is conceptually simple and its well with the culture o their main users, control and sinal scientists. It is also very relevant or ormal veriication, a vital activity in critical system desin. Indeed, the synchronous product typically results in much smaller systems that the asynchronous one and contributes to keep the state-space explosion problem under control. Moreover, saety properties can themselves be expressed directly throuh so-called synchronous observers [16]. It is then possible to veriy, test or simulate the parallel composition o a proram and its observers as syntactic parallel composition and intersection o execution traces coincide. Observers are synchronous prorams and can thus be themselves veriied and tested usin the same methods. In this work, we handle the eneral settin o synchronous products o composable inite automata, ollowin the deinitions o [16]. Our oal is then to extract the cateorical structure o these objects, and recreate the seeminly primitive notion o synchronous interaction rom alebraic means. 2.2 Synchronous machines We study an abstracted model o synchronous communication rather than a concrete synchronous lanuae. s in [16], we use a variant o inite automata with the synchronous product. However, here we do not suppose that sinals come rom a predeined lobal set. This is essential in order to comply with the cateorical point o view; we discuss this point urther in section 5. Deinition 1. Synchronous machines synchronous machine is a 5-tuple (,, F, i, ) where: F is a set o states; i F is the initial state o ;, are sets o input and output sinals (respectively); F P () P () F is the transition relation, expressin how the machine in a iven state reacts to a set o input sinals by emittin a set o output sinals and movin to another state. When can be deduced rom the context, we write q i o q or (q, i, o, q ). We also deine δ : F P () P (P () F) the reaction unction o machine by δ (q, i) = {(o, q ) o, q.(q, i, o, q ) }. Properties o synchronous machines Next we describe properties o synchronous machines. Our cateorical presentation will characterize them throuh purely alebraic means. Note that the two irst properties are very desirable or practical purposes.
5 Deinition 2. Deterministic machine synchronous machine is deterministic i it has at most one possible reaction or each input in each state: q, i. δ (q, i) 1 Deinition 3. Reactive machine synchronous machine is reactive i it has at least one possible reaction or each input in each state: q, i. δ (q, i) 1 Deinition 4. Versatile machine synchronous machine is versatile i it can produce all the possible outputs in each state: q, o. i, q. q i o q Operations on synchronous machines Deinition 5. Projection Let be a synchronous machine and a subset o its output sinals. The projected machine is (,, F, i, ) where = { (q, i, o, q ) or all (q, i, o, q ) } Deinition 6. Synchronous product Let (resp. ) be a synchronous machine with input sinals in (resp. C) and output sinals in (resp. D). We deine ( ) = ( (\D) (C\), D, F G, i i, ( ) ) where ( ) is deined by the inerence scheme: q 1 a (d ) b q 1 q 2 q 1 q 2 c (b C) a c b d q 1q 2 d q 2 where a \D and c C\, b and d D The synchronous product o synchronous machines and thus runs and in parallel, and iuratively plus the outputs o (resp. ) into the inputs o (resp. ). One reaction step o the compound machine perorms exactly one reaction step o and one reaction step o. 3 Traced cateories Traced monoidal cateories or rather traced cateories, as the notion o trace relies on a monoidal structure were introduced in [20] to ive a cateorical account o a situation arisin in various areas o mathematics such as knot theory, alebraic topoloy or theoretical computer science.
6 3.1 Symmetric monoidal cateories Deinition 7. Monoidal cateory monoidal cateory is a cateory C toether with a biunctor, a distinuished unit object 1 and natural amilies o isomorphisms ρ : 1 λ : 1 α,,c : ( C) ( ) C satisyin some coherence axioms [11]. I these isomorphisms turn out to be identities i.e. ( C) = ( ) C and 1 = = 1 the cateory is said to be strict monoidal. The strict case allows to write simpler, more readable equations. It turns out that every monoidal cateory is equivalent with a strict one [11], so we will most o the time avoid writin brackets around without any loss o rior. Deinition 8. Symmetries amily o symmetries in a (strict) monoidal cateory C is a natural amily o isomorphisms σ, : such that σ, ; σ, = Id σ,c = (Id σ,c ) ; (σ,c Id ) We say that C is a (strict) symmetric monoidal cateory (SMC, or short) i C is a (strict) monoidal cateory toether with a amily o symmetries. 3.2 Graphical lanuae and the notion o trace lon with the notion o traced cateory, [20] introduced a raphical lanuae or these cateories. s we shall see, the expression o some simple properties can be quite hard to read in the traditional equational lanuae, while they look obvious in the raphical lanuae. Fiure 2 ives the translation o these properties to diarammatical lanuae. Tr U, ( ): = U U Fi. 1. Feedback: the trace
7 Id : = m... : 1 2 m 1 2 m = 2 n ; : C = C : C D = C D, : = Fi. 2. The raphical lanuae o symmetric monoidal cateories Once introduced this lanuae o circuits and wires, it is easy to state the basic idea behind the notion o trace: one wants to make (cateorical) sense o the wirin presented on iure 3.2, which makes sense rom a circuit perspective: just add a eedback wire and observe what happens 1. The point is thereore to axiomatize the notion o eedback in a SMC. Deinition 9. Trace trace in a (strict) SMC C is a amily o unctions (we will oten omit the, subscript when it is obvious rom the context) satisyin the ollowin axioms: Tr U, : C( U, U) C(, ) Superposin: or all : U U and : C D, Tr U,() = Tr U C, D( ) U C U D = U C U D Tihtenin: or all : U U, : and h :, Tr U, ( (IdU ) ; ; (Id U h) ) = ; Tr U,() ; h 1 This will eventually cause a ire, but this is o the scope o this work...
8 h = h Slidin: or all : U U and : U U, Tr U (, ; ( Id ) ) = Tr U (, ( Id ) ; ) = Vanishin: or all : (as the cateory is strict we have = 1 and = 1 ) = Tr 1,() 1 1 = ssociativity: or all : U U, ( ) Tr U, Tr V U, U () = Tr U V, () = Yankin: or all, Tr,(σ, ) = Id =
9 We will reer to SMC equipped with a trace as traced cateories. 3.3 The G construction The Int construction was deined in [20] to relate traced cateories with compactclosed cateories. In [17], S. bramsky introduced a (isomorphic) variant o it, called the G construction to ive a cateorical version o J.-Y. Girard s Geometry o Interaction (see section 6). Deinition 10. Compact-closed cateory compact-closed cateory is a SMC in which or every object there is dual object and a pair o arrows η : 1 (called the unit) and ε : 1 (called the co-unit) satisyin (aain we assume the cateory is strict or readability) = 1 Id η ε Id 1 = is equal to Id = 1 η Id Id ε 1 = is equal to Id The idea o the Int construction is to build a compact-closed cateory out o a traced cateory C, the composition in Int(C) bein deined usin the trace o C. The same is true o G C C C C + Fi. 3. Composition in G, intuitive and ormal diarams
10 Deinition 11. G I C is a traced cateory, the cateory G(C) is deined as ollows: Objects are pairs +, o objects o C Morphisms : +, +, in G(C) are iven by morphisms : + + in C Composition o : +, +, and : +, C +, C is deined as (see i.3 or a more readable version in the raphical lanuae) ( ; G := T r + + C, C + S1 ; ( ) ; S 2 ; (Id Id C + σ (+, )) ) where S 1 := (Id + σ C,( + )) and S 2 := (Id σ (+ ),C +) Identities Id +, in G(C) are iven by the symmetries σ +, o C The act that G(C) is indeed a cateory ollows rom the axioms o trace. s the compact-closed structure o G(C) is not our main interest in this paper, we skip its deinition. The interested reader may ind it or instance in [8]. 3.4 Diaonal morphisms The tensor product o a SMC is not in eneral a cartesian product, which means basically that there is no diaonal morphism c : satisyin the riht set o equation to talk about duplication o data. However, one may want to identiy amon the morphisms o a iven SMC the ones that can be manipulated as i the tensor product was cartesian. Deinition 12. Diaonals (strict) SMC C is said to have diaonals there exists two (not necessarily natural) amilies o morphisms c : and w : 1 such that (, c, w ) is a symmetric comonoid or all, that is to say: c ; (Id c ) = c ; (c Id ) and c ; (w Id ) = c ; (Id w ) = Id w 1 = Id 1 and w w = w c c ; (Id σ, Id ) = c In such a cateory, the weak initial morphism is deined or all objects as i := Tr 1,(c a ). c w i = Fi. 4. The morphisms c, w, i in the raphical lanuae One can then deine class o morphisms that behave well with respect to the diaonal structure.
11 Deinition 13. Diaonal morphisms morphism : in a SMC with diaonals is said to be copyable i ; c = c ; ( ) = discardable i w = ; w = strict i i ; = i = Remark : The morphisms o a SMC with diaonals that are both copyable and discardable orm a subcateory, the larest one on which the tensor product is a cartesian product. 4 The cateory o synchronous machines We can see now how the synchronous machines can be oranized as a traced cateory. First deinitions The basic idea is that a synchronous reactive system is a morphism rom its input set o sinals to its output set o sinals. In a way, the cateory we describe is quite close to the cateory Rel o sets and relations. The dierence bein the state space, which needs a speciic treatment in terms o composition and equality. Deinition 14. Objects, morphisms The cateory S o synchronous machines is deined as objects are sets morphisms rom to are synchronous machines (deinition 1) with input and output Given two morphisms in S, one has to be able to say when they are equal. In act, with plain equality we would not end up with a cateory. The issue is that the state space has to be treated somehow up to isomorphism. This amounts to the standard issue o equality o labelled transition system. The notion we settle or in this paper is isomorphism o state raphs. Deinition 15. Equality Two morphisms, : in S are equal whenever they are raphisomorphic, i.e. there exists a bijection ϕ : F G such that = ϕ ϕ 1
12 We can now deine the composition o two morphisms, in S. Look back at the raphical representation o composition in a monoidal cateory: the intuition is that when composin, the output o is passed on as an input or. s or the state space, it is natural to say that a state o the composed system is iven by a state o and a state o, hence the use o cartesian product. Deinition 16. Composition and identities The composition o two morphisms : and : C in S is iven by ; := (, C, F G, i i, ; ) where ; := { a c b, a b and b c } For any object, the identity Id is deined as ( Id :=,, { },, { a or all a }) a It is routine to check that all this deines a cateory: irst check that equality is compatible with composition, then provin associativity and identity axioms is just a matter o choosin appropriate (and trivial in that case) bijections between state spaces. Symmetric monoidal structure The tensor product is the operation that puts two (non-interactin) systems in parallel. ain the raphical lanuae suests the use o the cartesian product or handlin the state space. Deinition 17. Tensor product On objects o S, the tensor product is the disjoint union, :=. I : and : C D are morphisms in S, their tensor product is iven by := ( C, D, F G, i i, ) where := { ac } a b and c bd d The unit 1 o the tensor product is the empty set. Deinition 18. Symmetries Given two object, o S, the associated symmetry σ, : is deined as σ, := (,, { },, { ab ba or all a, b })
13 The trace The trace is quite similar to the one o Rel. Note that it does neither preserve reactivity nor determinism o synchronous machines. Deinition 19. Trace Given a morphism : U U o S, its trace Tr U,( ) : is deined as Tr U,( ) := ( {,, F, i, a au u U, b } ) bu Copyable, discardable and strict morphisms Proposition 1. Diaonal morphisms in S The cateory S has diaonals, iven by ( c :=,, { },, { a or all a } ) aa w := (, 1, { },, { a or all a } ) Moreover, the weak initial morphism or an object is i = Tr 1,(c a ) = ( 1,, { },, { a or all a } ) Remark : weak initial morphisms are quite dramatic examples o the nonpreservation o determinism by the trace o S. Theorem 1. Deterministic, total and strict morphisms in S the copyable morphisms are the deterministic, one-state synchronous machines the discardable morphisms are the reactive, one-state synchronous machines the total morphisms are the surjective, one-state synchronous machines 5 G(S) and the synchronous product We now relate the composition in G(S) with the synchronous product o synchronous machines. The theorem below says that, provided the input/output sets o the two systems are correctly positioned 2, their composition in G(S) is equal to their synchronous product ollowed by hidin the sinal used durin the interaction. 2 That is, they do not intersect anywhere but on +, where the systems are expected to interact.
14 Theorem 2. Let : ( +, ) ( +, ) and : ( +, ) (C +, C ) be two morphisms is G(S). Suppose also that + C + = C = (see discussion below). Then we have ; G = ( ) C + Proo. ; G and ( ),C + share the same state space F G and initial state i i. Thereore we show they are equal (deinition 15) by the identity bijection between their state spaces: We have that ac in ; G a c i and only i there exist b +, b acb such that + b in a c b + b S 1 ; ( ) ; S 2 ; (Id Id C + σ (+, )), (with S 1 := (Id + σ ( + ),C ) and S2 := (Id σ ( + ),C +) as in deinition 11) i and only i there exist b +, b such that ab b + c a b + b c in, i and only i there exist b +, b such that in, ab + in and b c a b b + c i and only i there exist b +, b ac such that ab + b c in ( ), i and only i ac a c in ( ) C +. The condition + C + = C = may look simply technical. ut there is actually more to it. s explained in section 2, synchronous prorammin lanuaes such as Esterel oten assume that there is a lobal space o sinals S. Reactive systems do not have a speciied input/output space and they rather all read and emit sinals in S. I two systems are executed side by side and share input/output sinal, they will interere. This does not quite correspond to the cateorical point o view, which works up to isomorphism: to et a monoidal cateory, one needs to avoid intererence between and when buildin. This is achieved usin direct sums on input/output spaces o reactive systems when deinin, while with a lobal sinal set S one would use union, with possible intererence so that the would be partially deined. The same dilemma occurs in loics, this is the theme o locativity, introduced by J.-Y. Girard in [6]. Locative approaches to loics start by settin a lobal space where everythin happens, and also use union rather than direct sum, endin up with partially deined connectives. From this point o view, we could say that synchronous machines are naturally locative.
15 6 Related and uture work Circuit synthesis The eometry o synthesis research proram by Ghica et al. [2] proposes novel ways o compilin an idealized hih-level lanuae to diital circuits. The lanuae a dialect o lol, that is an hiher-order unctional lanuaes with imperative eatures, extended with inite-state asynchronous concurrency. Various type systems have been proposed to accommodate this initeness condition. Part o the oriinality o the approach stems rom the oriins o the translation process, heavily inspired rom cateorical models. Compared with most works in hih-level circuit synthesis, this denotational lavor ives a compositional translation, i.e. one where unctions can be compiled separately. Followin the seminal work o lur et al. [9], Ghica et al. also studied the round abstraction [12], a transormation rom asynchronous to synchronous circuits, in order to beneit rom the rich ecosystem available or the latter. One possible application o the present work would be to be able to directly enerate synchronous circuits rom a hih-level prorammin lanuae. The Towards eometry o interaction or synchronous machines The G construction was irst introduced to ive a cateorical account o the Geometry o Interaction proram. This proram that was initiated and pursued by J.-Y. Girard in a series o paper [4,5,7]. It is built around the idea o lookin at the interactive aspects o loical phenomena. The composition o two proos the (Cut) rule is seen interactively in GoI: the computation can low back and orth between the two composed prorams, as in ame semantics [13] or instance. Moreover, in the GoI approach, or a proram to be o a certain type is no loner a matter o ollowin some iven set o rules, but rather the result o mutual testin. In loics, this technique is usually reerred to as construction by orthoonality. y showin that synchronous machines orm a traced cateory and that the synchronous product corresponds to the composition induced by the G construction, our work opens the way to applyin GoI ideas and techniques to reactive systems. In particular, it would allow to use the ood structural properties obtained by orthoonality methods to try to deal with the problem o determinism/reactiveness. Reerences 1. Gérard erry ; Laurent Cosserat, The esterel synchronous prorammin lanuae and its mathematical semantics, Seminar on Concurrency, Carneie-Mellon University (London, UK, UK), Spriner-Verla, 1985, pp Dan R. Ghica, Function interace models or hardware compilation, MEMOCODE, 2011, pp
16 3. Jean-Yves Girard, Linear loic, Theoretical Computer Science 50 (1987), no. 1, , Towards a Geometry o interaction, Contemporary Mathematics n o 92, merican Mathematical Society, 1989, pp , Geometry o interaction II : deadlock-ree alorithms, Lecture Notes in Computer Science n o 417 (Martin-Lö and Mints, eds.), Spriner-Verla, 1990, pp , Locus solum: From the rules o loic to the loic o rules, Mathematical Structures in Computer Science 11 (2001), no. 3, , Geometry o interaction V: Loic in the hyperinite actor, Theor. Comput. Sci. 412 (2011), no. 20, Esandiar Hahverdi, cateorical approach to linear loic, eometry o proos and ull completeness, Ph.D. thesis, University o Otawa, Rajeev lur ; Thomas. Henziner, Reactive modules, Formal Methods in System Desin 15 (1999), no. 1, lbert enveniste ; Paul Le Guernic ; Christian Jacquemot, Synchronous prorammin with events and relations: the SIGNL lanuae and its semantics, Science o Computer Prorammin 16 (1991), Saunders Mac Lane, Cateories or the workin mathematician, Graduate Texts in Mathematics, no. 5, Spriner-Verla, Dan R. Ghica ; Mohamed N. Menaa, On the compositionality o round abstraction, CONCUR, 2010, pp Samson bramsky ; Guy M c Cusker, Game semantics, Loic and Computation : Proceedins o the 1997 Marktoberdor Summer School, Spriner-Verla, Paul Caspi ; Daniel Pilaud ; Nicolas Halbwachs ; John. Plaice, Lustre: a declarative lanuae or real-time prorammin, POPL 87: Proceedins o the 14th CM SIGCT-SIGPLN symposium on Principles o prorammin lanuaes (New York, NY, US), CM, 1987, pp David Harel ; mir Pnueli, On the development o reactive systems, Loics and models o concurrent systems (Krzyszto R. pt, ed.), Spriner-Verla New York, Inc., New York, NY, US, 1985, pp Nicolas Halbwachs ; Fabienne Lanier ; Pascal Raymond, Synchronous observers and the veriication o reactive systems, Proceedins o the Third International Conerence on Methodoloy and Sotware Technoloy: lebraic Methodoloy and Sotware Technoloy (London, UK, UK), MST 93, Spriner-Verla, 1994, pp Samson bramsky ; Esandiar Hahverdi ; Philip Scott, Geometry o interaction and linear combinatory alebras, Mathematical. Structures in Comp. Sci. 12 (2002), no. 5, lbert enveniste ; Paul Caspi ; Stephen. Edwards ; Nicolas Halbwachs ; Paul Le Guernic ; Robert De Simone, The synchronous lanuaes twelve years later, Proceedins o the IEEE, 2003, pp Jean-Yves Girard ; Yves Laont ; Paul Taylor, «Proos and Types», Cambride University Press, ndré Joyal ; Ross Street ; Dominic Verity, Traced monoidal cateories, Mathematical Proceedins o the Cambride Philosophical Society, 119, pp , 1996.
Categories and Quantum Informatics: Monoidal categories
Cateories and Quantum Inormatics: Monoidal cateories Chris Heunen Sprin 2018 A monoidal cateory is a cateory equipped with extra data, describin how objects and morphisms can be combined in parallel. This
More informationUMS 7/2/14. Nawaz John Sultani. July 12, Abstract
UMS 7/2/14 Nawaz John Sultani July 12, 2014 Notes or July, 2 2014 UMS lecture Abstract 1 Quick Review o Universals Deinition 1.1. I S : D C is a unctor and c an object o C, a universal arrow rom c to S
More informationIsotropic diffeomorphisms: solutions to a differential system for a deformed random fields study
Isotropic diffeomorphisms: solutions to a differential system for a deformed random fields study Marc Briant, Julie Fournier To cite this version: Marc Briant, Julie Fournier. Isotropic diffeomorphisms:
More informationA Peter May Picture Book, Part 1
A Peter May Picture Book, Part 1 Steve Balady Auust 17, 2007 This is the beinnin o a larer project, a notebook o sorts intended to clariy, elucidate, and/or illustrate the principal ideas in A Concise
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationRELATIVE GOURSAT CATEGORIES
RELTIVE GOURST CTEGORIES JULI GOEDECKE ND TMR JNELIDZE bstract. We deine relative Goursat cateories and prove relative versions o the equivalent conditions deinin reular Goursat cateories. These include
More informationTHE GORENSTEIN DEFECT CATEGORY
THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory
More informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationBECK'S THEOREM CHARACTERIZING ALGEBRAS
BEK'S THEOREM HARATERIZING ALGEBRAS SOFI GJING JOVANOVSKA Abstract. In this paper, I will construct a proo o Beck's Theorem characterizin T -alebras. Suppose we have an adjoint pair o unctors F and G between
More informationFunctorial boxes in string diagrams
unctorial boxes in strin diarams Paul-ndré Melliès Equipe Preuves, Prorammes, Systèmes CNRS niversité Paris 7 Denis Diderot July 20, 2006 bstract Strin diarams were introduced by Roer Penrose as a handy
More informationTowards a Flowchart Diagrammatic Language for Monad-based Semantics
Towards a Flowchart Diagrammatic Language or Monad-based Semantics Julian Jakob Friedrich-Alexander-Universität Erlangen-Nürnberg julian.jakob@au.de 21.06.2016 Introductory Examples 1 2 + 3 3 9 36 4 while
More informationA linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
A linear-non-linear model or a computational call-by-value lambda calculus (extended abstract) Peter Seliner 1 and Benoît Valiron 2 1 Dalhousie University, seliner@mathstat.dal.ca 2 University o Ottawa,
More informationWestern University. Imants Barušs King's University College, Robert Woodrow
Western University Scholarship@Western Psycholoy Psycholoy 2013 A reduction theorem or the Kripke-Joyal semantics: Forcin over an arbitrary cateory can always be replaced by orcin over a complete Heytin
More informationThe Category of Sets
The Cateory o Sets Hans Halvorson October 16, 2016 [[Note to students: this is a irst drat. Please report typos. A revised version will be posted within the next couple o weeks.]] 1 Introduction The aim
More informationCOARSE-GRAINING OPEN MARKOV PROCESSES. John C. Baez. Kenny Courser
COARE-GRAINING OPEN MARKOV PROCEE John C. Baez Department o Mathematics University o Caliornia Riverside CA, UA 95 and Centre or Quantum echnoloies National University o inapore inapore 7543 Kenny Courser
More informationCategory Theory 2. Eugenia Cheng Department of Mathematics, University of Sheffield Draft: 31st October 2007
Cateory Theory 2 Euenia Chen Department o Mathematics, niversity o Sheield E-mail: echen@sheieldacuk Drat: 31st October 2007 Contents 2 Some basic universal properties 1 21 Isomorphisms 2 22 Terminal objects
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationProgramming Languages in String Diagrams. [ one ] String Diagrams. Paul-André Melliès. Oregon Summer School in Programming Languages June 2011
Programming Languages in String Diagrams [ one ] String Diagrams Paul-ndré Melliès Oregon Summer School in Programming Languages June 2011 String diagrams diagrammatic account o logic and programming 2
More informationRelaxed Multiplication Using the Middle Product
Relaxed Multiplication Usin the Middle Product Joris van der Hoeven Département de Mathématiques (bât. 425) Université Paris-Sud 91405 Orsay Cedex France joris@texmacs.or ABSTRACT In previous work, we
More informationDiagrammatic logic applied to a parameterization process
Diarammatic loic applied to a parameterization process César Domínuez Dominique Duval Auust 25., 2009 Abstract. This paper provides an abstract deinition o some kinds o loics, called diarammatic loics,
More information1991 Mathematics Subject Classification. 68N18, 03B70, 03G30.
Theoretical Inormatics and Applications Inormatique Théorique et Applications Will be set by the publisher TRACED PREMONOIDAL CATEGORIES Nick Benton 1 and Martin Hyland 2 Abstract. Motivated by some examples
More informationare well-formed, provided Φ ( X, x)
(October 27) 1 We deine an axiomatic system, called the First-Order Theory o Abstract Sets (FOTAS) Its syntax will be completely speciied Certain axioms will be iven; but these may be extended by additional
More information(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationTESTING TIMED FINITE STATE MACHINES WITH GUARANTEED FAULT COVERAGE
TESTING TIMED FINITE STATE MACHINES WITH GUARANTEED FAULT COVERAGE Khaled El-Fakih 1, Nina Yevtushenko 2 *, Hacene Fouchal 3 1 American University o Sharjah, PO Box 26666, UAE kelakih@aus.edu 2 Tomsk State
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationCLASSIFICATION OF GROUP EXTENSIONS AND H 2
CLASSIFICATION OF GROUP EXTENSIONS AND H 2 RAPHAEL HO Abstract. In this paper we will outline the oundations o homoloical alebra, startin with the theory o chain complexes which arose in alebraic topoloy.
More informationWork It, Wrap It, Fix It, Fold It
1 Work It, Wrap It, Fix It, Fold It NEIL SCULTHORPE University o Kansas, USA GRAHAM HUTTON University o Nottinham, UK Abstract The worker/wrapper transormation is a eneral-purpose technique or reactorin
More informationExact Comparison of Quadratic Irrationals
Exact Comparison of Quadratic Irrationals Phuc Ngo To cite this version: Phuc Ngo. Exact Comparison of Quadratic Irrationals. [Research Report] LIGM. 20. HAL Id: hal-0069762 https://hal.archives-ouvertes.fr/hal-0069762
More informationPetri Nets, Discrete Physics, and Distributed Quantum Computation
Petri Nets, Discrete Physics, and Distributed Quantum Computation Samson bramsky Oxord University Computin Laboratory This paper is dedicated to Uo Montanari on the occasion o his 65th birthday. bstract.
More information( ) x y z. 3 Functions 36. SECTION D Composite Functions
3 Functions 36 SECTION D Composite Functions By the end o this section you will be able to understand what is meant by a composite unction ind composition o unctions combine unctions by addition, subtraction,
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationQuantum computing with relations. Outline. Dusko Pavlovic. Quantum. programs. Quantum. categories. Classical interfaces.
Outline Wat do quantum prorammers do? Cateories or quantum prorammin Kestrel Institute and Oxord University or cateorical quantum QI 009 Saarbrücken, Marc 009 ll tat in te cateory o Outline Wat do quantum
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationOn Nonpermutational Transformation Semigroups with an Application to Syntactic Complexity
Acta Cybernetica 22 (2016) 687 701. On Nonpermutational Transormation Semiroups with an Application to Syntactic Complexity Szabolcs Iván and Judit Nay-Györy Abstract We ive an upper bound o n((n 1)! (n
More informationCATEGORIES. 1.1 Introduction
1 CATEGORIES 1.1 Introduction What is category theory? As a irst approximation, one could say that category theory is the mathematical study o (abstract) algebras o unctions. Just as group theory is the
More informationSynthesis of Reversible Circuits Using Decision Diagrams
Synthesis o Reversible Circuits Usin Decision Diarams Rol Drechsler Robert Wille Institute o Computer Science, University o Bremen, 28359 Bremen, Germany Cyber-Physical Systems, DFKI GmbH, 28359 Bremen,
More informationStudy of the Oscillation Condition of Quartz Oscillators by Gyrator Transformation
Study of the Oscillation Condition of Quartz Oscillators by Gyrator Transformation Nicolas Ratier, Mahmoud Addouche, Daniel Gillet, Rémi Brendel, Jérome Delporte To cite this version: Nicolas Ratier, Mahmoud
More information5. Network Analysis. 5.1 Introduction
5. Network Analysis 5.1 Introduction With the continued rowth o this country as it enters the next century comes the inevitable increase in the number o vehicles tryin to use the already overtaxed transportation
More informationThe Uniformity Principle on Traced Monoidal Categories
Electronic Notes in Theoretical Computer Science 69 (2003) URL: http://www.elsevier.nl/locate/entcs/volume69.html 19 pages The Uniormity Principle on Traced Monoidal Categories Masahito Hasegawa Research
More informationMath 248B. Base change morphisms
Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More informationAnalysis of Boyer and Moore s MJRTY algorithm
Analysis of Boyer and Moore s MJRTY algorithm Laurent Alonso, Edward M. Reingold To cite this version: Laurent Alonso, Edward M. Reingold. Analysis of Boyer and Moore s MJRTY algorithm. Information Processing
More informationarxiv:math/ v1 [math.ct] 16 Jun 2006
arxiv:math/0606393v1 [math.ct] 16 Jun 2006 Strict 2-toposes Mark Weber bstract. 2-cateorical eneralisation o the notion o elementary topos is provided, and some o the properties o the yoneda structure
More informationCompleteness of the Tree System for Propositional Classical Logic
Completeness of the Tree System for Propositional Classical Logic Shahid Rahman To cite this version: Shahid Rahman. Completeness of the Tree System for Propositional Classical Logic. Licence. France.
More informationMethylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma.
Methylation-associated PHOX2B gene silencing is a rare event in human neuroblastoma. Loïc De Pontual, Delphine Trochet, Franck Bourdeaut, Sophie Thomas, Heather Etchevers, Agnes Chompret, Véronique Minard,
More informationEpimorphisms and maximal covers in categories of compact spaces
@ Applied General Topoloy c Universidad Politécnica de Valencia Volume 14, no. 1, 2013 pp. 41-52 Epimorphisms and maximal covers in cateories o compact spaces B. Banaschewski and A. W. Haer Abstract The
More informationarxiv:quant-ph/ v2 2 Mar 2004
The oic o Entanlement Bob Coecke Oxord University Computin aboratory, Wolson Buildin, Parks Road, OX QD Oxord, UK. coecke@comlab.ox.ac.uk arxiv:quant-ph/000v Mar 00 Abstract. We expose the inormation low
More informationRoberto s Notes on Differential Calculus Chapter 8: Graphical analysis Section 1. Extreme points
Roberto s Notes on Dierential Calculus Chapter 8: Graphical analysis Section 1 Extreme points What you need to know already: How to solve basic algebraic and trigonometric equations. All basic techniques
More informationConfluence Algebras and Acyclicity of the Koszul Complex
Confluence Algebras and Acyclicity of the Koszul Complex Cyrille Chenavier To cite this version: Cyrille Chenavier. Confluence Algebras and Acyclicity of the Koszul Complex. Algebras and Representation
More informationGraphs: ubiquitous and beautiful. Graphical Reasoning in Symmetric Monoidal Categories for Quantum Information. Graphs: UML
Graphs: ubiquitous and beautiul Graphical Reasonin in Smmetric Monoidal Cateories or Quantum Inormation Lucas Dion, Universit o Edinburh (Joint ork Ross Duncan and Aleks Kissiner) Abstracts over detail
More informationA Hybrid Synchronous Language with Hierarchical Automata
A Hybrid Synchronous Lanuae with Hierarchical Automata Static Typin and Translation to Synchronous Code Albert Benveniste 1 Benoît Caillaud 1 Timothy Bourke 1,2 Marc Pouzet 2,1 1. INRIA 2. ENS, Paris 18th
More informationSTRONGLY GORENSTEIN PROJECTIVE MODULES OVER UPPER TRIANGULAR MATRIX ARTIN ALGEBRAS. Shanghai , P. R. China. Shanghai , P. R.
STRONGLY GORENSTEIN PROJETIVE MODULES OVER UPPER TRINGULR MTRIX RTIN LGERS NN GO PU ZHNG Department o Mathematics Shanhai University Shanhai 2444 P R hina Department o Mathematics Shanhai Jiao Ton University
More informationCONVENIENT CATEGORIES OF SMOOTH SPACES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 11, November 2011, Paes 5789 5825 S 0002-9947(2011)05107-X Article electronically published on June 6, 2011 CONVENIENT CATEGORIES OF
More informationOriented Bivariant Theories, I
ESI The Erwin Schrödiner International Boltzmannasse 9 Institute or Mathematical Physics A-1090 Wien, Austria Oriented Bivariant Theories, I Shoji Yokura Vienna, Preprint ESI 1911 2007 April 27, 2007 Supported
More informationCS 361 Meeting 28 11/14/18
CS 361 Meeting 28 11/14/18 Announcements 1. Homework 9 due Friday Computation Histories 1. Some very interesting proos o undecidability rely on the technique o constructing a language that describes the
More informationCase report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122,
Case report on the article Water nanoelectrolysis: A simple model, Journal of Applied Physics (2017) 122, 244902 Juan Olives, Zoubida Hammadi, Roger Morin, Laurent Lapena To cite this version: Juan Olives,
More informationDiagnosability Analysis of Discrete Event Systems with Autonomous Components
Diagnosability Analysis of Discrete Event Systems with Autonomous Components Lina Ye, Philippe Dague To cite this version: Lina Ye, Philippe Dague. Diagnosability Analysis of Discrete Event Systems with
More informationFixed point theorems for Boolean networks expressed in terms of forbidden subnetworks
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks Adrien Richard To cite this version: Adrien Richard. Fixed point theorems for Boolean networks expressed in terms of
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationFactors of words under an involution
Journal o Mathematics and Inormatics Vol 1, 013-14, 5-59 ISSN: 349-063 (P), 349-0640 (online) Published on 8 May 014 wwwresearchmathsciorg Journal o Factors o words under an involution C Annal Deva Priya
More informationDERIVED CATEGORIES AND THEIR APPLICATIONS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 48, Número 3, 2007, Páinas 1 26 DERIVED CATEGORIES AND THEIR APPLICATIONS Abstract In this notes we start with the basic deinitions o derived cateories,
More informationCpE358/CS381. Switching Theory and Logical Design. Class 7
CpE358/CS38 Switchin Theory and Loical Desin Class 7 CpE358/CS38 Summer 24 Copyriht 24 236 Today Fundamental concepts o diital systems (Mano Chapter ) Binary codes, number systems, and arithmetic (Ch )
More informationCutwidth and degeneracy of graphs
Cutwidth and degeneracy of graphs Benoit Kloeckner To cite this version: Benoit Kloeckner. Cutwidth and degeneracy of graphs. IF_PREPUB. 2009. HAL Id: hal-00408210 https://hal.archives-ouvertes.fr/hal-00408210v1
More informationThe concept of limit
Roberto s Notes on Dierential Calculus Chapter 1: Limits and continuity Section 1 The concept o limit What you need to know already: All basic concepts about unctions. What you can learn here: What limits
More informationA non-commutative algorithm for multiplying (7 7) matrices using 250 multiplications
A non-commutative algorithm for multiplying (7 7) matrices using 250 multiplications Alexandre Sedoglavic To cite this version: Alexandre Sedoglavic. A non-commutative algorithm for multiplying (7 7) matrices
More informationOn the longest path in a recursively partitionable graph
On the longest path in a recursively partitionable graph Julien Bensmail To cite this version: Julien Bensmail. On the longest path in a recursively partitionable graph. 2012. HAL Id:
More informationcorresponds to the total transaction costs given by ka = 1 ε
ON THE ASYMPTOTIC BEHAVIOR OF A BOLTZMANN-TYPE PRICE FORMATION MODEL MARTIN BURGER, LUIS CAFFARELLI, PETER A. MARKOWICH, AND MARIE-THERESE WOLFRAM Abstract. In this paper we study the asymptotic behavior
More informationPart 1. 1 Basic Theory of Categories. 1.1 Concrete Categories
Part 1 1 Basic Theory o Cateories 1.1 Concrete Cateories One reason or inventin the concept o cateory was to ormalize the notion o a set with additional structure, as it appears in several branches o mathematics.
More informationThe FLRW cosmological model revisited: relation of the local time with th e local curvature and consequences on the Heisenberg uncertainty principle
The FLRW cosmological model revisited: relation of the local time with th e local curvature and consequences on the Heisenberg uncertainty principle Nathalie Olivi-Tran, Paul M Gauthier To cite this version:
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationA new simple recursive algorithm for finding prime numbers using Rosser s theorem
A new simple recursive algorithm for finding prime numbers using Rosser s theorem Rédoane Daoudi To cite this version: Rédoane Daoudi. A new simple recursive algorithm for finding prime numbers using Rosser
More informationELEMENTS IN MATHEMATICS FOR INFORMATION SCIENCE NO.14 CATEGORY THEORY. Tatsuya Hagino
1 ELEMENTS IN MTHEMTICS FOR INFORMTION SCIENCE NO.14 CTEGORY THEORY Tatsuya Haino haino@sc.keio.ac.jp 2 Set Theory Set Theory Foundation o Modern Mathematics a set a collection o elements with some property
More informationarxiv: v7 [cs.db] 24 Jul 2015
Relational oundations or unctorial Data Miration David I. Spivak, Ryan Wisnesky Massachusetts Institute o Technoloy {dspivak, wisnesky}@math.mit.edu arxiv:1212.5303v7 [cs.db] 24 Jul 2015 July 28, 2015
More informationA Simple Proof of P versus NP
A Simple Proof of P versus NP Frank Vega To cite this version: Frank Vega. A Simple Proof of P versus NP. 2016. HAL Id: hal-01281254 https://hal.archives-ouvertes.fr/hal-01281254 Submitted
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
More informationFeedback Linearization
Feedback Linearization Peter Al Hokayem and Eduardo Gallestey May 14, 2015 1 Introduction Consider a class o single-input-single-output (SISO) nonlinear systems o the orm ẋ = (x) + g(x)u (1) y = h(x) (2)
More informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
More information1 Relative degree and local normal forms
THE ZERO DYNAMICS OF A NONLINEAR SYSTEM 1 Relative degree and local normal orms The purpose o this Section is to show how single-input single-output nonlinear systems can be locally given, by means o a
More informationSémantique des jeux asynchrones et réécriture 2-dimensionnelle
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle Soutenance de thèse de doctorat Samuel Mimram Laboratoire PPS (CNRS Université Paris Diderot) 1 er décembre 2008 1 / 64 A program is a text
More informationAsynchronous Parallel Programming in Pei. E. Violard. Boulevard S. Brant, F Illkirch.
Asynchronous Parallel Prorammin in Pei E. Violard ICPS, Universite Louis Pasteur, Strasbour Boulevard S. Brant, F-67400 Illkirch e-mail: violard@icps.u-strasb.r Abstract. This paper presents a transormational
More informationA Least Squares Approach to the Subspace Identification Problem
A Least Squares Approach to the Subspace Identiication Problem Laurent Bako, Guillaume Mercère, Stéphane Lecoeuche To cite this version: Laurent Bako, Guillaume Mercère, Stéphane Lecoeuche A Least Squares
More informationNew estimates for the div-curl-grad operators and elliptic problems with L1-data in the half-space
New estimates for the div-curl-grad operators and elliptic problems with L1-data in the half-space Chérif Amrouche, Huy Hoang Nguyen To cite this version: Chérif Amrouche, Huy Hoang Nguyen. New estimates
More informationVoltage Stability of Multiple Distributed Generators in Distribution Networks
oltage Stability of Multiple Distributed Generators in Distribution Networks Andi Wang, Chongxin Liu, Hervé Guéguen, Zhenquan Sun To cite this version: Andi Wang, Chongxin Liu, Hervé Guéguen, Zhenquan
More informationFORMAL CATEGORY THEORY
FORML TEGORY THEORY OURSE HELD T MSRYK UNIVERSITY IVN DI LIERTI, SIMON HENRY, MIKE LIEERMNN, FOSO LOREGIN bstract. These are the notes o a readin seminar on ormal cateory theory we are runnin at Masaryk
More informationComment on: Sadi Carnot on Carnot s theorem.
Comment on: Sadi Carnot on Carnot s theorem. Jacques Arnaud, Laurent Chusseau, Fabrice Philippe To cite this version: Jacques Arnaud, Laurent Chusseau, Fabrice Philippe. Comment on: Sadi Carnot on Carnot
More informationFROM COHERENT TO FINITENESS SPACES
FROM COHERENT TO FINITENESS SPACES PIERRE HYVERNAT Laboratoire de Mathématiques, Université de Savoie, 73376 Le Bourget-du-Lac Cedex, France. e-mail address: Pierre.Hyvernat@univ-savoie.fr Abstract. This
More informationAbstract Detection of Computer Viruses
Abstract Detection of Computer Viruses Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion To cite this version: Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion. Abstract Detection of Computer
More informationThe First-Order Theory of Ordering Constraints over Feature Trees
Discrete Mathematics and Theoretical Computer Science 4, 2001, 193 234 The First-Order Theory o Ordering Constraints over Feature Trees Martin Müller 1 and Joachim Niehren 1 and Ral Treinen 2 1 Programming
More informationThomas Lugand. To cite this version: HAL Id: tel
Contribution à la Modélisation et à l Optimisation de la Machine Asynchrone Double Alimentation pour des Applications Hydrauliques de Pompage Turbinage Thomas Lugand To cite this version: Thomas Lugand.
More informationA novel method for estimating the flicker level generated by a wave energy farm composed of devices operated in variable speed mode
A novel method for estimating the flicker level generated by a wave energy farm composed of devices operated in variable speed mode Anne Blavette, Dara O Sullivan, Ray Alcorn, Mohamed Machmoum, Michael
More informationQuantum groupoids and logical dualities
Quantum groupoids and logical dualities (work in progress) Paul-André Melliès CNS, Université Paris Denis Diderot Categories, ogic and Foundations of Physics ondon 14 May 2008 1 Proof-knots Aim: formulate
More informationOn infinite permutations
On infinite permutations Dmitri G. Fon-Der-Flaass, Anna E. Frid To cite this version: Dmitri G. Fon-Der-Flaass, Anna E. Frid. On infinite permutations. Stefan Felsner. 2005 European Conference on Combinatorics,
More informationOn path partitions of the divisor graph
On path partitions of the divisor graph Paul Melotti, Eric Saias To cite this version: Paul Melotti, Eric Saias On path partitions of the divisor graph 018 HAL Id: hal-0184801 https://halarchives-ouvertesfr/hal-0184801
More informationAxiom of infinity and construction of N
Axiom of infinity and construction of N F Portal To cite this version: F Portal. Axiom of infinity and construction of N. 2015. HAL Id: hal-01162075 https://hal.archives-ouvertes.fr/hal-01162075 Submitted
More informationarxiv: v3 [quant-ph] 27 May 2016
arxiv:1510.05468v3 [quant-ph] 27 May 2016 Cateorical Quantum Mechanics I: Causal Quantum Processes ob Coecke 1 and leks Kissiner 2 1 Department o Computer Science, Oxord. coecke@cs.ox.ac.uk 2 icis, Radboud
More informationSimpler Functions for Decompositions
Simpler Functions or Decompositions Bernd Steinbach Freiberg University o Mining and Technology, Institute o Computer Science, D-09596 Freiberg, Germany Abstract. This paper deals with the synthesis o
More informationTriangulated categories and localization
Trianulated cateories and localization Karin Marie Jacobsen Master o Science in Physics and Mathematics Submission date: Januar 212 Supervisor: Aslak Bakke Buan, MATH Norweian University o Science and
More information