free algebras via a functor
play

Free algebras via a functor Sam van Gool on partial algebras Free - PowerPoint PPT Presentation

Jun 24, 2023 •119 likes •779 views

Free algs via functor on partial algs Dion Coumans and Free algebras via a functor Sam van Gool on partial algebras Free algebra step-by-step Free image-total functor Dion Coumans and Sam van Gool Application to KB Topology,

  1. Free alg’s via functor on partial alg’s Dion Coumans and Free algebras via a functor Sam van Gool on partial algebras Free algebra step-by-step Free image-total functor Dion Coumans and Sam van Gool Application to KB Topology, Algebra and Categories in Logic (TACL) 26 – 30 July 2011 Marseilles, France 1 / 16

  2. Free alg’s via functor on Logic via algebra partial alg’s Dion Coumans and Sam van Gool • Algebraic logic L , signature σ , variety V L of σ -algebras Free algebra step-by-step Free image-total functor Application to KB 2 / 16

  3. Free alg’s via functor on Logic via algebra partial alg’s Dion Coumans and Sam van Gool • Algebraic logic L , signature σ , variety V L of σ -algebras Free algebra • Studying the logic L � Studying finitely generated free step-by-step V L -algebras Free image-total functor Application to KB 2 / 16

  4. Free alg’s via functor on Logic via algebra partial alg’s Dion Coumans and Sam van Gool • Algebraic logic L , signature σ , variety V L of σ -algebras Free algebra • Studying the logic L � Studying finitely generated free step-by-step V L -algebras Free image-total functor Application to KB F σ ( x 1 , . . . , x m ) Language 2 / 16

  5. Free alg’s via functor on Logic via algebra partial alg’s Dion Coumans and Sam van Gool • Algebraic logic L , signature σ , variety V L of σ -algebras Free algebra • Studying the logic L � Studying finitely generated free step-by-step V L -algebras Free image-total functor Application to KB F σ ( x 1 , . . . , x m ) Language [ · ] ⊣⊢ L F V L ( x 1 , . . . , x m ) Logic 2 / 16

  6. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool Free algebra step-by-step • In many cases, a variety ( V L ) − of reducts is Free image-total well-understood and locally finite, e.g.: functor Application to KB 3 / 16

  7. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool Free algebra step-by-step • In many cases, a variety ( V L ) − of reducts is Free image-total well-understood and locally finite, e.g.: functor Application to • Modal algebras = Boolean algebras + � , KB 3 / 16

  8. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool Free algebra step-by-step • In many cases, a variety ( V L ) − of reducts is Free image-total well-understood and locally finite, e.g.: functor Application to • Modal algebras = Boolean algebras + � , KB • Heyting algebras = Distributive lattices + → , 3 / 16

  9. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool Free algebra step-by-step • In many cases, a variety ( V L ) − of reducts is Free image-total well-understood and locally finite, e.g.: functor Application to • Modal algebras = Boolean algebras + � , KB • Heyting algebras = Distributive lattices + → , • . . . 3 / 16

  10. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool Free algebra step-by-step • In many cases, a variety ( V L ) − of reducts is Free image-total well-understood and locally finite, e.g.: functor Application to • Modal algebras = Boolean algebras + � , KB • Heyting algebras = Distributive lattices + → , • . . . • Regard F V L ( x 1 , . . . , x n ) as colimit of a chain of finite algebras in the reduced signature, and add the additional operation(s) step-by-step: 3 / 16

  11. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB Logic 4 / 16

  12. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool T 0 Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f 4 / 16

  13. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool T 0 Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB B 0 Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  14. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool T 0 T 1 Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB B 0 Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  15. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool T 0 T 1 Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB B 0 B 1 Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  16. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool · · · T 0 T 1 Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB · · · B 0 B 1 Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  17. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool · · · T 0 T 1 T n Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB · · · B 0 B 1 B n Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  18. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool · · · · · · T 0 T 1 T n Language Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB · · · · · · B 0 B 1 B n Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  19. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool · · · · · · T 0 T 1 T n Language f Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB · · · · · · B 0 B 1 B n Logic • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  20. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool · · · · · · T 0 T 1 T n Language f Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB · · · · · · B 0 B 1 B n Logic f • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  21. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool · · · · · · T 0 T 1 T n Language f f f Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB · · · · · · B 0 B 1 B n Logic f f f • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n 4 / 16

  22. Free alg’s via functor on Free algebra as colimit of a chain partial alg’s Dion Coumans and Sam van Gool · · · · · · T 0 T 1 T n Language f f f Free algebra step-by-step Free image-total [ · ] ⊣⊢ L functor Application to KB · · · · · · B 0 B 1 B n Logic f f f • T n : formulas in variables x 1 , . . . , x m of rank ≤ n in operation f • B n : L -equivalence classes of formulas in T n F V L ( x 1 , . . . , x m ) = colim n ≥ 0 B n 4 / 16

  23. Free alg’s via functor on Research Question partial alg’s Dion Coumans and Sam van Gool Free algebra · · · · · · B 0 B 1 B n step-by-step Free image-total functor Application to Can B n + 1 be obtained from B n by a uniform method? KB 5 / 16

  24. Free alg’s via functor on Research Question partial alg’s Dion Coumans and Sam van Gool Free algebra · · · · · · B 0 B 1 B n step-by-step Free image-total functor Application to Can B n + 1 be obtained from B n by a uniform method? KB • Yes, if the variety is defined by pure rank 1 equations [N. Bezhanishvili, Kurz] 5 / 16

  25. Free alg’s via functor on Research Question partial alg’s Dion Coumans and Sam van Gool Free algebra · · · · · · B 0 B 1 B n step-by-step Free image-total functor Application to Can B n + 1 be obtained from B n by a uniform method? KB • Yes, if the variety is defined by pure rank 1 equations [N. Bezhanishvili, Kurz] • Yes, in some particular cases outside this class: S4 modal algebras [Ghilardi], Heyting algebras [Ghilardi, N. Bezhanishvili & Gehrke]. 5 / 16

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

