Western University. Imants Barušs King's University College, Robert Woodrow
|
|
- Jonah Hill
- 6 years ago
- Views:
Transcription
1 Western University 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 alebra Imants Barušs Kin's University Collee, baruss@uwo.ca Robert Woodrow Follow this and additional works at: Part o the Loic and Foundations Commons Citation o this paper: Barušs, Imants and Woodrow, Robert, "A reduction theorem or the Kripke-Joyal semantics: Forcin over an arbitrary cateory can always be replaced by orcin over a complete Heytin alebra" (2013). Psycholoy. 3.
2 A Reduction Theorem or the Kripke-Joyal Semantics: Forcin over an arbitrary cateory can always be replaced by orcin over a complete Heytin alebra Imants Barušs and Robert Woodrow Abstract. It is assumed that a Kripke-Joyal semantics A = C, Cov, F, has been deined or a irst-order lanuae L. To transorm C into a Heytin alebra C on which the orcin relation is preserved, a standard construction is used to obtain a complete Heytin alebra made up o cribles o C. A pretopoloy Cov is deined on C usin the pretopoloy on C. A shea F is made up o sections o F that obey unctoriality. A orcin relation is deined and it is shown that A = C, Cov, F, is a Kripke-Joyal semantics that aithully preserves the notion o orcin o A. That is to say, an object a o COb orces a sentence with respect to A i and only i the maximal a-crible orces it with respect to A. This reduces a Kripke-Joyal semantics deined over an arbitrary site to a Kripke-Joyal semantics deined over a site which is based on a complete Heytin alebra. We will bein by recapitulatin the deinition o the Kripke-Joyal semantics since the details o the deinition will be needed to prove the reduction theorem in the second part o this paper. 1. The Kripke-Joyal Semantics Robert Goldblatt s version o a site rom [1] and A. Kock and G.E. Reyes notion o orcin over a site [2] are used to establish the deinition o the Kripke-Joyal semantics used in this paper. Alternative expositions o orcin in cateorical contexts can be ound in [3], [4], [5], and [6]. In this paper, except or set membership and inclusion, all compositions o arrows are written in the order o composition. Also, a cateory is considered to be small i its collection o arrows is a set. This allows us to orm the irst deinition. Deinition 1.1. A stack or preshea o sets over a small cateory C is a contravariant unctor C F S where S is the cateory o sets. The unctor 2013 Imants Barušs and Robert Woodrow
3 2 Imants Barušs and Robert Woodrow cateory S Cop is the cateory o all stacks over C. For a COb, s af is called a erm. I A is a set then AP is its power set. The capital letters, I, X, Y, and so on, represent index sets. Deinition 1.2. A pretopoloy on a small cateory C is an assinment COb Cov ((CAr)P)P which takes a COb to a collection o sets o arrows in C with codomain a satisyin the ollowin conditions: (i) the empty set φ acov. (ii) the sinleton a 1a acov. (iii) i (iv) i a x X acov and or each x X y Cov,then y x y a y Y x and x X acov. a x X acov and b the pullback b a x b o alon y y Y x a CAr then or each x X b a x b P b a b a a x x b x x bcov. exists and Both Goldblatt and Kock and Reyes leave condition (i) out o their deinitions o pretopoloies. However, it is necessary or the development o a semantics or a ormal lanuae. A collection a x X acov is called a cover o a. I C is the cateory o open sets o a topoloical space (with a (unique) arrow rom U to V i and only i U V or U and V open sets) then the assinment U Cov = open covers o U satisies the above conditions. The unction Cov can be extended to a contravariant unctor by assinin to b a the unction that takes a cover o a to its correspondin cover on b by (iv) o the above deinition. Thus Cov (S Cop )Ob. Deinition 1.3. A site C, Cov is a small cateory C with a pretopoloy Cov. Let C, Cov be a site and a : x X acov. Then the pullback o alon y is called a a y x a y and the pullback o y alon
4 A Reduction Theorem or the Kripke-Joyal Semantics 3 is called a a y y or each x, y X as shown in the diaram: a a y x a y y P b a y I F is a stack over C then the imae o a a y y is called F F x y x F ( a a y )F and the imae o a is called af x ax F, or all x, y X. Deinition 1.4. A stack F is a shea over the site C, Cov i it satisies the compatibility condition: Given any cover a x X acov or a COb and any collection o elements s x F x X that are pairwise compatible, i.e., s x Fy x = s y Fx y or all x, y X, there is exactly one s af so that sf x = s x or all x X. The ull subcateory o S C0p enerated by those objects that are sheaves over the site C, Cov is called CSh. A Grothendieck topos is a cateory that is equivalent to one o the orm CSh or a site C, Cov. Let L be a irst order ormal lanuae deined in the usual way [7]. We let v, v 1, v 2, and so on represent the variables o the lanuae, w, w 1, w 2, and so on represent the constants o the lanuae and u, u 1, u 2, and so on be metavariables or variables and constants. For an inteer m, the set mw t is the collection o all constants and variables that are contained in the list u 1,..., u m. An inteer m is appropriate to a well-ormed ormula Ξ i all o the variables and constants o Ξ appear in the list u 1,..., u m. In the ollowin deinition, an A-valuation at a or a well-ormed ormula o L with m appropriate and a COb, is a unction mw t t af that has action v i t i af or variables v i with i m and w w a af or constants. The notation t(i/s) indicates the valuation obtained rom t by replacin t i by the element s af. An element in the imae o t is also written as t. The A-valuations satisy the ollowin closure condition: Let t be an A-valuation at a COb or a well-ormed ormula Φ with m appropriate to Φ and (b a) CAr with codomain a. Then w a (F ) is the imae o w or any constant w o L and any A-valuation at b or any well-ormed ormula Ψ with k m appropriate to Ψ. By an a-evaluated well-ormed ormula is meant a well-ormed ormula Ξ o L, m appropriate to Ξ and an A-valuation at a or Ξ. An a-evaluated well-ormed ormula Ξ with A-valuation t is written as Ξ[t]. Now:
5 4 Imants Barušs and Robert Woodrow Deinition 1.5. Let L be a irst-order lanuae as beore and let A = C, Cov, F, be an ordered quadruple where C, Cov is a site, F is a shea and is a binary relation between objects a o C and a-evaluated well-ormed ormulae. Then A is a Kripke-Joyal model i any well-ormed ormula Ξ with m appropriate to Ξ, a COb and t an A-valuation at a, satisies the appropriate condition below: or Π atomic, i a Π[t] and b i a is an arrow o C, then b Π[t(F )]; a x X acov so that x X, Π[t( F )] then a Π[t]; a ( v i )Σ[t] i there is a cover a x X acov and a collection s x F x X so that Π[t( F )(i/s x )], x X; a (Φ Ψ)[t] i there is a cover a x X acov so that Φ[t( F )] or Ψ[t( F )], x X; a Φ[t] i (b a), not b Φ[t(F )]; a (Φ Ψ)[t] i (b a), i b Φ[t(F )] then b Ψ[t(F )]; a (Φ Ψ)[t] i or every b a, b Φ[t(F )] and b Ψ[t(F )]; a ( v i )Σ[t] i (b a) and any s bf, b Σ[t(F )(i/s)]. I Ξ has index n, let a Ξ[s 1,..., s n ] i a Ξ[t] or some A-valuation t or Ξ with m appropriate to Ξ, where t i1 = s 1,..., t in = s n. Then a Ξ i a Ξ[s 1,..., s n ] or all [s 1,..., s n ] (af ) n. Finally, A is a model o Ξ, written A = Ξ i or all a COb, a Ξ. We will need the property that truth persists in time. More speciically: Lemma 1.6. Let A = C, Cov, F, be a Kripke-Joyal model or L and Ξ a well-ormed ormula o L. I a COb, m is appropriate to Ξ and t is an A-valuation o Ξ at a so that a Ξ[t], then b Ξ[t(F )] or all b a. Proo. The proposition is true by deinition i Ξ is an atomic ormula. The remainin cases are proved by induction on the complexity or Ξ. The technique o the proo is illustrated here by establishin the cases where Ξ is ( v i )Σ(v i ) and where Ξ is (Φ Ψ). Let a ( v i )Σ[t]. Then there is a cover a x X acov and a collection s x F x X so that Σ[t( F )(i/s n )]. Let b x x b be the pullback o alon or each x X, as shown in the diaram: x b P b a b x x Note that ( F )( x F ) = ( x )F = ( x)f = (F )( xf ) or each x X because F is a contravariant unctor. By the induction hypothesis,
6 A Reduction Theorem or the Kripke-Joyal Semantics 5 b x Σ[t(F )(F )(i/s x ( x F ))] or each x X. Since b x x b x X bcov by condition (iv) o Deinition 1.2, rom Deinition 1.5 it can be seen that b ( v i )Σ[t(F )]. Let a (Φ Ψ)[t]. Then or every arrow c a, c Φ[t(hF )] and h c Ψ[t(hF )]. In particular, i c a actors throuh b a, i.e. i h is the composition c b a or some c b, then c Φ[t(()F )] and c Ψ[t(( )F )]. And since F is a contravariant unctor, t(()f ) = (t(f ))(F ). But then c Φ[(t(F ))(F )] and c Ψ[(t(F ))(F )]. Since c b is any arrow with codomain b, rom the deinition o conjunction, b (Φ Ψ)[t(F )]. h 2. A Reduction Theorem or the Kripke-Joyal Semantics It is not clear at irst what should be done to successully turn the domain C o the model A = C, Cov, F, into a Heytin alebra. I the uture state o an object a in C is deined to be the domain o an arrow with codomain a, then it may seem that ideals o objects closed with respect to the uture should enerate an appropriate Heytin alebra. That stratey works successully where C is a preorder IP, so that or p, q IP Ob there is at most a sinle arrow p q. In the case o a, b COb, however, there may be parallel arrows a b. Now, the topoloy enerated by principal ideals made up o objects o C is too coarse. Given a well-ormed ormula Ξ and a valuation t bf o its ree variables or which b Ξ[t] there is no way o distinuishin between a Ξ[t(F )] and a Ξ[t(F )]. This becomes a problem when tryin to deine orcin over the resultin Heytin alebra. To enable these distinctions to be made, it turns out to be more ruitul to take collections o arrows closed under preextension. That is to say, C is deined to be the collection o all the cribles o C. Deinition 2.1. A collection p o arrows o C is a crible i and only i ( p)( CAr)( = p). A crible p is a b-crible i every arrow o p has codomain b. A crible p is an -crible i every arrow o p actors throuh. The maximal -crible is denoted by and is said to be the crible enerated by. These constitute the basis o a topoloy which is ine enouh to keep individual cases o orcin distinct. Deinition 2.2. Let C be a cateory. Then C is the topoloy enerated by the choice o CAr or a basis. Notice in the above deinition that only arbitrary unions are needed, and that the resultin topoloy is the collection o all the cribles o C. We know that every topoloical space is a Heytin alebra closed under arbitrary joins. In this case C is a complete Heytin alebra since it is closed under arbitrary meets as well.
7 6 Imants Barušs and Robert Woodrow The problem arises o deinin a pretopoloy or C. The passae rom C to C determines to a lare extent the deinition o Cov. In particular, or p COb, a cover o p will be a collection o inclusions p i p i I whose domains are themselves cribles. So that the resultant semantics matches the oriinal, only those collections are accepted that have the property, that or any arrow a b p there is a cover a x X a Cov in the oriinal pretopoloy so that or each x X, p i or some i I. More ormally: Deinition 2.3. Given a site C, Cov, let Cov be the assinment COb (CAr)P 2 p p i p i I ( (a b) p) ( ) a x X acov ( x X)( i I)( p i ). Lemma 2.4. Cov is a pretopoloy or C. Proo. Deinition 1.2 needs to be checked: (i) φ pcov since φ acov or any a COb. (ii) Let p COb. Then 1 p pcov since, or a a 1a a acov ives 1 a p. b p, the cover For (iii) assume that D = p i p i I p Cov and that or each p i, D i is a cover D i = p i j p i j J i pi Cov. It must be shown that D = p i j p j J i i I p Cov. Let a b p. Then there is a cover a x X a Cov so that x X there is an i I so that p i. Because D i is a cover o p i, or p i there is a cover y y y Y x Cov so that y Y x there is j J i so that y x p i j. Because Cov is a pretopoloy or C it satisies condition (ii) and so y x y a y Y x a Cov which, by the precedin arument has the property that or each y Y x and x X there is i I and j J i so that y x p i j. But then D is a cover o p. To see that (iv) is satisied, let r p and D = p i p i I p Cov. The pullback o r p with p i p is the lattice meet r p i, i I. It must be shown that D r = r p i i I is a cover o r. Let a b r. Then there is a cover a x X a Cov so that, or each x X there is an i I with the property that p i. But r and so r p i. This is true or every x X. Hence D is a cover o r and property (iv) is satisied. Hence Cov is a pretopoloy or C. Next comes the question o what the riht translation or a shea F is over C, Cov. Here one is uided by tradition. That is to say, one looks or
8 A Reduction Theorem or the Kripke-Joyal Semantics 7 a shea whose imae o p COb is a collection o sections o F and whose arrows are restrictions. By a section s o F is meant a unction p s S that chooses or each (a b) p a erm rom the stalk af over a. That is to say, s af. Now, these sections are used to evaluate variables in wellormed ormulae and in order to obtain a semantics that is compatible with the oriinal, the imae pf is deined to be the collection o all the sections over p that satisy unctoriality. More ormally: Deinition 2.5. Let F be a shea over the site C, Cov, then F is the assinment F COb S p p s p ( ( p)( (c q p (pf qf ) s s q Lemma 2.6. F is a shea over C, Cov. )F ( p)(s ( )F ) )()s = (s)(f ) Proo. Clearly F is a contravariant unctor. To check Deinition 1.4 let D = p i p i I p Cov and S = s i p i F i I be a collection o sections that aree on the intersections o the p i. Then it must be shown that there is a unique section over p whose restriction to each p i is just s i. First, a candidate s is deined. Let a b p. Then choose a cover a x X a Cov and or each x X choose i I with the property that p i. Let s x = ( )s i. Now p i and y p j. Let s x = ( )s i and s y = ( y )s j. By ormin the pullback o with y it can be seen that s x and s y are compatible. For suppose that is the pullback o alon y and y is the pullback o y alon. Then, because the pullback square commutes, and because o the deinin property or s i and s j and the act that they aree on the intersection o p i and p j : s x ( yf ) = ( y x )s i = ( y )sj = s y (F ). This is true or any x X, y X and appropriate i I, j I, and so, because F is a shea over C, Cov there is a unique s af so that s x = s( F ), x X. Let s = s. Now observe that the deinition o s is independent o the choice o end, let a x X a x X a Cov and p i s x F x X ive the value s at and B = with p i. To this a Cov and i x with p ix p Cov and y c y a y Y a Cov and j y with y p jy p Cov and t y a y F y Y ive the value t at, where s x and t y are deined above. Now pull back B alon each or x y x X. This ives a new cover c x y a y Y and x X acov
9 8 Imants Barušs and Robert Woodrow x y where c y is the pullback o y alon or each y Y and x X. Then s((y x )F ) = (y x )s ix or each y Y and x X. By a similar arument t((x y y )F ) = (x y y )s jy, y Y and x X. But then s(( x y )F ) = ( x y )s ix = ( y x y )s jy = t(( y x y )F ) = t(( x y )F ) or all x X and y Y. Because F is a shea, s = t. Now let s be the choice unction over p that ives s = s where s is deined above or p. Does s satisy the conditions o Deinition 2.5? To see that it does, let (a b) p and c a be an arrow with codomain a. Then p. Let s = s and t = ()s where s and t are deined by the construction iven above. It must be shown that t = s(f ). To see that, let A = a x X a Cov and or x X let i x I be such that p ix. Because covers are stable under pullbacks (that is to say, because o property (iv) o a pretopoloy), A can be pulled back alon to ive C = c x x c x X c Cov. Because o the way that t is deined, ()s ix = t(f ) or all x X since = x and x p ix or all x X. But then, because each s i satisies the deinin property, ( x )s ix = s( x )F, x X, where x is the pullback o alon, x X. But s(( x )F ) = s(()f ) = s(f )(F ), x X and so s(f )(F ) = s(( x )F ) = ( x )s ix = ()s ix = t(f ) or all x X. But C is a cover o c and the t(f ) are clearly compatible. Thereore there is only one t cf so that t(f ) = ()s ix, or all x X. Hence t = s q F. Next, to see that s p i = s i, i I, let (a b) p i and choose a 1a a a Cov. Then by deinition s = s i. To see that s is unique, assume that there is a section t on p that obeys the unctoriality condition with the property that t p i = t i, i I. Let (a b) p. It must be shown that s = t. There is a cover a x X a Cov so that x X there is i I with the property that p i. But then ( )s = ( )s i = ( )t, x X and appropriate i I. As shown beore, the ( )s i are compatible. Hence, because F is a shea, there is a unique s af so that s( F ) = s x, x X. And so s = s = t. Finally, it remains to deine a orcin relation over the site C, Cov, with respect to the shea F, so that a Kripke-Joyal model can be obtained that is compatible with the oriinal. There is a natural candidate: Deinition 2.7. Let A = C, Cov, F, be a Kripke-Joyal model or the irstorder lanuae L. Let Ξ be a well-ormed ormula o L. Then or p COb and t a valuation or Ξ at p, consistin o sections o F, deine p Ξ[t] i (a b) p, a Ξ[t ].
10 A Reduction Theorem or the Kripke-Joyal Semantics 9 Given Ξ with m appropriate and p COb, the valuation t is a choice unction mw t t pf that has action v j t j pf or variables v j with j m and w w pf or constants w where w = w ( )F or all p, and where w is the A-valuation o w at. To see that w obeys unctoriality, recall that or c, w = w (F ) interprets w at c. As a result, there is no problem with the treatment o constants o L in the transition rom A to A. Theorem 2.8. Given A = C, Cov, F,, the derived quadruple A = C, Cov, F, is a Kripke-Joyal semantics. Proo. It remains only to show that satisies the properties o the Kripke- Joyal semantics in Deinition 1.5. The proo proceeds by induction on the complexity o a well-ormed ormula Ξ. Let p COb and t (pf ) m where m is appropriate to Ξ. The atomic case is an easy consequence o unctoriality. Let Ξ be the well-ormed ormula ( v i )Σ(v i ) where Σ contains at least the ree variable v i, and assume that the hypothesis holds or Σ. It must be shown that p ( v i )Σ[ t ] i and only i there is a cover p i p i I p Cov and a collection s i p i F i I so that p i [Σ(t pi )(i/s i )], i I. To show this last equivalence, assume irst that p ( v i )Σ[t ]. It is necessary to construct an appropriate cover o p. To do this, irst observe that (a b) p, a ( v i )Σ[t ]. There is a cover a x X a Cov and a collection s x F x X so that Σ((t )( F ))(i/s x )F, x X. But then p, x X. Let the cover o p be the collection x X p. Clearly this belons to p Cov. For each let the section s x associated with it be the section enerated by s x. By that is meant that i c is any arrow then ( )s x = s x (F ). Then s x satisies the deinin property o a erm in the stalk ( )F. But now, since Σ((t )( F ))(i/s x ), by Lemma 1.6 i c is an arrow o C then c Σ[((t)( F )(F ))(i/s x (F ))]. Since (t)( F )(F ) = ( )t or all x X then c Σ[( )t(i/( )s x )]. But then Σ[t (i/s x )]. This is true or every x X and p. Hence there is a cover x x X p p Cov and a collection s x x X p so that Σ[ t (i/s x )] or all x X and p. To show the converse, assume that there is a cover p i p i I p Cov and a collection s i p i F i I so that p i Σ[ t pi (i/s i )], i I. Let (a b) p. Then there is a cover a x X a Cov x X there is an i I with the property that p i. But Σ[( )t(i/( )s i )] or every x X and appropriate i I. Since ( )t = (t)( F ), x X then a ( v i )Σ[t ]. But then p ( v i )Σ[ t].
11 10 Imants Barušs and Robert Woodrow The case or disjunction is similar to that or the existential quantiier. Neation, implication and conjunction are similar to the case or the universal quantiier which is demonstrated below: It must be shown that p ( v i )Σ[ t ] i or every q p and or every s i qf, q Σ[ t q(i/s i )]. Assume that p ( v i )Σ[ t ], q p, s i qf and let (a b) q. Then p and a ( v i )Σ[t]. But then a Σ[(t)(i/s i )]. Hence q Σ[ t q(i/s i )]. Now, to show the converse, assume or every q p and s i qf that q Σ[ t q(i/s i )]. Let (a b) p, let c a be an arrow with codomain a and let s cf. Let s i ()F be the section enerated by s. Since p then Σ[ t q(i/s i )]. But then c Σ[()t(i/s)] and so a ( v i )Σ[t]. Now, with any a COb is associated the maximal crible 1 a, and with any t af can be associated the section t enerated by the erm t. This leads immediately to: Corollary 2.9. Given a Kripke-Joyal model A = C, Cov, F, and derived Kripke-Joyal model A = C, Cov, F, then, or well-ormed ormulae Ξ o the irst-order lanuae L, or any a COb and any valuation t or Ξ at a, a Ξ[t] i and only i 1 a Ξ[ t]. 3. Conclusion This paper bean by considerin a Kripke-Joyal model A = C, Cov, F, deined over an arbitrary cateory C. By takin the collection o cribles on C, a complete Heytin alebra C was obtained. A pretopoloy Cov was deined or C that preserved the essential eatures o Cov. Furthermore, in the transition rom C, Cov, to C, Cov, the pretopoloy Cov has acquired the property that any collection p i p i I with i I p i = p is a cover o p. By takin sections o F that obey unctoriality, a shea F was obtained whose erms are used to interpret the constants and ree variables o well-ormed ormulae o L in a manner that is compatible with the oriinal A-valuation. Finally, a orcin relation was deined over C, Cov in terms o the oriinal relation. It was shown that A = C, Cov, F, is a Kripke-Joyal model and that it orces precisely the same well-ormed ormulae as the oriinal model A. As a result, without loss o enerality, orcin over an arbitrary cateory can always be replaced by orcin over a complete Heytin alebra. On the ace o it, this result seems impossible. How is it that the enerality o a cateory can be replaced by the speciicity o a complete Heytin alebra as a domain o orcin? The answer lies in the construction o the derived cateory. What we see is that, in the derived cateory, each object o the oriinal cateory indexes all uture states o that object, so that any pathway rom the past to the uture in the oriinal cateory can be traced alon any o a number o pathways in the derived cateory. This also reveals that the oriinal cateory is not really embedded in the derived cateory or, more
12 A Reduction Theorem or the Kripke-Joyal Semantics 11 accurately perhaps, that it is embedded in multiple distorted variations. In that sense this is an embeddin theorem whereby a eneral construction is multiply enolded in a construction with more structure. What is the siniicance o this result? This work arose in the course o attemptin to internalize Cohen s orcin in a topos. Given that Cohen s orcin is an instance o a Kripke-Joyal semantics, it remained only to internalize a Kripke-Joyal semantics. The idea was to try to orce alon the lattice o subobjects o 1 o a topos and then to o rom there. That could only be done i the domain o orcin o a Kripke-Joyal semantics had more structure to it than it appeared to have, namely, that the domain o orcin could always be replaced by a complete Heytin alebra. That is how we set about lookin or a proo, which we ound, as detailed in this paper. The remainder o our project was less successul in that we could only internalize a eneralized version o orcin or very restricted lanuaes [8]. There is also a philosophical point that could be o siniicance. Given that a complete Heytin alebra is isomorphic to the lattice o subobjects o 1 o the cateory o sheaves over it, the domain o orcin can always be thouht o as a collection o possible truth values. And not just arbitrary truth values, but truth values that are situated between true and alse. Thus, this theorem not only provides a reduction o the enerality o the domain o orcin o a Kripke-Joyal semantics, but also reduces the enerality o truth values so that they can always be said to lie between true and alse or any semantics that are instances o a Kripke-Joyal semantics. Authors Note This paper is Section 1 o Chapter 2 and all o Chapter 5, with some editorial chanes, rom the irst author s master s thesis in mathematics at the University o Calary, titled An Examination o Cohen s Forcin in a Topos-Theoretic Framework, which he successully deended in The irst author would like to thank his thesis advisor, Verena Huber-Dyson or teachin him loic, cateory theory, and topos theory, and or assumin responsibility or the thesis. He would also like to thank Robert Woodrow, the second author o this paper, who assumed the role o interim thesis advisor while Proessor Dyson was on sabbatical and under whose uidance and with whose ull participation the work reported in this paper was done. The authors thank the University o Calary or inancial support that allowed or this work to be done, and they thank Kin s University Collee or a research rant and Medical Technoloy (W.B.) Inc. or inancial support that was used to prepare this paper or publication. The authors are also rateul to Pat Malone or typin the manuscript.
13 12 Imants Barušs and Robert Woodrow Reerences [1] R. Goldblatt, Topoi the Cateorial Analysis o Loic, Volume 98 o Studies in Loic and the Foundations o Mathematics, North-Holland Publishin Company, Amsterdam, New York, Oxord, [2] A. Kock and G.E. Reyes, Doctrines in Cateorical Loic, paes o the Handbook o Mathematical Loic edited by J. Barwise, rom the series Studies in Loic and the Foundations o Mathematics, North-Holland Publishin Company, Amsterdam, New York, Oxord, [3] R.J. Grayson, Forcin in Intuitionistic Systems Without Power-Set, The Journal o Symbolic Loic, Volume 48, Number 3, paes , [4] A. S cedrov, Forcin and Classiyin Topoi, Number 295 o Memoirs o the American Mathematical Society, American Mathematical Society, Providence, Rhode Island, USA, [5] J. Lambek and P.J. Scott, Introduction to Hiher Order Cateorical Loic, Number 7 in the series Cambride Studies in Advanced Mathematics, Cambride University Press, Cambride, UK, [6] S. Mac Lane and I. Moerdijk, Sheaves in Geometry and Loic: A First Introduction to Topos Theory, Spriner-Verla, New York, [7] V. Huber-Dyson, Gödel s Theorems; a Workbook on Formalization, B.G. Teubner Verlasesellschat, Stuttart, Germany [8] I. Barušs, An Examination o Cohen s Forcin in a Topos-Theoretic Framework, Master s Thesis, Department o Mathematics and Statistics, University o Calary, Calary, Alberta, Canada. Imants Barušs Department o Psycholoy Kin s University Collee at The University o Western Ontario baruss@uwo.ca Robert Woodrow Department o Mathematics and Statistics University o Calary woodrow@ucalary.ca
are 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 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 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 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 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 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 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 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 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 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 informationCategories 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 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 informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
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 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 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 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 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 informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
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 informationThe excess intersection formula for Grothendieck-Witt groups
manuscripta mathematica manuscript No. (will be inserted by the editor) Jean Fasel The excess intersection ormula or Grothendieck-Witt roups Received: date / Revised version: date Abstract. We prove the
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 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 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 informationA skeleton for the proof of the Yoneda Lemma (working draft)
skeleton or te proo o te Yoneda Lemma (workin drat) Eduardo Ocs February 2, 20 bstract ese notes consists o ive parts. e irst part explains ow to draw te internal view o a diaram (or o a unction, unctor,
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 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 informationFunctors for the Piagetian Robotics Paper
Functors or the Piagetian Robotics Paper Joshua Taylor 1 and Selmer Bringsjord 1,2 tayloj@cs.rpi.edu, selmer@rpi.edu Rensselaer AI & Reasoning (RAIR) Lab Department o Cognitive Science 2 Department o Computer
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 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 informationBARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS
BARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS JASHA SOMMER-SIMPSON Abstract Given roupoids G and H as well as an isomorpism Ψ : Sd G = Sd H between subdivisions, we construct an isomorpism P :
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 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 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 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 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 informationSynchronous Machines: a Traced Category
Synchronous Machines: a Traced Cateory Marc anol, Guatto drien To cite this version: Marc anol, Guatto drien. Synchronous Machines: a Traced Cateory. [Research Report] 2012. HL Id: hal-00748010
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 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 informationCentral Limit Theorems and Proofs
Math/Stat 394, Winter 0 F.W. Scholz Central Limit Theorems and Proos The ollowin ives a sel-contained treatment o the central limit theorem (CLT). It is based on Lindeber s (9) method. To state the CLT
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 informationTHE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS
THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS FINNUR LÁRUSSON Abstract. We give a detailed exposition o the homotopy theory o equivalence relations, perhaps the simplest nontrivial example o a model structure.
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
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 informationarxiv: v1 [math.rt] 12 Nov 2017
TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES WUZHONG YANG, PANYUE ZHOU, AND BIN ZHU Dedicated to Proessor Idun Reiten on the occasion o her 75th birthday arxiv:7.0490v [math.rt] Nov 07 Abstract.
More informationThe inner automorphism 3-group of a strict 2-group
The inner automorphism 3-roup o a strict 2-roup Dav Roberts and Urs Schreiber July 25, 2007 Abstract or any roup G, there is a 2-roup o inner automorphisms, INN(G). This plays the role o the universal
More informationSPLITTING OF SHORT EXACT SEQUENCES FOR MODULES. 1. Introduction Let R be a commutative ring. A sequence of R-modules and R-linear maps.
SPLITTING OF SHORT EXACT SEQUENCES FOR MODULES KEITH CONRAD 1. Introduction Let R be a commutative rin. A sequence o R-modules and R-linear maps N M P is called exact at M i im = ker. For example, to say
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
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 informationJoseph Muscat Categories. 1 December 2012
Joseph Muscat 2015 1 Categories joseph.muscat@um.edu.mt 1 December 2012 1 Objects and Morphisms category is a class o objects with morphisms : (a way o comparing/substituting/mapping/processing to ) such
More informationTOPOLOGY FROM THE CATEGORICAL VIEWPOINT
TOOLOGY FROM THE CATEGORICAL VIEWOINT KYLE ORMSBY One o the primary insihts o twentieth century mathematics is that obects should not be studied in isolation. Rather, to understand obects we must also
More informationASSOCIATIVITY DATA IN AN (, 1)-CATEGORY
ASSOCIATIVITY DATA IN AN (, 1)-CATEGORY EMILY RIEHL A popular sloan is tat (, 1)-cateories (also called quasi-cateories or - cateories) sit somewere between cateories and spaces, combinin some o te eatures
More informationINTERSECTION THEORY CLASS 17
INTERSECTION THEORY CLASS 17 RAVI VAKIL CONTENTS 1. Were we are 1 1.1. Reined Gysin omomorpisms i! 2 1.2. Excess intersection ormula 4 2. Local complete intersection morpisms 6 Were we re oin, by popular
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 informationLIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset
5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,
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 informationFrom Loop Groups To 2-Groups
From Loop Groups To 2-Groups John C. Baez Joint work with: Aaron Lauda Alissa Crans Danny Stevenson & Urs Schreiber 1 G f 1 f D 2 More details at: http://math.ucr.edu/home/baez/2roup/ 1 Hiher Gaue Theory
More informationTHE AXIOMS FOR TRIANGULATED CATEGORIES
THE AIOMS FOR TRIANGULATED CATEGORIES J. P. MA Contents 1. Trianulated cateories 1 2. Weak pusouts and weak pullbacks 4 3. How to prove Verdier s axiom 6 Reerences 9 Tis is an edited extract rom my paper
More informationCategory theory and set theory: algebraic set theory as an example of their interaction
Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory
More informationFunctions. Introduction
Functions,00 P,000 00 0 y 970 97 980 98 990 99 000 00 00 Fiure Standard and Poor s Inde with dividends reinvested (credit "bull": modiication o work by Prayitno Hadinata; credit "raph": modiication o work
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 informationCategory Theory. Course by Dr. Arthur Hughes, Typset by Cathal Ormond
Category Theory Course by Dr. Arthur Hughes, 2010 Typset by Cathal Ormond Contents 1 Types, Composition and Identities 3 1.1 Programs..................................... 3 1.2 Functional Laws.................................
More informationSheafification Johan M. Commelin, October 15, 2013
heaiication Johan M. Commelin, October 15, 2013 Introduction Let C be a categor, equipped with a Grothendieck topolog J. Let 2 Ph(C) be a preshea. The purpose o these notes is to assign to a morphism to
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 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 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 information2 Olo J. Staans where R is a iven positive semidenite matrix. At the end o this introduction we shall return to this second possibility, and show that
QUADRATIC OPTIMAL CONTROL THROUGH COPRIME AND SPECTRAL FACTORIZATIONS OLOF J. STAFFANS ABO AKADEMI UNIVERSITY DEPARTMENT OF MATHEMATICS FIN-25 ABO, FINLAND OLOF.STAFFANS@ABO.FI Abstract. We consider the
More informationGENERAL ABSTRACT NONSENSE
GENERAL ABSTRACT NONSENSE MARCELLO DELGADO Abstract. In this paper, we seek to understand limits, a uniying notion that brings together the ideas o pullbacks, products, and equalizers. To do this, we will
More information9. v > 7.3 mi/h x < 2.5 or x > x between 1350 and 5650 hot dogs
.5 Etra Practice. no solution. (, 0) and ( 9, ). (, ) and (, ). (, 0) and (, 0) 5. no solution. ( + 5 5 + 5, ) and ( 5 5 5, ) 7. (0, ) and (, 0). (, ) and (, 0) 9. (, 0) 0. no solution. (, 5). a. Sample
More informationAn Introduction to Topos Theory
An Introduction to Topos Theory Ryszard Paweł Kostecki Institute o Theoretical Physics, University o Warsaw, Hoża 69, 00-681 Warszawa, Poland email: ryszard.kostecki % uw.edu.pl June 26, 2011 Abstract
More informationUniversity of Cape Town
The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial
More informationProof nets for additive linear logic with units
Proo nets or additive linear loic with units Willem Heijltjes LFCS, School o Inormatics, University o Edinburh bstract dditive linear loic, the rament o linear loic concernin linear implication between
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationLogic Design 2013/9/26. Introduction. Chapter 4: Optimized Implementation of Logic Functions. K-map
2/9/26 Loic Desin Chapter 4: Optimized Implementation o Loic Functions Introduction The combinin property allows us to replace two minterms that dier in only one variable with a sinle product term that
More informationSlowly Changing Function Oriented Growth Analysis of Differential Monomials and Differential Polynomials
Slowly Chanin Function Oriented Growth Analysis o Dierential Monomials Dierential Polynomials SANJIB KUMAR DATTA Department o Mathematics University o kalyani Kalyani Dist-NadiaPIN- 7235 West Benal India
More informationMADE-TO-ORDER WEAK FACTORIZATION SYSTEMS
MADE-TO-ORDER WEAK FACTORIZATION SYSTEMS EMILY RIEHL The aim o this note is to briely summarize techniques or building weak actorization systems whose right class is characterized by a particular liting
More informationUnbounded quantifiers via 2-categorical logic
via Unbounded via A. University of Chicago March 18, 2010 via Why? For the same reasons we study 1-categorical. 1 It tells us things about 2-categories. Proofs about fibrations and stacks are simplified
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 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 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 informationOlivia Caramello. University of Insubria - Como. Deductive systems and. Grothendieck topologies. Olivia Caramello. Introduction.
duality University of Insubria - Como 2 / 27 duality Aim of the talk purpose of this talk is to illustrate the relevance of the notion of topology. I will show that the classical proof system of geometric
More informationSpan, Cospan, and Other Double Categories
ariv:1201.3789v1 [math.ct] 18 Jan 2012 Span, Cospan, and Other Double Categories Susan Nieield July 19, 2018 Abstract Given a double category D such that D 0 has pushouts, we characterize oplax/lax adjunctions
More informationA generalization of modal definability
A generalization of modal definability Tin Perkov Polytechnic of Zagreb Abstract. Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models
More informationThe basics of frame theory
First version released on 30 June 2006 This version released on 30 June 2006 The basics o rame theory Harold Simmons The University o Manchester hsimmons@ manchester.ac.uk This is the irst part o a series
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 informationAdic spaces. Sophie Morel. March 5, 2019
Adic spaces Sophie Morel March 5, 2019 Conventions : - Every rin is commutative. - N is the set of nonneative inteers. 2 Contents I The valuation spectrum 5 I.1 Valuations......................................
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 informationSyntactic Characterisations in Model Theory
Department of Mathematics Bachelor Thesis (7.5 ECTS) Syntactic Characterisations in Model Theory Author: Dionijs van Tuijl Supervisor: Dr. Jaap van Oosten June 15, 2016 Contents 1 Introduction 2 2 Preliminaries
More informationMODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES
MODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES S. B. BRADLOW, O. GARCÍA-PRADA, V. MERCAT, V. MUÑOZ, AND P. E. NEWSTEAD Abstract. Let C be an alebraic curve of enus 2. A coherent system
More informationON THE UNIVERSALITY OF SOME SMARANDACHE LOOPS OF BOL-MOUFANG TYPE
arxiv:math/0607739v2 [math.gm] 8 Sep 2007 ON THE UNIVERSALITY OF SOME SMARANDACHE LOOPS OF BOL-MOUFANG TYPE Tèmítópé Gbóláhàn Jaíyéọlá Department o Mathematics, Obaemi Awolowo University, Ile Ie, Nieria.
More informationDUALITY AND SMALL FUNCTORS
DUALITY AND SMALL FUNCTORS GEORG BIEDERMANN AND BORIS CHORNY Abstract. The homotopy theory o small unctors is a useul tool or studying various questions in homotopy theory. In this paper, we develop the
More informationKRIPKE S THEORY OF TRUTH 1. INTRODUCTION
KRIPKE S THEORY OF TRUTH RICHARD G HECK, JR 1. INTRODUCTION The purpose of this note is to give a simple, easily accessible proof of the existence of the minimal fixed point, and of various maximal fixed
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationA Type-Theoretical Definition of Weak ω-categories
Tpe-Theoretical Deinition o Weak ω-cateories Eric Finster Samuel Mimram École Poltechnique 91192 Palaiseau France arxiv:1706.02866v1 [cs.lo] 9 Jun 2017 bstract We introduce a dependent tpe theor whose
More informationOn Almost Simple Transcendental Field Extensions
International Journal of Alebra, Vol. 9, 2015, no. 2, 53-58 HIKARI Ltd, www.m-hikari.com http://dx.doi.or/10.12988/ija.2015.412123 On Almost Simple Transcendental Field Extensions Antonio González Fernández,
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 informationPower-Set Functors and Saturated Trees
Power-Set Functors and Saturated Trees Jiří Adámek 1, Stean Milius 1, Lawrence S. Moss 2, and Lurdes Sousa 3 1 Institut ür Theoretische Inormatik, Technische Universität Braunschweig Germany 2 Department
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationNotes on Serre fibrations
Notes on Serre ibrations Stehen A. Mitchell Auust 2001 1 Introduction Many roblems in tooloy can be ormulated abstractly as extension roblems A i h X or litin roblems X h Here the solid arrows reresent
More information