×

Found 211 Documents (Results 1–100)

The Sierpinski carpet as a final coalgebra. (English) Zbl 07804585

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 249-261 (2022).
MSC:  18C20 16T15 28A80
PDFBibTeX XMLCite
Full Text: arXiv Link

Saturated Kripke structures as Vietoris coalgebras. (English) Zbl 07628068

Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 88-109 (2022).
MSC:  68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

Algebra and coalgebra of stream products. (English) Zbl 07730621

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 19, 17 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Some topics in the theory of Tannakian categories and applications to motives and motivic Galois groups. (English. French summary) Zbl 1506.16045

Algèbre et théorie des nombres 2021. Publications Mathématiques de Besançon. Algèbre et Théorie des Nombres 2021. Besançon: Presses Universitaires de Franche-Comté. 45-97 (2021).
PDFBibTeX XMLCite
Full Text: Link

Color Hom-Lie bialgebras. (English) Zbl 1493.17023

Asashiba, Hideto (ed.) et al., Ring theory 2019. Proceedings of the eighth China-Japan-Korea international symposium on ring theory. Nagoya University, Nagoya, Japan, August 26–31, 2019. Hackensack, NJ: World Scientific. 66-82 (2021).
MSC:  17B75 17B61 17B62
PDFBibTeX XMLCite
Full Text: DOI

On Hom-Yetter-Drinfeld category. (English) Zbl 1507.18020

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 339-358 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Algebraic and coalgebraic perspectives on interaction laws. (English) Zbl 1476.68066

Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 186-205 (2020).
MSC:  68N30 18C15
PDFBibTeX XMLCite
Full Text: DOI

On the bijectivity of the antipode and serial quantum groups. (English) Zbl 1452.16031

Srivastava, Ashish K. (ed.) et al., Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain’s 80th birthday, Ohio State University, Columbus, Ohio, March 16–18, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 751, 205-219 (2020).
MSC:  16T05 16T15 16G60
PDFBibTeX XMLCite
Full Text: DOI

BOCSES over small linear categories and corings. (English) Zbl 1443.16039

Siles Molina, Mercedes (ed.) et al., Associative and non-associative algebras and applications. Proceedings of the 3rd Moroccan Andalusian meeting on algebras and their applications, MAMAA 2018, Chefchaouen, Morocco, April 12–14, 2018. Cham: Springer. Springer Proc. Math. Stat. 311, 273-286 (2020).
MSC:  16T15 16D90
PDFBibTeX XMLCite
Full Text: DOI

Decomposing comonad morphisms. (English) Zbl 07649897

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 14, 19 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

On terminal coalgebras derived from initial algebras. (English) Zbl 07649895

Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 12, 21 p. (2019).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Co-Toeplitz quantization: a simple case. (English) Zbl 1442.81038

Kielanowski, Piotr (ed.) et al., Geometric methods in physics XXXVII. Workshop and summer school, Białowieża, Poland, July 1–7, 2018. Dedicated to Daniel Sternheimer on the occasion of his 80th birthday. Cham: Birkhäuser. Trends Math., 121-126 (2019).
MSC:  81S08 47B35 17B62
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quantization of color Lie bialgebras. (English) Zbl 1461.17022

Baklouti, Ali (ed.) et al., Geometric and harmonic analysis on homogeneous spaces. Selected papers of the 5th Tunisian-Japanese conference, PTJC 2017, Mahdia, Tunisia, December 17–21, 2017. Cham: Springer. Springer Proc. Math. Stat. 290, 71-94 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Relating structure and power: comonadic semantics for computational resources. (English) Zbl 1509.03098

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 2, 17 p. (2018).
MSC:  03C13 18C15 18C50
PDFBibTeX XMLCite
Full Text: DOI

A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves. (English) Zbl 1520.68054

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 25, 18 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Up-to techniques for behavioural metrics via fibrations. (English) Zbl 1520.68089

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 17, 17 p. (2018).
MSC:  68Q85 18C15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deformation theory of Lie bialgebra properads. (English) Zbl 1487.17042

Andersen, Jørgen Ellegaard (ed.) et al., Geometry and physics. A festschrift in honour of Nigel Hitchin. Volume 1. Oxford: Oxford University Press. 219-247 (2018).
PDFBibTeX XMLCite
Full Text: arXiv

