a representation theorem for integral rigs and its
play

A representation theorem for integral rigs and its applications to - PowerPoint PPT Presentation

Nov 14, 2023 •326 likes •1.3k views

A representation theorem for integral rigs and its applications to residuated lattices J.L. Castiglioni M. Menni W. J. Zuluaga Botero Universidad Nacional de La Plata CONICET SYSMICS Barcelona, September 2016 SYSMICS Barcelona, September

  1. A representation theorem for integral rigs and its applications to residuated lattices J.L. Castiglioni M. Menni W. J. Zuluaga Botero Universidad Nacional de La Plata CONICET SYSMICS Barcelona, September 2016 SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  2. Rigs and really local rigs Definition A rig is a structure ( A , · , 1 , + , 0 ) such that ( A , · , 1 ) and ( A , + , 0 ) are commutative monoids and distributivity holds in the sense that a · 0 = 0 and ( a + b ) · c = a · c + b · c for all a , b , c ∈ A . SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  3. � � Rigs and really local rigs Definition A rig is a structure ( A , · , 1 , + , 0 ) such that ( A , · , 1 ) and ( A , + , 0 ) are commutative monoids and distributivity holds in the sense that a · 0 = 0 and ( a + b ) · c = a · c + b · c for all a , b , c ∈ A . Let E be a category with finite limits. For any rig A in E we define the subobject Inv ( A ) → A × A by declaring that the diagram below ! � 1 Inv ( A ) 1 � A A × A · is a pullback. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  4. � � Rigs and really local rigs Definition A rig is a structure ( A , · , 1 , + , 0 ) such that ( A , · , 1 ) and ( A , + , 0 ) are commutative monoids and distributivity holds in the sense that a · 0 = 0 and ( a + b ) · c = a · c + b · c for all a , b , c ∈ A . Let E be a category with finite limits. For any rig A in E we define the subobject Inv ( A ) → A × A by declaring that the diagram below ! � 1 Inv ( A ) 1 � A A × A · is a pullback. The two projections Inv ( A ) → A are mono in E and induce the same subobject of A . SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  5. � � Rigs and really local rigs Definition A rig morphism f : A → B between rigs in E is local if the following diagram � Inv B Inv A � B A f is a pullback. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  6. � � � � Rigs and really local rigs Definition A rig morphism f : A → B between rigs in E is local if the following diagram � Inv B Inv A � B A f is a pullback. If E is a topos with subobject classifier ⊤ : 1 → Ω then there exists a unique map ι : A → Ω such that the square below ! � 1 Inv ( A ) ⊤ � Ω A ι is a pullback. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  7. Rigs and really local rigs Definition (Lawvere, [1]) The rig A in E is really local if ι : A → Ω is local. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  8. Rigs and really local rigs Definition (Lawvere, [1]) The rig A in E is really local if ι : A → Ω is local. An application of the internal logic of toposes shows the following: SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  9. Rigs and really local rigs Definition (Lawvere, [1]) The rig A in E is really local if ι : A → Ω is local. An application of the internal logic of toposes shows the following: Lemma The rig A is really local if and only if the following sequents hold 0 ∈ Inv ( A ) ⊢ ⊥ ( x + y ) ∈ Inv ( A ) ⊢ x , y x ∈ Inv ( A ) ∨ y ∈ Inv ( A ) x ∈ Inv ( A ) ∨ y ∈ Inv ( A ) ⊢ x , y ( x + y ) ∈ Inv ( A ) in the internal logic of E . SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  10. Integral rigs and really local integral rigs Definition A rig is called integral if the equation 1 + x = 1 holds. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  11. Integral rigs and really local integral rigs Definition A rig is called integral if the equation 1 + x = 1 holds. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  12. Integral rigs and really local integral rigs Definition A rig is called integral if the equation 1 + x = 1 holds. In every integral rig A the relation a ≤ b if and only if a + b = b , determines a partial order. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  13. Integral rigs and really local integral rigs Definition A rig is called integral if the equation 1 + x = 1 holds. In every integral rig A the relation a ≤ b if and only if a + b = b , determines a partial order. Moreover, respect to this order ( A , + , 0 ) becomes a join-semilattice. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  14. Integral rigs and really local integral rigs Definition A rig is called integral if the equation 1 + x = 1 holds. In every integral rig A the relation a ≤ b if and only if a + b = b , determines a partial order. Moreover, respect to this order ( A , + , 0 ) becomes a join-semilattice. Lemma If A is integral then the canonical 1 → Inv ( A ) is an iso. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  15. Integral rigs and really local integral rigs Definition A rig is called integral if the equation 1 + x = 1 holds. In every integral rig A the relation a ≤ b if and only if a + b = b , determines a partial order. Moreover, respect to this order ( A , + , 0 ) becomes a join-semilattice. Lemma If A is integral then the canonical 1 → Inv ( A ) is an iso. Lemma (Really local integral rigs) An integral rig is really local if and only if the following sequents hold 0 = 1 ⊢ ⊥ x + y = 1 ⊢ x , y x = 1 ∨ y = 1 in the internal logic of E . SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  16. Integral rigs in Shv ( D ) Let D a bounded distributive lattice and Shv ( D ) the category of sheaves over D with the coherent topology. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  17. Integral rigs in Shv ( D ) Let D a bounded distributive lattice and Shv ( D ) the category of sheaves over D with the coherent topology. In Shv ( D ) , an integral rig is a functor SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  18. Integral rigs in Shv ( D ) Let D a bounded distributive lattice and Shv ( D ) the category of sheaves over D with the coherent topology. In Shv ( D ) , an integral rig is a functor F : D op − → iRig SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  19. Integral rigs in Shv ( D ) Let D a bounded distributive lattice and Shv ( D ) the category of sheaves over D with the coherent topology. In Shv ( D ) , an integral rig is a functor F : D op − → iRig such that the composition with the forgetful functor iRig − → Set SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

  20. Integral rigs in Shv ( D ) Let D a bounded distributive lattice and Shv ( D ) the category of sheaves over D with the coherent topology. In Shv ( D ) , an integral rig is a functor F : D op − → iRig such that the composition with the forgetful functor iRig − → Set is a sheaf respect to the coherent topology. SYSMICS Barcelona, September 2016 J.L. Castiglioni, M. Menni, W. J. Zuluaga Botero (UNLP) A representation theorem for integral rigs and its applications to residuated lattices / 24