KnizhnikZamolodchikov functor for degenerate double affine Hecke algebras Wille Liu

KnizhnikZamolodchikov functor for degenerate double affine Hecke algebras Wille Liu

RDAHAs dDAHAs Algebraic KZ KnizhnikZamolodchikov functor for degenerate double affine Hecke algebras Wille Liu Universit de Paris 30 June 2020 RDAHAs dDAHAs Algebraic KZ Plan 1 RDAHAs KZ equations RDAHAs KZ functor 2 dDAHAs AKZ

1.75k views • 157 slides
Happels functor and homologically well-graded Iwanaga-Gorenstein algebras H. Minamoto and K.

Happels functor and homologically well-graded Iwanaga-Gorenstein algebras H. Minamoto and K.

Happels functor and homologically well-graded Iwanaga-Gorenstein algebras H. Minamoto and K. Yamaura Kota Yamaura University of Yamanashi Japan 1 For simplicity, K : field D = Hom K ( , K ) algebra = finite dimensional K

582 views • 41 slides
Free Rota-Baxter family algebras and free (tri)dendriform family algebras Yuanyuan Zhang joint

Free Rota-Baxter family algebras and free (tri)dendriform family algebras Yuanyuan Zhang joint

Free Rota-Baxter family algebras and free (tri)dendriform family algebras Yuanyuan Zhang joint work with Xing Gao and Dominique Manchon Lanzhou University & Universit Clermont-Auvergne April 8, 2020 Outline Free Rota-Baxter family

1.23k views • 55 slides
KK -equivalence of amalgamated free products of C -algebras . Kei Hasegawa Kyushu Univ.

KK -equivalence of amalgamated free products of C -algebras . Kei Hasegawa Kyushu Univ.