Undecidability of equality for codata types. (English) Zbl 1519.68145

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018).
MSC:  68Q65 03B70 68V20
PDFBibTeX XMLCite
Full Text: DOI Link

Color Lie bialgebras: big bracket, cohomology and deformations. (English) Zbl 1471.17052

Baklouti, Ali (ed.) et al., Geometric and harmonic analysis on homogeneous spaces and applications. TJC 2015, Monastir, Tunisia, December 18–23, 2015. Cham: Springer. Springer Proc. Math. Stat. 207, 69-115 (2017).
MSC:  17B75 17B62 17B56
PDFBibTeX XMLCite
Full Text: DOI

The positivication of coalgebraic logics. (English) Zbl 1433.03160

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 9, 15 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On path-based coalgebras and weak notions of bisimulation. (English) Zbl 1433.68237

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 6, 17 p. (2017).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Monoidal company for accessible functors. (English) Zbl 1436.18014

Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 5, 16 p. (2017).
MSC:  18M05 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Cohomology operations defining cohomology algebra of the loop space. (English) Zbl 1392.55013

Falcone, Giovanni (ed.), Lie groups, differential equations, and geometry. Advances and surveys. Cham: Springer; Palermo: Università degli Studi di Palermo (ISBN 978-3-319-62180-7/hbk; 978-3-319-62181-4/ebook). UNIPA Springer Series, 85-108 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Generalized nil-Coxeter algebras, cocommutative algebras, and the PBW property. (English) Zbl 1370.16023

Bergen, Jeffrey (ed.) et al., Groups, rings, group rings, and Hopf algebras. International conference, Loyola University, Chicago, IL, USA, October 2–4, 2015 and AMS special session, Loyola University, Chicago, IL, USA, October 3–4, 2015. Held in honor of Donald S. Passman’s 75th birthday. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2805-1/pbk; 978-1-4704-4042-8/ebook). Contemporary Mathematics 688, 139-168 (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Allegories and collagories for transformation of graph structures considered as coalgebras. (English) Zbl 1486.68087

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 193-208 (2017).
MSC:  68Q42 03G15 18B50
PDFBibTeX XMLCite
Full Text: DOI

A uniform framework for timed automata. (English) Zbl 1392.68214

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 26, 15 p. (2016).
MSC:  68Q45 18B20
PDFBibTeX XMLCite
Full Text: DOI

Invertible lax entwining structures and \(C\)-cleft extensions. (English) Zbl 1365.16019

Gueye, Cheikh Thiécoumbe (ed.) et al., Non-associative and non-commutative algebra and operator theory. NANCAOT, Dakar, Senegal, May 23–25, 2014: workshop in honor of Professor Amin Kaidi. Cham: Springer (ISBN 978-3-319-32900-0/hbk; 978-3-319-32902-4/ebook). Springer Proceedings in Mathematics & Statistics 160, 239-254 (2016).
MSC:  16T15 18D10 20L05 16T05
PDFBibTeX XMLCite
Full Text: DOI

Nonabelian omni-Lie algebras. (English) Zbl 1415.17020

Grabowska, Katarzyna (ed.) et al., Geometry of jets and fields. Selected papers based on the presentations at the workshop, Będlewo, Poland, May 10–16, 2015. In honour of Professor Janusz Grabowski on the occasion of his 60th birthday. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 110, 167-176 (2016).
MSC:  17B62 17A32 53D17
PDFBibTeX XMLCite
Full Text: DOI Link

The Goldman-Turaev Lie bialgebra and the Johnson homomorphisms. (English) Zbl 1344.30038

Papadopoulos, Athanase (ed.), Handbook of Teichmüller theory. Volume V. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-160-6/hbk; 978-3-03719-660-1/ebook). IRMA Lectures in Mathematics and Theoretical Physics 26, 97-165 (2016).
MSC:  57N05 17B60 17B62 20F34 57M07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modular quantizations of Lie algebras of Cartan type \(H\) via Drinfel’d twists. (English) Zbl 1377.17019