Recommend

Binomial Representation Theorem Recall the discrete stochastic integral : if { X n } n 0 is

Binomial Representation Theorem Recall the discrete stochastic integral : if { X n } n 0 is

Binomial Representation Theorem Recall the discrete stochastic integral : if { X n } n 0 is a ( P , {F n } n 0 )- martingale and { n } n 1 is {F n } n 0 -previsible, then n 1 Z n = Z 0 + j +1 X j +1 X

790 views • 12 slides
Previously: Cauchys Integral Formula and Consequences Theorem (Cauchys integral formula) Let

Previously: Cauchys Integral Formula and Consequences Theorem (Cauchys integral formula) Let

Previously: Cauchys Integral Formula and Consequences Theorem (Cauchys integral formula) Let be a simple contour described in the positive direction. Let w lie inside . Suppose that f is analytic on a simply connected region D

436 views • 5 slides
22. Greens Theorem Theorem 22.1 (Greens Theorem) . If C is a positively oriented closed curve

22. Greens Theorem Theorem 22.1 (Greens Theorem) . If C is a positively oriented closed curve

22. Greens Theorem Theorem 22.1 (Greens Theorem) . If C is a positively oriented closed curve enclosing a region R then curl F d r = F d A. C R The circle in the centre of the integral sign is simply to emphasize

355 views • 4 slides
4. Theory of the Integral 4.1 Antidifferentiation 4.2 The Definite Integral 4.3 Riemann Sums

4. Theory of the Integral 4.1 Antidifferentiation 4.2 The Definite Integral 4.3 Riemann Sums

4. Theory of the Integral 4.1 Antidifferentiation 4.2 The Definite Integral 4.3 Riemann Sums 4.4 The Fundamental Theorem of Calculus 4.5 Fundamental Integration Rules 4.6 U-Substitutions 4.1 Antidifferentiation We will begin our study

909 views • 62 slides
Mathematical Foundations for Finance Exercise 12 Martin Stefanik ETH Zurich It Representation

Mathematical Foundations for Finance Exercise 12 Martin Stefanik ETH Zurich It Representation

Mathematical Foundations for Finance Exercise 12 Martin Stefanik ETH Zurich It Representation Theorem Theorem 1 (It representation theorem) time. P-a.s. 0 1 / 6 Let F W = ( F W t ) 0 t denote the filtration generated by a