. KK -equivalence of amalgamated free products of C -algebras . Kei Hasegawa Kyushu Univ. July 27, 2016 Young Mathematicians in C -Algebras, University of M unster 1 / 11 . . . . . . . Theorem (Cuntz (1982)) . K 1 (C (

688 views • 15 slides
Topological spaces of monadic MV-algebras R. Grigolia (Tbilisi), A. Di Nola and G. Lenzi (Salerno)

Topological spaces of monadic MV-algebras R. Grigolia (Tbilisi), A. Di Nola and G. Lenzi (Salerno)

Topological spaces of monadic MV-algebras R. Grigolia (Tbilisi), A. Di Nola and G. Lenzi (Salerno) TACL 2017 Prague, 26-30 June 2017 Topological spaces of monadic MV-algebras G. Lenzi Summary We generalize Belluce functor from MV-algebras

1.24k views • 122 slides
Rees algebras of square-free monomial ideals Louiza Fouli New Mexico State University

Rees algebras of square-free monomial ideals Louiza Fouli New Mexico State University

Rees algebras of square-free monomial ideals Louiza Fouli New Mexico State University University of Nebraska AMS Central Section Meeting October 15, 2011 Rees algebras This is joint work with Kuei-Nuan Lin. Rees algebras This is joint work

993 views • 85 slides
Applicative Functors Prof. Tom Austin San Jos State University Review : what is a functor? A

Applicative Functors Prof. Tom Austin San Jos State University Review : what is a functor? A

CS 252: Advanced Programming Language Principles Applicative Functors Prof. Tom Austin San Jos State University Review : what is a functor? A functor is something that can be mapped over. Functor lab review Examples of functors? Lists

849 views • 21 slides
A preorder-free construction of the Kazhdan-Lusztig representations of Hecke algebras H n ( q ) of

A preorder-free construction of the Kazhdan-Lusztig representations of Hecke algebras H n ( q ) of

A preorder-free construction of the Kazhdan-Lusztig representations of Hecke algebras H n ( q ) of symmetric groups Charles Buehrle and Mark Skandera Department of Mathematics Lehigh University August 2010 The Hecke algebra, H n ( q ) 1 1 2

437 views • 15 slides
Results on potential algebras: contraction algebras and Sklyanin algebras N.K.Iyudu Malta, March

Results on potential algebras: contraction algebras and Sklyanin algebras N.K.Iyudu Malta, March

Results on potential algebras: contraction algebras and Sklyanin algebras N.K.Iyudu Malta, March 2018 1 We consider finiteness conditions and ques- tions of growth of noncommutative algebras, known as A con s. They appear in M.Wemyss work on

214 views • 17 slides
On Reiterman Conversion Jan Pavl k Faculty of Mechanical Engineering, Brno University of

On Reiterman Conversion Jan Pavl k Faculty of Mechanical Engineering, Brno University of

Functor algebras and derived categories Algebraic categories Reiterman conversion Overview of algebras over a general category R On Reiterman Conversion Jan Pavl k Faculty of Mechanical Engineering, Brno University of Technology, Brno,

1.19k views • 64 slides
Free Multiplicative Brownian Motion, and Brown Measure Extended Probabilistic Operator Algebras

Free Multiplicative Brownian Motion, and Brown Measure Extended Probabilistic Operator Algebras

Free Multiplicative Brownian Motion, and Brown Measure Extended Probabilistic Operator Algebras Seminar UC Berkeley Todd Kemp UC San Diego November 10, 2017 1 / 27 Giving Credit where Credit is Due Based partly on joint work with Bruce

1.08k views • 92 slides
The Free Algebra in a Two-sorted Variety of Probability Algebras TACL 2017 s Kroupa 1 Vincenzo

The Free Algebra in a Two-sorted Variety of Probability Algebras TACL 2017 s Kroupa 1 Vincenzo

The Free Algebra in a Two-sorted Variety of Probability Algebras TACL 2017 s Kroupa 1 Vincenzo Marra 2 Tom a 1 Czech Academy of Sciences 2 Universit` a degli Studi di Milano Probability Standard probability theory Finitely-additive

1.06k views • 21 slides
Tense MV-algebras and related functions Jan Paseka Michal Botur Department of Mathematics and

Tense MV-algebras and related functions Jan Paseka Michal Botur Department of Mathematics and

Introduction Basic notions and definitions Dyadic numbers and MV-terms Filters, ultrafilters and the term tr Semistates on MV-algebras Functions between MV-algebras and their construction The main theorem and its applications Tense MV-algebras

1.59k views • 121 slides
A functor is a generic module A new form of parametric polymorphism: lambda and type-lambda

A functor is a generic module A new form of parametric polymorphism: lambda and type-lambda

A functor is a generic module A new form of parametric polymorphism: lambda and type-lambda in one mechanism Introduction form is functor (definition form) Generics found across language landscape (wherever large systems are

453 views • 19 slides
Varieties of positive interior algebras: operation . The two presentations produce

Varieties of positive interior algebras: operation . The two presentations produce

Modal algebras form the algebraic semantics of normal modal logics. They are Boolean algebras with a unary operation s.t. 1 1 and ( x y ) x y . Modal algebras can be presented also as BAs with a unary

186 views • 5 slides
Prime monomial ideals of subsemigroup algebras of free nilpotent groups Tomer Bauer joint work

Prime monomial ideals of subsemigroup algebras of free nilpotent groups Tomer Bauer joint work

. . . . . . . . . . . . . . . Prime monomial ideals of subsemigroup algebras of free nilpotent groups Tomer Bauer joint work with Beeri Greenfeld Department of Mathematics Bar-Ilan University Groups, Rings and Associated

989 views • 32 slides
Algebraic Synchronization Trees and Processes Luca Aceto ICE-TCS, School of Computer Science,

Algebraic Synchronization Trees and Processes Luca Aceto ICE-TCS, School of Computer Science,

The Research Question and its Context Results Algebraic Synchronization Trees and Processes Luca Aceto ICE-TCS, School of Computer Science, Reykjavik University IMT Lucca, 30 May 2012 an Joint work with Arnaud Carayol (University

668 views • 29 slides
Abstract Algebraic Logic 1st lesson Petr Cintula 1 and Carles Noguera 2 1 Institute of Computer

Abstract Algebraic Logic 1st lesson Petr Cintula 1 and Carles Noguera 2 1 Institute of Computer

Abstract Algebraic Logic 1st lesson Petr Cintula 1 and Carles Noguera 2 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Prague, Czech Republic 2 Institute of Information Theory and Automation, Academy of Sciences of

765 views • 38 slides
Categoricity of Shimura Varieties Sebastian Eterovi University of Oxford PLS12, June 2019 S.

Categoricity of Shimura Varieties Sebastian Eterovi University of Oxford PLS12, June 2019 S.

Categoricity of Shimura Varieties Sebastian Eterovi University of Oxford PLS12, June 2019 S. Eterovi (Oxford) Categoricity of Shimura Varieties June 2019 1 / 10 The Language of Algebraic Varieties Let V ( C ) C n be an irreducible

873 views • 29 slides
An Algebraic Generalization of the Chomsky-Sch utzenberger-Theorem Hans Lei

An Algebraic Generalization of the Chomsky-Sch utzenberger-Theorem Hans Lei

An Algebraic Generalization of the Chomsky-Sch utzenberger-Theorem Hans Lei leiss@cis.uni-muenchen.de extending work by/joint with Mark Hopkins 2017 retired from: Universit at M unchen Centrum f ur Informations- und

810 views • 57 slides
Dimensional functions over partially ordered sets V.N.Remeslennikov, E. Frenkel May 30, 2013 1

Dimensional functions over partially ordered sets V.N.Remeslennikov, E. Frenkel May 30, 2013 1

Intro Dimensional functions over posets Application I Application II Dimensional functions over partially ordered sets V.N.Remeslennikov, E. Frenkel May 30, 2013 1 / 38 Intro Dimensional functions over posets Application I Application II

488 views • 38 slides
Relational Algebra Relational Algebra Procedural language Six basic operators

Relational Algebra Relational Algebra Procedural language Six basic operators

Relational Algebra Relational Algebra Procedural language Six basic operators select: project: union: set difference: Cartesian product: x rename: The operators take one or two relations as

412 views • 27 slides
An Algebra of Hierarchical Graphs Roberto Bruni (joint-work with Fabio Gadducci and Alberto

An Algebra of Hierarchical Graphs Roberto Bruni (joint-work with Fabio Gadducci and Alberto

An Algebra of Hierarchical Graphs Roberto Bruni (joint-work with Fabio Gadducci and Alberto Lluch) Department of Computer Science, University of Pisa Software Engineering for Service-Oriented Overlay Computers TGC 2010 5th Symposium on

1.01k views • 62 slides
Algebraic Linear Orderings Esik 1 an Zolt Joint work with: Stephen L. Bloom 2 1 University

Algebraic Linear Orderings Esik 1 an Zolt Joint work with: Stephen L. Bloom 2 1 University

Algebraic Linear Orderings Esik 1 an Zolt Joint work with: Stephen L. Bloom 2 1 University of Szeged, Hungary 2 Stevens Institute, Hoboken, NJ A regular system = X + Y + X X = 1 + Y Y Simplest solution: = N Q X = N Y An algebraic

584 views • 37 slides

More recommend