Avitabile, Marina (ed.) et al., Lie algebras and related topics. Workshop on Lie algebras, in honor of Helmut Strade’s 70th birthday, Università degli Studi di Milano-Bicocca, Milano, Italy, May 22–24, 2013. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1023-0/pbk; 978-1-4704-2815-0/ebook). Contemporary Mathematics 652, 173-206 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Representations of derived \(A\)-infinity algebras. (English) Zbl 1346.18012

Basterra, Maria (ed.) et al., Women in topology: collaborations in homotopy theory. WIT: Women in topology workshop, Banff International Research Station, Banff, Alberta, Canada, August 18–23, 2013. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1013-1/pbk; 978-1-4704-2495-4/ebook). Contemporary Mathematics 641, 1-28 (2015).
MSC:  18D50 18G55 16E45 16T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Poisson-Lie groupoids and the contraction procedure. (English) Zbl 1331.53114

Ciccoli, Nicola (ed.) et al., From Poisson brackets to universal quantum symmetries. Selected papers of the workshop, IMPAN, Warsaw, August 18–22, 2014. Warsaw: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-29-4/pbk). Banach Center Publications 106, 35-46 (2015).
MSC:  53D17 17B62 16S80
PDFBibTeX XMLCite
Full Text: DOI arXiv

\(r_\infty\)-matrices, triangular \(L_\infty\)-bialgebras and quantum\(_\infty\) groups. (English) Zbl 1407.17015

Kielanowski, Piotr (ed.) et al., Geometric methods in physics. XXXIII workshop, Białowieża, Poland, June 29 – July 5, 2014. Cham: Birkhäuser/Springer. Trends Math., 39-47 (2015).
MSC:  17B37 17B62 17B63 18G55 58A50
PDFBibTeX XMLCite
Full Text: DOI

Identifying all preorders on the subdistribution monad. (English) Zbl 1337.68192

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 309-327, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

On a categorical framework for coalgebraic modal logic. (English) Zbl 1337.03091

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 109-128, electronic only (2014).
MSC:  03G30 03B45
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic update lenses. (English) Zbl 1337.68084

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 25-48, electronic only (2014).
MSC:  68P15 18C15 18C20
PDFBibTeX XMLCite
Full Text: DOI

Unnesting of copatterns. (English) Zbl 1416.68048

Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 31-45 (2014).
MSC:  68N18 68Q65
PDFBibTeX XMLCite
Full Text: DOI Link

Productive coprogramming with guarded recursion. (English) Zbl 1323.68092

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 197-208 (2013).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI Link

On the double crossed product of weak Hopf algebras. (English) Zbl 1301.16030

Andruskiewitsch, Nicolás (ed.) et al., Hopf algebras and tensor categories. Proceedings of the international conference, University of Almería, Almería, Spain, July 4–8, 2011. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7564-3/pbk; 978-0-8218-9498-9/ebook). Contemporary Mathematics 585, 153-173 (2013).
MSC:  16T05 16T10 16S40
PDFBibTeX XMLCite
Full Text: arXiv

From operational Chu duality to coalgebraic quantum symmetry. (English) Zbl 1397.81090

Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 220-235 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Coalgebras with symmetries and modelling quantum systems. (English) Zbl 1397.81089

Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 205-219 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Final semantics for decorated traces. (English) Zbl 1342.68224

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 73-86 (2012).
MSC:  68Q85 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: DOI

On the decomposition of motivic multiple zeta values. (English) Zbl 1321.11087

Nakamura, Hiroaki (ed.) et al., Galois-Teichmüller theory and arithmetic geometry. Selected papers based on the presentations at the workshop and conference, Kyoto, Japan, October 25–30, 2010. Tokyo: Mathematical Society of Japan (ISBN 978-4-86497-014-3/hbk). Advanced Studies in Pure Mathematics 63, 31-58 (2012).
MSC:  11M32 13B05 16T15
PDFBibTeX XMLCite
Full Text: arXiv

Distributive substructural logics as coalgebraic logics over posets. (English) Zbl 1295.03012

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 119-142 (2012).
MSC:  03B47 03G30
PDFBibTeX XMLCite

Relation between weak entwining structures and weak corings. (English) Zbl 1263.16037