447 views • 8 slides
Poisson Integral Representation Formulas for weakly elliptic systems in domains with

Poisson Integral Representation Formulas for weakly elliptic systems in domains with

Poisson Integral Representation Formulas for weakly elliptic systems in domains with Ahlfors-David regular boundaries Dorina Mitrea University of Missouri, USA joint work with Irina Mitrea and Marius Mitrea ICMAT, Madrid, Spain May 28, 2018

1.18k views • 98 slides
A theorem in representation theory for DG algebras, with an application to a question of

A theorem in representation theory for DG algebras, with an application to a question of

A theorem in representation theory for DG algebras, with an application to a question of Vasconcelos Saeed Nasseh Sean Sather-Wagstaff Department of Mathematics North Dakota State University 16 October 2011 2011 Fall Central Section Meeting

405 views • 8 slides
March 12, 2014 The Center of the Activity 90% of the current rigs drilling are within a

March 12, 2014 The Center of the Activity 90% of the current rigs drilling are within a

Legislative Budget Section March 12, 2014 The Center of the Activity 90% of the current rigs drilling are within a 75-mile radius of Williston Total Rigs: 189 March 3, 2014 2 City Growth Map 2010- City Limits *4,781 Acres 3 City

638 views • 53 slides
Convex Hull Representation Conversion: cddlib and lrslib Niklas Pfister ETH Contents 1

Convex Hull Representation Conversion: cddlib and lrslib Niklas Pfister ETH Contents 1

Convex Hull Representation Conversion: cddlib and lrslib Niklas Pfister ETH Contents 1 Introduction Polytopes Minkowski-Weyl Theorem V- and H-Representation 2 Theoretical Algorithms Representation Conversion Problem Incremental Algorithm

579 views • 24 slides
Rig here is homebrew The Joys and Sorrows of Building your own Rigs. And some tips for the

Rig here is homebrew The Joys and Sorrows of Building your own Rigs. And some tips for the

Rig here is homebrew The Joys and Sorrows of Building your own Rigs. And some tips for the daring. Electrically Inclined Grandmas light timer Clearly, I had THE KNACK. Jean Shepherd WOR, W9QWN, K2ORS Teenage Homebrew

770 views • 30 slides
The Definite Integral The definite integral generalizes the concept of area. The Definite Integral

The Definite Integral The definite integral generalizes the concept of area. The Definite Integral

The Definite Integral The definite integral generalizes the concept of area. The Definite Integral The definite integral generalizes the concept of area. Lets begin with the physical intuition of this idea. The Definite Integral The definite

583 views • 40 slides
Stone Representation Theorem for Boolean Algebras in the Topos of (Pre)Sheaves on a Monoid S.

Stone Representation Theorem for Boolean Algebras in the Topos of (Pre)Sheaves on a Monoid S.