Hemakul, Wanida (ed.) et al., Proceedings of the international conference on algebra 2010: advances in algebraic structures, Yogjakarta, Indonesia, October 7–10, 2010. Dedicated to Shum Kar-Ping on the occasion of his 70th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4366-30-4/hbk; 978-981-4366-31-1/ebook). 496-504 (2012).
MSC:  16T15
PDFBibTeX XMLCite
Full Text: DOI

A note on the dual of some special biserial algebras. (English) Zbl 1264.16035

Hemakul, Wanida (ed.) et al., Proceedings of the international conference on algebra 2010: advances in algebraic structures, Yogjakarta, Indonesia, October 7–10, 2010. Dedicated to Shum Kar-Ping on the occasion of his 70th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4366-30-4/hbk; 978-981-4366-31-1/ebook). 414-417 (2012).
MSC:  16T15 16G20
PDFBibTeX XMLCite
Full Text: DOI

Dual right serial algebras. (English) Zbl 1263.16036

Hemakul, Wanida (ed.) et al., Proceedings of the international conference on algebra 2010: advances in algebraic structures, Yogjakarta, Indonesia, October 7–10, 2010. Dedicated to Shum Kar-Ping on the occasion of his 70th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4366-30-4/hbk; 978-981-4366-31-1/ebook). 369-373 (2012).
MSC:  16T15 16G20
PDFBibTeX XMLCite
Full Text: DOI

Bialgebras, defined on simple alternative and Mal’cev algebras. (English) Zbl 1312.17024

Hemakul, Wanida (ed.) et al., Proceedings of the international conference on algebra 2010: advances in algebraic structures, Yogjakarta, Indonesia, October 7–10, 2010. Dedicated to Shum Kar-Ping on the occasion of his 70th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-4366-30-4/hbk; 978-981-4366-31-1/ebook). 240-253 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Data intensive distributed computing in data aware self-organizing networks. (English) Zbl 1350.68050

Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science XV. Special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Berlin: Springer (ISBN 978-3-642-28524-0/pbk). Lecture Notes in Computer Science 7050. Journal Subline, 74-107 (2012).
MSC:  68M14 68M10 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Cofree compositions of coalgebras. (English. French summary) Zbl 1355.16035

Proceedings of the 23rd international conference on formal power series and algebraic combinatorics, FPSAC 2011, Reykjavik, Iceland, June 13–17, 2011. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 363-374 (2011).
MSC:  16T15
PDFBibTeX XMLCite
Full Text: Link

Towards effects in mathematical operational semantics. (English) Zbl 1342.68064

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 81-104 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Coalgebras of tame comodule type, comodule categories, and a tame-wild dichotomy problem. (English) Zbl 1301.16042

Skowroński, Andrzej (ed.) et al., Representations of algebras and related topics. Proceedings of the 14th international conference on representations of algebras and workshop (ICRA XIV), Tokyo, Japan, August 6–15, 2010. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-101-9/hbk). EMS Series of Congress Reports, 561-660 (2011).
MSC:  16T15 16G60 16D90
PDFBibTeX XMLCite

Categorical aspects of Hopf algebras. (English) Zbl 1262.16032

Marcolli, Matilde (ed.) et al., Quantum groups and noncommutative spaces. Perspectives on quantum geometry. Based on the presentations at the workshop, Bonn, Germany, August 6–8, 2007. Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-1442-5/hbk; 978-3-8348-9831-9/ebook). Aspects of Mathematics E41, 146-163 (2011).
MSC:  16T05 18C15 18A40 16T15 18C20 18D10
PDFBibTeX XMLCite
Full Text: DOI

Hopf-cyclic homology with contramodule coefficients. (English) Zbl 1247.16004

Marcolli, Matilde (ed.) et al., Quantum groups and noncommutative spaces. Perspectives on quantum geometry. Based on the presentations at the workshop, Bonn, Germany, August 6–8, 2007. Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-1442-5/hbk; 978-3-8348-9831-9/ebook). Aspects of Mathematics E41, 1-8 (2011).
MSC:  16E40 16T05 16T15 19D55 18G60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Coalgebraic semantics for derivations in logic programming. (English) Zbl 1344.68043

Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 268-282 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

Oriented quantum algebras and coalgebras, invariants of oriented \(1-1\) tangles, knots and links. (English) Zbl 1218.81057

Mahdavi, Kazem (ed.) et al., Cross disciplinary advances in quantum computing. NSF sponsored research conference on representation theory, quantum field theory, category theory, and quantum information theory, University of Texas at Tyler, Tyler, TX, USA, October 1–4, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4975-0/pbk). Contemporary Mathematics 536, 95-132 (2011).
MSC:  81R15 57Q45 16T15 16T20
PDFBibTeX XMLCite
Full Text: arXiv

Applications of bi-quantization to Lie theory. (Applications de la bi-quantification à la théorie de Lie.) (French. English introduction) Zbl 1231.17012

Cattaneo, Alberto S. (ed.) et al., Higher structures in geometry and physics. In honor of Murray Gerstenhaber and Jim Stasheff. Basel: Birkhäuser (ISBN 978-0-8176-4734-6/hbk; 978-0-8176-4735-3/ebook). Progress in Mathematics 287, 315-342 (2011).
PDFBibTeX XMLCite
Full Text: arXiv

Poisson and symplectic functions in Lie algebroid theory. (English) Zbl 1216.53073

Cattaneo, Alberto S. (ed.) et al., Higher structures in geometry and physics. In honor of Murray Gerstenhaber and Jim Stasheff. Basel: Birkhäuser (ISBN 978-0-8176-4734-6/hbk; 978-0-8176-4735-3/ebook). Progress in Mathematics 287, 243-268 (2011).
MSC:  53D17 17B70 17B62
PDFBibTeX XMLCite
Full Text: arXiv

The Lie algebra perturbation lemma. (English) Zbl 1243.17011

Cattaneo, Alberto S. (ed.) et al., Higher structures in geometry and physics. In honor of Murray Gerstenhaber and Jim Stasheff. Basel: Birkhäuser (ISBN 978-0-8176-4734-6/hbk; 978-0-8176-4735-3/ebook). Progress in Mathematics 287, 159-179 (2011).
PDFBibTeX XMLCite
Full Text: arXiv

Families of symmetries as efficient models of resource binding. (English) Zbl 1247.68172

Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 63-81 (2010).
MSC:  68Q65 18C50
PDFBibTeX XMLCite
Full Text: DOI

Combinatorial Hopf algebras. (English) Zbl 1217.16033

Blanchard, Etienne (ed.) et al., Quanta of maths. Conference on non commutative geometry in honor of Alain Connes, Paris, France, March 29–April 6, 2007. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute (ISBN 978-0-8218-5203-3/pbk). Clay Mathematics Proceedings 11, 347-383 (2010).
MSC:  16T30 18D50
PDFBibTeX XMLCite
Full Text: arXiv

Continuous functions on final coalgebras. (English) Zbl 1337.68070

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 3-18 (2009).
MSC:  68N30 68Q65
PDFBibTeX XMLCite
Full Text: DOI

PROPped-up graph cohomology. (English) Zbl 1208.18008

Tschinkel, Yuri (ed.) et al., Algebra, arithmetic, and geometry. In honor of Y. I. Manin on the occasion of his 70th birthday. Vol. II. Boston, MA: Birkhäuser (ISBN 978-0-8176-4746-9/hbk; 978-0-8176-4747-6/ebook). Progress in Mathematics 270, 249-281 (2009).
MSC:  18D50 16T05 17B62 55P48
PDFBibTeX XMLCite
Full Text: DOI arXiv

Niceness theorems. (English) Zbl 1190.00001

Kruglikov, Boris (ed.) et al., Differential equations – Geometry, symmetries and integrability. The Abel symposium 2008. Proceedings of the fifth Abel symposium, Tromsø, Norway, June 17–22, 2008. Berlin: Springer (ISBN 978-3-642-00872-6/hbk; 978-3-642-00873-3/ebook). Abel Symposia 5, 107-150 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Monoidal categories of comodules for coquasi Hopf algebras and Radford’s formula. (English) Zbl 1182.16024

Futorny, Vyacheslav (ed.) et al., Algebras, representations and applications. Conference in honour of Ivan Shestakov’s 60th birthday, Maresias, Brazil, August 26–September 1, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4652-0/pbk). Contemp. Math. 483, 107-135 (2009).
MSC:  16T05 18D10 16T15
PDFBibTeX XMLCite
Full Text: arXiv