Stone Representation Theorem for Boolean Algebras in the Topos of (Pre)Sheaves on a Monoid S. Sepahani M. Mahmoudi Department of Mathematics Shahid Beheshti University Tehran CT, 13 July 2018 S. Sepahani, M. Mahmoudi (Shahid Beheshti

285 views • 26 slides
MA102: Multivariable Calculus Rupam Barman and Shreemayee Bora Department of Mathematics IIT

MA102: Multivariable Calculus Rupam Barman and Shreemayee Bora Department of Mathematics IIT

Line integral and Greens Theorem Path independence of line integral MA102: Multivariable Calculus Rupam Barman and Shreemayee Bora Department of Mathematics IIT Guwahati R. Barman & S. Bora MA-102 (2017) Line integral and Greens

1.02k views • 76 slides
31. Stokes Theorem Stokes theorem is to Greens theorem, for the work done, as the

31. Stokes Theorem Stokes theorem is to Greens theorem, for the work done, as the

31. Stokes Theorem Stokes theorem is to Greens theorem, for the work done, as the divergence theorem is to Greens theorem, for the flux. Both are 3D generalisations of 2D theorems. Theorem 31.1 (Stokes Theorem) . Let C be any closed

406 views • 3 slides
29. The divergence theorem Theorem 29.1 (Divergence Theorem; Gauss, Ostrogradsky) . Let S be a

29. The divergence theorem Theorem 29.1 (Divergence Theorem; Gauss, Ostrogradsky) . Let S be a

29. The divergence theorem Theorem 29.1 (Divergence Theorem; Gauss, Ostrogradsky) . Let S be a closed surface bounding a solid D , oriented outwards. Let F be a vector field with continuous partial derivatives. Then F d

471 views • 3 slides
The presentation of the structure for business support INTEGRAL INVEST SRL Integral Invest S.R.L.,

The presentation of the structure for business support INTEGRAL INVEST SRL Integral Invest S.R.L.,

The presentation of the structure for business support INTEGRAL INVEST SRL Integral Invest S.R.L., through the financing contract no. 2663/23.12.2011 signed between The Ministry of Regional Development and Tourism as Management Authority and The

382 views • 3 slides
Kleenes Theorem 4-0 Kleenes Theorem Theorem For every language L (over

Kleenes Theorem 4-0 Kleenes Theorem Theorem For every language L (over

Griffith University 3130CIT Theory of Computation (Based on slides by Harald Sndergaard of The University of Melbourne) Kleenes Theorem 4-0 Kleenes Theorem Theorem For every language L (over a finite

422 views • 17 slides
PRESENTATION GRANBERING INTEGRAL R-290 Marketing 03/2019 GRANBERING INTEGRAL R-290 Marketing

PRESENTATION GRANBERING INTEGRAL R-290 Marketing 03/2019 GRANBERING INTEGRAL R-290 Marketing

PRESENTATION GRANBERING INTEGRAL R-290 Marketing 03/2019 GRANBERING INTEGRAL R-290 Marketing 03/2019 All benefits of a remote vertical freezer in a plug and play solution This information is confidential and was prepared by Epta solely for

428 views • 15 slides
Ambrose-Kakutani representation theorems for Borel semiflows David McClendon Northwestern

Ambrose-Kakutani representation theorems for Borel semiflows David McClendon Northwestern

Ambrose-Kakutani representation theorems for Borel semiflows David McClendon Northwestern University dmm@math.northwestern.edu http://www.math.northwestern.edu/ dmm Ambrose-Kakutani Theorem Theorem (Amb 1940, Amb-Kak 1942) Any aperiodic

484 views • 22 slides
EI331 Signals and Systems Lecture 23 Bo Jiang John Hopcroft Center for Computer Science

EI331 Signals and Systems Lecture 23 Bo Jiang John Hopcroft Center for Computer Science

EI331 Signals and Systems Lecture 23 Bo Jiang John Hopcroft Center for Computer Science Shanghai Jiao Tong University May 16, 2019 Contents 1. Complex Integration 2. Cauchys Integral Theorem 3. Cauchys Integral Formula 1/22

392 views • 23 slides
Curl: an important differential operator on vector fields. 1 2 3 4 5 6 7 8 9 10 11 12

Curl: an important differential operator on vector fields. 1 2 3 4 5 6 7 8 9 10 11 12

Curl: an important differential operator on vector fields. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 Green's Theorem in vector form 18 * Green's Theorem relates the integral of the tangential part of the field along C to the

577 views • 41 slides
PCP Theorem [PCP Theorem is] the most important result in complexity theory since Cooks

PCP Theorem [PCP Theorem is] the most important result in complexity theory since Cooks

PCP Theorem [PCP Theorem is] the most important result in complexity theory since Cooks Theorem. Ingo Wegener, 2005 Computational Complexity, by Fu Yuxi PCP Theorem 1 / 119 S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy. Proof

1.53k views • 120 slides
Geometric Representation in the Theories of Pseudo-finite Fields Ozlem Beyarslan ci Bo

Geometric Representation in the Theories of Pseudo-finite Fields Ozlem Beyarslan ci Bo

Introduction Geometric Representation Valued Fields Main Theorem/Proof/Consequences Geometric Representation in the Theories of Pseudo-finite Fields Ozlem Beyarslan ci Bo gaz University July 3, 2017 Ozlem Beyarslan

534 views • 16 slides
Lightning and Amateur Radio Thoughts on keeping you and your rigs safe! Useful Facts About

Lightning and Amateur Radio Thoughts on keeping you and your rigs safe! Useful Facts About

Lightning and Amateur Radio Thoughts on keeping you and your rigs safe! Useful Facts About Lightning Lightning is extremely hot air around a strike is 5xs hotter than the surface of the Sun. On average 2,000 people are killed

276 views • 14 slides

More recommend