Hom-Lie admissible Hom-coalgebras and Hom-Hopf algebras. (English) Zbl 1173.16019

Silvestrov, Sergeĭ (ed.) et al., Generalized Lie theory in mathematics, physics and beyond. Berlin: Springer (ISBN 978-3-540-85331-2/hbk). 189-206 (2009).
MSC:  16W30 17B60 17A30 16W10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Classification of quasi-trigonometric solutions of the classical Yang-Baxter equation. (English) Zbl 1167.17005

Lin, Zongzhu (ed.) et al., Representation theory. Fourth international conference on representation theory, Lhasa, China, July 16–20, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4555-4/pbk). Contemporary Mathematics 478, 155-162 (2009).
MSC:  17B62 17B37 17B81
PDFBibTeX XMLCite
Full Text: arXiv

On products of transition systems. (English) Zbl 1279.18001

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 93-107 (2008).
MSC:  18B20 18A35 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Merging hierarchically-structured documents in workflow systems. (English) Zbl 1279.68064

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 3-24 (2008).
MSC:  68P05 68Q42 68Q65
PDFBibTeX XMLCite
Full Text: DOI

A coalgebraic theory of reactive systems. (English) Zbl 1279.68249

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 201-215 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

\(A_\infty\)-algebras, \(A_\infty\)-categories and \(A_\infty\)-functors. (English) Zbl 1213.18005

Hazewinkel, M. (ed.), Handbook of algebra. Volume 5. Amsterdam: Elsevier/Noth-Holland (ISBN 978-0-444-53101-8/hbk). Handbook of Algebra 5, 143-188 (2008).
MSC:  18D20 18-02 16E45 16T15 16B50 18D10 18D15
PDFBibTeX XMLCite
Full Text: DOI

Continuous coalgebra endomorphisms of some complete ultrametric Hopf algebras. (English) Zbl 1180.46056

Shum, K. P. (ed.) et al., Advances in algebra and combinatorics. Proceedings of the 2nd international congress in algebra and combinatorics, Guangzhou, China, July 2–4, 2007, Beijing, China, July 6–11, 2007 and Xian, China, July 12–15, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-279-000-2/hbk). 95-118 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Corings with exact rational functors and injective objects. (English) Zbl 1183.16026

Brzeziński, Tomasz (ed.) et al., Modules and comodules. Proceedings of the international conference, Porto, Portugal, September 6–8, 2006. Dedicated to Robert Wisbauer on the occasion of his 65th birthday. Basel: Birkhäuser (ISBN 978-3-7643-8741-9/hbk). Trends in Mathematics, 185-201 (2008).
MSC:  16T15 16S85
PDFBibTeX XMLCite
Full Text: arXiv

Balanced bilinear forms for corings. (English) Zbl 1210.16032

Brzeziński, Tomasz (ed.) et al., Modules and comodules. Proceedings of the international conference, Porto, Portugal, September 6–8, 2006. Dedicated to Robert Wisbauer on the occasion of his 65th birthday. Basel: Birkhäuser (ISBN 978-3-7643-8741-9/hbk). Trends in Mathematics, 87-99 (2008).
MSC:  16T15 15A63
PDFBibTeX XMLCite

Co-algebraic models for quantitative spatial logics. (English) Zbl 1279.03055

Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 43-58 (2007).
PDFBibTeX XMLCite
Full Text: DOI

Central braided Hopf algebras. (English) Zbl 1155.16031

Kauffman, Louis H. (ed.) et al., Hopf algebras and generalizations. AMS special session on Hopf algebras at the crossroads of algebra, category theory, and topology, Evanston, IL, USA, October 23–24, 2004. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3820-4/pbk). Contemporary Mathematics 441, 117-147 (2007).
MSC:  16W30 18D10 16D90
PDFBibTeX XMLCite

A quasi-Lie bialgebra formulation of the Pohlmeyer-Rehren Poisson algebra. (English) Zbl 1166.17007

Dito, Giuseppe (ed.) et al., Proceedings of the school on Poisson geometry and related topics, Yokohama, Japan, May 31–June 2, 2006. Luxembourg: University of Luxembourg, Faculty of Science, Technology and Communication (ISBN 978-2-87971-092-1/pbk). Travaux Mathématiques 17, 87-100 (2007).
MSC:  17B62 53D55 81T30
PDFBibTeX XMLCite
Full Text: arXiv

Simple comodules and localization in coalgebras. (English) Zbl 1146.16021

Caenepeel, Stefaan (ed.) et al., New techniques in Hopf algebras and graded ring theory. Selected papers of the congress, Brussels, Belgium, September 19–23, 2006. Brussel: Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten. Contactforum, 141-164 (2007).
MSC:  16W30 18D10 18E35 16G10
PDFBibTeX XMLCite

Flat connections and (co)modules. (English) Zbl 1153.16035

Caenepeel, Stefaan (ed.) et al., New techniques in Hopf algebras and graded ring theory. Selected papers of the congress, Brussels, Belgium, September 19–23, 2006. Brussel: Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten. Contactforum, 35-52 (2007).
MSC:  16W30 58B34 16E40
PDFBibTeX XMLCite
Full Text: arXiv

Galois extensions over commutative and non-commutative base. (English) Zbl 1144.16030

Caenepeel, Stefaan (ed.) et al., New techniques in Hopf algebras and graded ring theory. Selected papers of the congress, Brussels, Belgium, September 19–23, 2006. Brussel: Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten. Contactforum, 9-34 (2007).
MSC:  16W30
PDFBibTeX XMLCite
Full Text: arXiv

Cohomology for self-distributivity in coalgebras. (English) Zbl 1166.16017

Carter, J. Scott (ed.) et al., Intelligence of low dimensional topology 2006, Hiroshima, Japan July 22–26, 2006. Hackensack, NJ: World Scientific (ISBN 978-981-270-593-8/hbk). Series on Knots and Everything 40, 9-17 (2007).
MSC:  16W30 16E40 18G60
PDFBibTeX XMLCite

A primer of Hopf algebras. (English) Zbl 1184.16031

Cartier, Pierre (ed.) et al., Frontiers in number theory, physics, and geometry II. On conformal field theories, discrete groups and renormalization. Papers from the meeting, Les Houches, France, March 9–21, 2003. Berlin: Springer (ISBN 978-3-540-30307-7/hbk). 537-615 (2007).
PDFBibTeX XMLCite

The Lie multiplication in the Lie duals of the Witt algebras. (English) Zbl 1362.17040

Sabinin, Lev V. (ed.) et al., Non-associative algebra and its applications. Proceedings of the 5th international conference, Oaxtep, Mexico, July 27–August 2, 2003. Boca Raton, FL: Chapman & Hall/CRC (ISBN 0-8247-2669-3/pbk). Lecture Notes in Pure and Applied Mathematics 246, 395-399 (2006).
MSC:  17B62
PDFBibTeX XMLCite

Continuous functions on final coalgebras. (English) Zbl 1276.68110

Ghani, Neil (ed.) et al., Proceedings of the eighth workshop on coalgebraic methods in computer science (CMCS 2006), Vienna, Austria, March 25–27, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 164, No. 1, 141-155 (2006).
MSC:  68Q65 03B15 03F60 18B99
PDFBibTeX XMLCite
Full Text: Link

Poisson coalgebras, symplectic realizations and integrable systems. (English) Zbl 1119.53054

Clemente-Gallardo, Jesús (ed.) et al., Groups, geometry and physics. Lectures presented at the workshop, Zaragoza, Spain, December 9–10, 2005. Zaragoza: Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza. Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza 29, 27-36 (2006).
MSC:  53D17 53D10
PDFBibTeX XMLCite

A new Lie bialgebra structure on \(\mathrm{sl}(2,1)\). (English) Zbl 1155.17307

Benkart, Georgia (ed.) et al., Representations of algebraic groups, quantum groups, and Lie algebras. AMS-IMS-SIAM joint summer research conference, Snowbird, UT, USA, July 11–15, 2004. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3924-1/pbk). Contemporary Mathematics 413, 101-122 (2006).
MSC:  17B62 17B20
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software