Péroux, Maximilien The coalgebraic enrichment of algebras in higher categories. (English) Zbl 07396430 J. Pure Appl. Algebra 226, No. 3, Article ID 106849, 11 p. (2022). MSC: 16T15 18C35 18D10 18D20 18N70 55P43 PDF BibTeX XML Cite \textit{M. Péroux}, J. Pure Appl. Algebra 226, No. 3, Article ID 106849, 11 p. (2022; Zbl 07396430) Full Text: DOI OpenURL
Bakayoko, Ibrahima; Oh, Sei-Qwon Color Hom-Lie bialgebras. (English) Zbl 07396361 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 PDF BibTeX XML Cite \textit{I. Bakayoko} and \textit{S.-Q. Oh}, in: 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; Zbl 07396361) Full Text: DOI OpenURL
Leach-Krouse, Graham Coalgebra and abstraction. (English) Zbl 07391965 Notre Dame J. Formal Logic 62, No. 1, 33-66 (2021). MSC: 18A15 03E30 00A30 03A05 03B15 03E70 16T15 18A30 PDF BibTeX XML Cite \textit{G. Leach-Krouse}, Notre Dame J. Formal Logic 62, No. 1, 33--66 (2021; Zbl 07391965) Full Text: DOI OpenURL
Heiderich, Florian Generalized differentials and prolongation spaces. (English) Zbl 07385162 J. Algebra 586, 154-207 (2021). MSC: 20-XX 16-XX PDF BibTeX XML Cite \textit{F. Heiderich}, J. Algebra 586, 154--207 (2021; Zbl 07385162) Full Text: DOI OpenURL
Shulman, Michael A practical type theory for symmetric monoidal categories. (English) Zbl 07382067 Theory Appl. Categ. 37, 863-907 (2021). MSC: 18M05 18M85 03B47 PDF BibTeX XML Cite \textit{M. Shulman}, Theory Appl. Categ. 37, 863--907 (2021; Zbl 07382067) Full Text: Link OpenURL
Adámek, Jiří Algebraic cocompleteness and finitary functors. (English) Zbl 07379294 Log. Methods Comput. Sci. 17, No. 2, Paper No. 23, 30 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Adámek}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 23, 30 p. (2021; Zbl 07379294) Full Text: DOI OpenURL
Paniello, Irene A coalgebraic structure on bisexual populations. (English) Zbl 07375783 Algebr. Represent. Theory 24, No. 4, 1053-1069 (2021). MSC: 17D92 92D25 60J10 PDF BibTeX XML Cite \textit{I. Paniello}, Algebr. Represent. Theory 24, No. 4, 1053--1069 (2021; Zbl 07375783) Full Text: DOI OpenURL
Iusenko, Kostiantyn; MacQuarrie, John William; Quirino, Samuel A functorial approach to Gabriel \(k\)-quiver constructions for coalgebras and pseudocompact algebras. (English) Zbl 07375736 Bull. Braz. Math. Soc. (N.S.) 52, No. 3, 697-719 (2021). MSC: 16T15 35-XX 37-XX 53-XX PDF BibTeX XML Cite \textit{K. Iusenko} et al., Bull. Braz. Math. Soc. (N.S.) 52, No. 3, 697--719 (2021; Zbl 07375736) Full Text: DOI OpenURL
Li, Yexuan; Yao, Hailou The Gorenstein transpose of comodules. (English) Zbl 07374762 J. Korean Math. Soc. 58, No. 4, 1019-1033 (2021). MSC: 16T15 18G25 16G70 PDF BibTeX XML Cite \textit{Y. Li} and \textit{H. Yao}, J. Korean Math. Soc. 58, No. 4, 1019--1033 (2021; Zbl 07374762) Full Text: DOI OpenURL
Menini, Claudia; Torrecillas, Blas Heavily separable cowreaths. (English) Zbl 07363520 J. Algebra 583, 153-186 (2021). MSC: 18M05 16T05 PDF BibTeX XML Cite \textit{C. Menini} and \textit{B. Torrecillas}, J. Algebra 583, 153--186 (2021; Zbl 07363520) Full Text: DOI OpenURL
Ma, Tianshui; Li, Jie; Yang, Tao Coquasitriangular infinitesimal BiHom-bialgebras and related structures. (English) Zbl 07358283 Commun. Algebra 49, No. 6, 2423-2443 (2021). MSC: 17B61 17D30 17A30 16T25 PDF BibTeX XML Cite \textit{T. Ma} et al., Commun. Algebra 49, No. 6, 2423--2443 (2021; Zbl 07358283) Full Text: DOI OpenURL
Balodi, Mamta; Banerjee, Abhishek; Ray, Samarpita Entwined modules over linear categories and Galois extensions. (English) Zbl 1466.18006 Isr. J. Math. 241, No. 2, 623-692 (2021). Reviewer: Constantin Năstăsescu (Bucureşti) MSC: 18E50 16T15 PDF BibTeX XML Cite \textit{M. Balodi} et al., Isr. J. Math. 241, No. 2, 623--692 (2021; Zbl 1466.18006) Full Text: DOI OpenURL
Paniello, Irene In-evolution operators in genetic coalgebras. (English) Zbl 07312130 Linear Algebra Appl. 614, 197-207 (2021). MSC: 17D92 15B51 60J10 PDF BibTeX XML Cite \textit{I. Paniello}, Linear Algebra Appl. 614, 197--207 (2021; Zbl 07312130) Full Text: DOI OpenURL
Krähmer, Ulrich; Rotheray, Lucia (Weak) incidence bialgebras of monoidal categories. (English) Zbl 1460.16035 Glasg. Math. J. 63, No. 1, 139-157 (2021). Reviewer: Loïc Foissy (Calais) MSC: 16T10 16T05 PDF BibTeX XML Cite \textit{U. Krähmer} and \textit{L. Rotheray}, Glasg. Math. J. 63, No. 1, 139--157 (2021; Zbl 1460.16035) Full Text: DOI OpenURL
Ma, Tianshui; Silvestrov, Sergei; Zheng, Huihui On Hom-Yetter-Drinfeld category. (English) Zbl 07392794 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). MSC: 18Mxx 16T15 16T10 16S40 17A30 PDF BibTeX XML Cite \textit{T. Ma} et al., Springer Proc. Math. Stat. 317, 339--358 (2020; Zbl 07392794) Full Text: DOI OpenURL
Krähmer, Ulrich; Martins, Manuel The nodal cubic and quantum groups at roots of unity. (English) Zbl 1466.81045 J. Noncommut. Geom. 14, No. 2, 667-680 (2020). MSC: 81R50 81R60 16T20 16T05 PDF BibTeX XML Cite \textit{U. Krähmer} and \textit{M. Martins}, J. Noncommut. Geom. 14, No. 2, 667--680 (2020; Zbl 1466.81045) Full Text: DOI OpenURL
Hofmann, Dirk; Nora, Pedro Hausdorff coalgebras. (English) Zbl 1464.18009 Appl. Categ. Struct. 28, No. 5, 773-806 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18D20 18B35 18C20 54B30 18C15 54E99 68Q55 PDF BibTeX XML Cite \textit{D. Hofmann} and \textit{P. Nora}, Appl. Categ. Struct. 28, No. 5, 773--806 (2020; Zbl 1464.18009) Full Text: DOI OpenURL
König, Barbara; Mika-Michalski, Christina; Schröder, Lutz Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 133-154 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. König} et al., Lect. Notes Comput. Sci. 12094, 133--154 (2020; Zbl 07314152) Full Text: DOI OpenURL
Bezhanishvili, Nick; Enqvist, Sebastian; de Groot, Jim Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 32-54 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Bezhanishvili} et al., Lect. Notes Comput. Sci. 12094, 32--54 (2020; Zbl 07314147) Full Text: DOI OpenURL
Mackaay, Marco; Mazorchuk, Volodymyr; Miemietz, Vanessa; Zhang, Xiaoting Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations. (English) Zbl 1456.18016 J. Inst. Math. Jussieu 19, No. 6, 1793-1829 (2020). Reviewer: Mee Seong Im (West Point) MSC: 18N10 16G99 17B99 PDF BibTeX XML Cite \textit{M. Mackaay} et al., J. Inst. Math. Jussieu 19, No. 6, 1793--1829 (2020; Zbl 1456.18016) Full Text: DOI OpenURL
Guo, Shuangjian; Zhang, Xiaohui; Wang, Shengxiang The construction of Hom-left-symmetric conformal bialgebras. (English) Zbl 07275249 Linear Multilinear Algebra 68, No. 6, 1257-1276 (2020). MSC: 17A30 17B45 17D25 17B81 PDF BibTeX XML Cite \textit{S. Guo} et al., Linear Multilinear Algebra 68, No. 6, 1257--1276 (2020; Zbl 07275249) Full Text: DOI OpenURL
Yan, Dongdong; Wang, Shuanhong Drinfel’d construction for Hom-Hopf T-coalgebras. (English) Zbl 1459.16036 Int. J. Math. 31, No. 8, Article ID 2050058, 31 p. (2020). MSC: 16T05 18M15 18N10 PDF BibTeX XML Cite \textit{D. Yan} and \textit{S. Wang}, Int. J. Math. 31, No. 8, Article ID 2050058, 31 p. (2020; Zbl 1459.16036) Full Text: DOI OpenURL
Wang, Zhihua; Yi, Xiaomeng; Li, Jin; Xuan, Jingyi Bi-Frobenius algebraic structure on a type of quotient algebras. (Chinese. English summary) Zbl 1463.16054 Math. Pract. Theory 49, No. 24, 225-230 (2020). MSC: 16T10 16T15 PDF BibTeX XML Cite \textit{Z. Wang} et al., Math. Pract. Theory 49, No. 24, 225--230 (2020; Zbl 1463.16054) OpenURL
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. On well-founded and recursive coalgebras. (English) Zbl 1455.18001 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A15 18C50 68Q65 PDF BibTeX XML Cite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001) Full Text: DOI OpenURL
Cheng, Wenjing; Guo, Huaiwen; Chen, Quanguo Globalizations for partial Hom-module coalgebras. (Chinese. English summary) Zbl 1449.16065 J. Qufu Norm. Univ., Nat. Sci. 46, No. 1, 1-3 (2020). MSC: 16T15 PDF BibTeX XML Cite \textit{W. Cheng} et al., J. Qufu Norm. Univ., Nat. Sci. 46, No. 1, 1--3 (2020; Zbl 1449.16065) Full Text: DOI OpenURL
Gálvez-Carrillo, Imma; Kock, Joachim; Tonks, Andrew Corrigendum to: “Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness”. (English) Zbl 07219704 Adv. Math. 371, Article ID 107267, 5 p. (2020). MSC: 18G30 16T10 06A11 05A19 55U35 PDF BibTeX XML Cite \textit{I. Gálvez-Carrillo} et al., Adv. Math. 371, Article ID 107267, 5 p. (2020; Zbl 07219704) Full Text: DOI OpenURL
Bulacu, D.; Caenepeel, S.; Torrecillas, B. Frobenius and separable functors for the category of entwined modules over cowreaths. I: general theory. (English) Zbl 1447.16031 Algebr. Represent. Theory 23, No. 3, 1119-1157 (2020). Reviewer: Serban Raianu (Carson) MSC: 16T15 16T05 PDF BibTeX XML Cite \textit{D. Bulacu} et al., Algebr. Represent. Theory 23, No. 3, 1119--1157 (2020; Zbl 1447.16031) Full Text: DOI OpenURL
Berglund, Alexander Rational models for automorphisms of fiber bundles. (English) Zbl 1457.55006 Doc. Math. 25, 239-265 (2020). Reviewer: Jean Claude Thomas (Angers) MSC: 55P62 55R10 PDF BibTeX XML Cite \textit{A. Berglund}, Doc. Math. 25, 239--265 (2020; Zbl 1457.55006) Full Text: DOI OpenURL
Medina-Mardones, Anibal M. An algebraic representation of globular sets. (English) Zbl 1440.55014 Homology Homotopy Appl. 22, No. 2, 135-150 (2020). Reviewer: Tobias Fritz (Innsbruck) MSC: 55U15 55U10 55S10 18G31 18N30 PDF BibTeX XML Cite \textit{A. M. Medina-Mardones}, Homology Homotopy Appl. 22, No. 2, 135--150 (2020; Zbl 1440.55014) Full Text: DOI OpenURL
Blute, R. F.; Cockett, J. R. B.; Lemay, Jean-Simon. P.; Seely, Robert A. G. Differential categories revisited. (English) Zbl 1465.18011 Appl. Categ. Struct. 28, No. 2, 171-235 (2020). Reviewer: Timothy Porter (Llandegfan) MSC: 18F40 16T15 PDF BibTeX XML Cite \textit{R. F. Blute} et al., Appl. Categ. Struct. 28, No. 2, 171--235 (2020; Zbl 1465.18011) Full Text: DOI OpenURL
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten A new foundation for finitary corecursion and iterative algebras. (English) Zbl 1435.68208 Inf. Comput. 271, Article ID 104456, 27 p. (2020). MSC: 68Q70 18B20 PDF BibTeX XML Cite \textit{S. Milius} et al., Inf. Comput. 271, Article ID 104456, 27 p. (2020; Zbl 1435.68208) Full Text: DOI OpenURL
Ha, Ngoc Phu Modified trace from pivotal Hopf \(G\)-coalgebras. (English) Zbl 1453.16034 J. Pure Appl. Algebra 224, No. 5, Article ID 106225, 22 p. (2020). MSC: 16T15 17B37 57K16 PDF BibTeX XML Cite \textit{N. P. Ha}, J. Pure Appl. Algebra 224, No. 5, Article ID 106225, 22 p. (2020; Zbl 1453.16034) Full Text: DOI OpenURL
Paniello, Irene Evolution coalgebras on chicken populations. (English) Zbl 1437.17018 Linear Multilinear Algebra 68, No. 3, 528-540 (2020). Reviewer: Richard Varro (Montpellier) MSC: 17D92 16T99 16W99 PDF BibTeX XML Cite \textit{I. Paniello}, Linear Multilinear Algebra 68, No. 3, 528--540 (2020; Zbl 1437.17018) Full Text: DOI OpenURL
Kianpi, Maurice On the topologicity of categories of coalgebras. (English) Zbl 1431.18002 Int. Electron. J. Algebra 27, 147-168 (2020). Reviewer: Luciano Stramaccia (Perugia) MSC: 18A35 18A40 55U40 PDF BibTeX XML Cite \textit{M. Kianpi}, Int. Electron. J. Algebra 27, 147--168 (2020; Zbl 1431.18002) Full Text: Link OpenURL
Benouaret, Chahrazed; Salinier, Alain Umbral calculus in Ore extensions. (English) Zbl 07125480 J. Pure Appl. Algebra 224, No. 3, 958-986 (2020). MSC: 16S36 05A40 12H10 13N10 16T15 PDF BibTeX XML Cite \textit{C. Benouaret} and \textit{A. Salinier}, J. Pure Appl. Algebra 224, No. 3, 958--986 (2020; Zbl 07125480) Full Text: DOI OpenURL
Castro, Felipe; Quadros, Glauber Globalizations for partial (co)actions on coalgebras. (English) Zbl 1453.16033 Algebra Discrete Math. 27, No. 2, 212-242 (2019). MSC: 16T15 16T99 16W22 PDF BibTeX XML Cite \textit{F. Castro} and \textit{G. Quadros}, Algebra Discrete Math. 27, No. 2, 212--242 (2019; Zbl 1453.16033) Full Text: Link OpenURL
Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy A coalgebraic view on reachability. (English) Zbl 07177892 Commentat. Math. Univ. Carol. 60, No. 4, 605-638 (2019). MSC: 18A99 18B20 68Q99 PDF BibTeX XML Cite \textit{T. Wißmann} et al., Commentat. Math. Univ. Carol. 60, No. 4, 605--638 (2019; Zbl 07177892) Full Text: DOI OpenURL
Bogfjellmo, Geir Algebraic structure of aromatic B-series. (English) Zbl 1434.37045 J. Comput. Dyn. 6, No. 2, 199-222 (2019). MSC: 37M15 65P10 41A58 16T05 PDF BibTeX XML Cite \textit{G. Bogfjellmo}, J. Comput. Dyn. 6, No. 2, 199--222 (2019; Zbl 1434.37045) Full Text: DOI OpenURL
Wißmann, Thorsten; Dubut, Jérémy; Katsumata, Shin-ya; Hasuo, Ichiro Path category for free. Open morphisms from coalgebras with non-deterministic branching. (English) Zbl 07158717 Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 523-540 (2019). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{T. Wißmann} et al., Lect. Notes Comput. Sci. 11425, 523--540 (2019; Zbl 07158717) Full Text: DOI OpenURL
Pacaud Lemay, Jean-Simon Lifting coalgebra modalities and MELL model structure to Eilenberg-Moore categories. (English) Zbl 1454.03083 Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019). MSC: 03F52 03G30 18C20 18M05 PDF BibTeX XML Cite \textit{J.-S. Pacaud Lemay}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019; Zbl 1454.03083) Full Text: arXiv OpenURL
Song, Guang Ai; Su, Yu Cai; Yue, Xiao Qing Dual Lie bialgebra structures of \(W\)-algebra \(W(2, 2)\) type. (English) Zbl 1435.17023 Acta Math. Sin., Engl. Ser. 35, No. 10, 1696-1714 (2019). MSC: 17B62 17B05 PDF BibTeX XML Cite \textit{G. A. Song} et al., Acta Math. Sin., Engl. Ser. 35, No. 10, 1696--1714 (2019; Zbl 1435.17023) Full Text: DOI OpenURL
Chen, Yuanyuan; Wang, Zhongwei; Zhang, Liangyun FS-coalgebras and crossed coproducts. (English) Zbl 1456.16030 Georgian Math. J. 26, No. 3, 381-392 (2019). MSC: 16T05 16T15 PDF BibTeX XML Cite \textit{Y. Chen} et al., Georgian Math. J. 26, No. 3, 381--392 (2019; Zbl 1456.16030) Full Text: DOI OpenURL
Cheng, Eugenia; Leinster, Tom Weak \(\infty\)-categories via terminal coalgebras. (English) Zbl 1428.18031 Theory Appl. Categ. 34, 1073-1133 (2019). Reviewer: Gabriella Böhm (Budapest) MSC: 18M60 18N10 18C15 18D20 18N70 PDF BibTeX XML Cite \textit{E. Cheng} and \textit{T. Leinster}, Theory Appl. Categ. 34, 1073--1133 (2019; Zbl 1428.18031) Full Text: Link arXiv OpenURL
Rosenkranz, Markus; Gao, Xing; Guo, Li An algebraic study of multivariable integration and linear substitution. (English) Zbl 07115743 J. Algebra Appl. 18, No. 11, Article ID 1950207, 51 p. (2019). MSC: 47G10 16W99 16T10 68W30 12H05 47G20 13N10 16W70 PDF BibTeX XML Cite \textit{M. Rosenkranz} et al., J. Algebra Appl. 18, No. 11, Article ID 1950207, 51 p. (2019; Zbl 07115743) Full Text: DOI arXiv OpenURL
Caenepeel, S.; Guédénon, T. On the cohomology of comodules over smash coproducts. (English) Zbl 1430.16029 J. Algebra Appl. 18, No. 10, Article ID 1950189, 17 p. (2019). Reviewer: J. N. Alonso Alvarez (Vigo) MSC: 16S40 16T15 PDF BibTeX XML Cite \textit{S. Caenepeel} and \textit{T. Guédénon}, J. Algebra Appl. 18, No. 10, Article ID 1950189, 17 p. (2019; Zbl 1430.16029) Full Text: DOI arXiv OpenURL
Blomquist, Jacobson R.; Harper, John E. Integral chains and Bousfield-Kan completion. (English) Zbl 1429.55003 Homology Homotopy Appl. 21, No. 2, 29-58 (2019). Reviewer: Marja Kankaanrinta (Helsinki) MSC: 55N10 55P60 55P99 PDF BibTeX XML Cite \textit{J. R. Blomquist} and \textit{J. E. Harper}, Homology Homotopy Appl. 21, No. 2, 29--58 (2019; Zbl 1429.55003) Full Text: DOI arXiv OpenURL
Rivera, Manuel; Wierstra, Felix; Zeinalian, Mahmoud The functor of singular chains detects weak homotopy equivalences. (English) Zbl 1432.55019 Proc. Am. Math. Soc. 147, No. 11, 4987-4998 (2019). Reviewer: Luciano Stramaccia (Perugia) MSC: 55P10 57T30 55P35 PDF BibTeX XML Cite \textit{M. Rivera} et al., Proc. Am. Math. Soc. 147, No. 11, 4987--4998 (2019; Zbl 1432.55019) Full Text: DOI arXiv OpenURL
Wu, Hui; Zhang, Xiaohui Reconstruction of the solutions of the generalized Yang-Baxter equation based on crossed structures. (Chinese. English summary) Zbl 1438.16061 J. Shandong Univ., Nat. Sci. 54, No. 4, 80-85, 90 (2019). MSC: 16T25 16T15 PDF BibTeX XML Cite \textit{H. Wu} and \textit{X. Zhang}, J. Shandong Univ., Nat. Sci. 54, No. 4, 80--85, 90 (2019; Zbl 1438.16061) Full Text: DOI OpenURL
Kihara, Hiroshi Matric generators of coalgebras and bialgebras. (English) Zbl 1448.16042 J. Algebra Appl. 18, No. 8, Article ID 1950144, 6 p. (2019). Reviewer: Shuangjian Guo (Guiyang) MSC: 16T15 16T10 16E60 PDF BibTeX XML Cite \textit{H. Kihara}, J. Algebra Appl. 18, No. 8, Article ID 1950144, 6 p. (2019; Zbl 1448.16042) Full Text: DOI OpenURL
Herscovich, Estanislao The curved \(A_\infty\)-coalgebra of the Koszul codual of a filtered dg algebra. (English) Zbl 07093780 Glasg. Math. J. 61, No. 3, 575-600 (2019). Reviewer: Zhan Jianming (Enshi) MSC: 16E05 16E45 16T15 16W70 PDF BibTeX XML Cite \textit{E. Herscovich}, Glasg. Math. J. 61, No. 3, 575--600 (2019; Zbl 07093780) Full Text: DOI OpenURL
Pous, Damien; Rot, Jurriaan Companions, causality and codensity. (English) Zbl 1442.68150 Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDF BibTeX XML Cite \textit{D. Pous} and \textit{J. Rot}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019; Zbl 1442.68150) Full Text: arXiv OpenURL
Paniello, Irene Evolution coalgebras. (English) Zbl 1446.17046 Linear Multilinear Algebra 67, No. 8, 1539-1553 (2019). Reviewer: Richard Varro (Montpellier) MSC: 17D92 16T15 15B51 16W99 PDF BibTeX XML Cite \textit{I. Paniello}, Linear Multilinear Algebra 67, No. 8, 1539--1553 (2019; Zbl 1446.17046) Full Text: DOI OpenURL
Berry, Lisa; Forcey, Stefan; Ronco, Maria; Showers, Patrick Species substitution, graph suspension, and graded Hopf algebras of painted tree polytopes. (English) Zbl 1420.18022 Algebr. Geom. Topol. 19, No. 2, 1019-1078 (2019). Reviewer: Loïc Foissy (Calais) MSC: 18D50 52B11 16T30 PDF BibTeX XML Cite \textit{L. Berry} et al., Algebr. Geom. Topol. 19, No. 2, 1019--1078 (2019; Zbl 1420.18022) Full Text: DOI OpenURL
Wang, Xingting A note on Masuoka’s theorem for semisimple irreducible Hopf algebras. (English) Zbl 1428.16033 Arch. Math. 113, No. 1, 11-20 (2019). Reviewer: Sonia Natale (Córdoba) MSC: 16T05 16E40 PDF BibTeX XML Cite \textit{X. Wang}, Arch. Math. 113, No. 1, 11--20 (2019; Zbl 1428.16033) Full Text: DOI arXiv OpenURL
Fang, Xiao-Li; Kim, Tae-Hwa; Yin, You-Qi The antipode of a quasitriangular quasi-Turaev group coalgebra is bijective. (English) Zbl 07072627 Commun. Algebra 47, No. 8, 3442-3456 (2019). MSC: 16T05 16T15 PDF BibTeX XML Cite \textit{X.-L. Fang} et al., Commun. Algebra 47, No. 8, 3442--3456 (2019; Zbl 07072627) Full Text: DOI OpenURL
Enqvist, Sebastian; Venema, Yde Disjunctive bases: normal forms and model theory for modal logics. (English) Zbl 1439.03044 Log. Methods Comput. Sci. 15, No. 1, Paper No. 30, 41 p. (2019). MSC: 03B45 03B70 68Q45 68Q70 PDF BibTeX XML Cite \textit{S. Enqvist} and \textit{Y. Venema}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 30, 41 p. (2019; Zbl 1439.03044) Full Text: DOI arXiv OpenURL
Balan, Adriana; Kurz, Alexander; Velebil, Jiří Extending set functors to generalised metric spaces. (English) Zbl 1408.18005 Log. Methods Comput. Sci. 15, No. 1, Paper No. 5, 57 p. (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B35 18D20 PDF BibTeX XML Cite \textit{A. Balan} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 5, 57 p. (2019; Zbl 1408.18005) Full Text: arXiv OpenURL
Adámek, Jiří; Milius, Stefan On functors preserving coproducts and algebras with iterativity. (English) Zbl 1423.18005 Theor. Comput. Sci. 763, 66-87 (2019). MSC: 18A22 68Q55 PDF BibTeX XML Cite \textit{J. Adámek} and \textit{S. Milius}, Theor. Comput. Sci. 763, 66--87 (2019; Zbl 1423.18005) Full Text: DOI OpenURL
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning Generalized Eilenberg theorem. Varieties of languages in a category. (English) Zbl 1407.68315 ACM Trans. Comput. Log. 20, No. 1, Article No. 3, 47 p. (2019). MSC: 68Q70 18B20 18D10 18D15 20M35 PDF BibTeX XML Cite \textit{J. Adámek} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 3, 47 p. (2019; Zbl 1407.68315) Full Text: DOI OpenURL
König, Barbara; Mika-Michalski, Christina (Metric) bisimulation games and real-valued modal logics for coalgebras. (English) Zbl 07378581 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 37, 17 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{B. König} and \textit{C. Mika-Michalski}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 37, 17 p. (2018; Zbl 07378581) Full Text: DOI OpenURL
Hasuo, Ichiro Coalgebraic theory of Büchi and parity automata: fixed-point specifications, categorically (invited tutorial). (English) Zbl 07378549 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 5, 2 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{I. Hasuo}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 5, 2 p. (2018; Zbl 07378549) Full Text: DOI OpenURL
Lemay, Jean-Simon Pacaud Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories. (English) Zbl 07359417 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 21, 20 p. (2018). MSC: 03F52 03G30 18C20 PDF BibTeX XML Cite \textit{J.-S. P. Lemay}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 21, 20 p. (2018; Zbl 07359417) Full Text: DOI OpenURL
Tang, Shuai A family of left Euler coalgebras and their Euler bilinear forms. (Chinese. English summary) Zbl 1438.16059 J. Northeast Norm. Univ., Nat. Sci. Ed. 50, No. 4, 10-15 (2018). MSC: 16T15 PDF BibTeX XML Cite \textit{S. Tang}, J. Northeast Norm. Univ., Nat. Sci. Ed. 50, No. 4, 10--15 (2018; Zbl 1438.16059) Full Text: DOI OpenURL
Minnich, Quinn; Umble, Ronald An \(A_\infty\)-coalgebra structure on a closed compact surface. (English) Zbl 1408.57022 Georgian Math. J. 25, No. 4, 593-602 (2018). MSC: 57N05 57N65 55P35 PDF BibTeX XML Cite \textit{Q. Minnich} and \textit{R. Umble}, Georgian Math. J. 25, No. 4, 593--602 (2018; Zbl 1408.57022) Full Text: DOI arXiv OpenURL
Dupont, Clément; Fink, Alex; Moci, Luca Universal Tutte characters via combinatorial coalgebras. (English) Zbl 1433.16037 Algebr. Comb. 1, No. 5, 603-651 (2018). MSC: 16T10 16T15 05B35 05C31 PDF BibTeX XML Cite \textit{C. Dupont} et al., Algebr. Comb. 1, No. 5, 603--651 (2018; Zbl 1433.16037) Full Text: DOI arXiv OpenURL
Péroux, Maximilien; Shipley, Brooke Coalgebras in symmetric monoidal categories of spectra. (English) Zbl 1433.16040 Homology Homotopy Appl. 21, No. 1, 1-18 (2019). MSC: 16T15 18M15 55P42 55P43 PDF BibTeX XML Cite \textit{M. Péroux} and \textit{B. Shipley}, Homology Homotopy Appl. 21, No. 1, 1--18 (2018; Zbl 1433.16040) Full Text: DOI arXiv OpenURL
Lorenz, Martin A tour of representation theory. (English) Zbl 1407.16001 Graduate Studies in Mathematics 193. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3680-3/hbk; 978-1-4704-4905-6/ebook). xvii, 654 p. (2018). Reviewer: Piroska Lakatos (Debrecen) MSC: 16-02 16Gxx 16Txx 17-02 17Bxx 20-02 20Cxx 20Gxx PDF BibTeX XML Cite \textit{M. Lorenz}, A tour of representation theory. Providence, RI: American Mathematical Society (AMS) (2018; Zbl 1407.16001) Full Text: DOI OpenURL
Komendantskaya, Ekaterina; Power, John Logic programming: laxness and saturation. (English) Zbl 1400.68049 J. Log. Algebr. Methods Program. 101, 1-21 (2018). MSC: 68N17 18C10 18C20 PDF BibTeX XML Cite \textit{E. Komendantskaya} and \textit{J. Power}, J. Log. Algebr. Methods Program. 101, 1--21 (2018; Zbl 1400.68049) Full Text: DOI OpenURL
Jiao, Zhengming; Huang, Gongyu Solutions of the Hom-Yang-Baxter equation from monoidal Hom-(co)algebra structures. (English) Zbl 1428.16034 Math. Notes 104, No. 1, 121-134 (2018) and Mat. Zametki 104, No. 1, 131-147 (2018). MSC: 16T25 17B38 PDF BibTeX XML Cite \textit{Z. Jiao} and \textit{G. Huang}, Math. Notes 104, No. 1, 121--134 (2018; Zbl 1428.16034) Full Text: DOI OpenURL
Feys, Frank M. V.; Hansen, Helle Hvid; Moss, Lawrence S. Long-term values in Markov decision processes, (co)algebraically. (English) Zbl 06962933 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, 78-99 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{F. M. V. Feys} et al., Lect. Notes Comput. Sci. 11202, 78--99 (2018; Zbl 06962933) Full Text: DOI OpenURL
Berger, Ulrich; Setzer, Anton Undecidability of equality for codata types. (English) Zbl 06962931 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 PDF BibTeX XML Cite \textit{U. Berger} and \textit{A. Setzer}, Lect. Notes Comput. Sci. 11202, 34--55 (2018; Zbl 06962931) Full Text: DOI OpenURL
Liu, Hongjiang; Yao, Jing The biproduct structure and its properties over Hopf \(\pi \)-coalgebras. (Chinese. English summary) Zbl 1413.16050 Math. Pract. Theory 48, No. 1, 255-262 (2018). MSC: 16T05 16T15 16S40 PDF BibTeX XML Cite \textit{H. Liu} and \textit{J. Yao}, Math. Pract. Theory 48, No. 1, 255--262 (2018; Zbl 1413.16050) OpenURL
Wang, Haiwei; Zhao, Bin The projective objects in the category of \(Q\)-sup-algebras. (Chinese. English summary) Zbl 1438.18012 J. Shandong Univ., Nat. Sci. 53, No. 2, 73-82 (2018). MSC: 18G05 06F07 18G25 16T15 PDF BibTeX XML Cite \textit{H. Wang} and \textit{B. Zhao}, J. Shandong Univ., Nat. Sci. 53, No. 2, 73--82 (2018; Zbl 1438.18012) Full Text: DOI OpenURL
Qiao, Yu; Zhao, Jia On Lie 2-bialgebras. (English) Zbl 1413.17017 Commun. Math. Res. 34, No. 1, 54-64 (2018). MSC: 17B62 PDF BibTeX XML Cite \textit{Y. Qiao} and \textit{J. Zhao}, Commun. Math. Res. 34, No. 1, 54--64 (2018; Zbl 1413.17017) Full Text: DOI OpenURL
Chirvasitu, Alexandru Relative Fourier transforms and expectations on coideal subalgebras. (English) Zbl 1433.16039 J. Algebra 516, 271-297 (2018). MSC: 16T15 16T20 20G42 46L51 PDF BibTeX XML Cite \textit{A. Chirvasitu}, J. Algebra 516, 271--297 (2018; Zbl 1433.16039) Full Text: DOI arXiv OpenURL
Bulacu, D.; Caenepeel, S.; Torrecillas, B. Frobenius and separable functors for the category of entwined modules over cowreaths. II: applications. (English) Zbl 06954166 J. Algebra 515, 236-277 (2018). Reviewer: Małgorzata E. Hryniewicka (Białystok) MSC: 16T05 16T15 18D15 PDF BibTeX XML Cite \textit{D. Bulacu} et al., J. Algebra 515, 236--277 (2018; Zbl 06954166) Full Text: DOI OpenURL
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara Coalgebraic behavioral metrics. (English) Zbl 06943961 Log. Methods Comput. Sci. 14, No. 3, Paper No. 20, 61 p. (2018). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 20, 61 p. (2018; Zbl 06943961) Full Text: DOI arXiv OpenURL
Milius, Stefan Proper functors and fixed points for finite behaviour. (English) Zbl 1448.18008 Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C20 68Q55 18C50 PDF BibTeX XML Cite \textit{S. Milius}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018; Zbl 1448.18008) Full Text: DOI arXiv OpenURL
Neves, Renato; Barbosa, Luís S. Languages and models for hybrid automata: a coalgebraic perspective. (English) Zbl 1400.68112 Theor. Comput. Sci. 744, 113-142 (2018). MSC: 68Q45 18B20 68Q70 68Q85 PDF BibTeX XML Cite \textit{R. Neves} and \textit{L. S. Barbosa}, Theor. Comput. Sci. 744, 113--142 (2018; Zbl 1400.68112) Full Text: DOI OpenURL
Iovanov, Miodrag Cristian Infinite dimensional serial algebras and their representations. (English) Zbl 1439.16034 J. Algebra 514, 330-371 (2018). MSC: 16T15 16G20 16G60 16T05 18E40 15A21 05C25 PDF BibTeX XML Cite \textit{M. C. Iovanov}, J. Algebra 514, 330--371 (2018; Zbl 1439.16034) Full Text: DOI OpenURL
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Jakob, Julian Unguarded recursion on coinductive resumptions. (English) Zbl 06932686 Log. Methods Comput. Sci. 14, No. 3, Paper No. 10, 47 p. (2018). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{S. Goncharov} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 10, 47 p. (2018; Zbl 06932686) Full Text: DOI arXiv OpenURL
Urabe, Natsuki; Hasuo, Ichiro Coalgebraic infinite traces and Kleisli simulations. (English) Zbl 06932683 Log. Methods Comput. Sci. 14, No. 3, Paper No. 15, 38 p. (2018). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{N. Urabe} and \textit{I. Hasuo}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 15, 38 p. (2018; Zbl 06932683) Full Text: DOI arXiv OpenURL
Fu, Xuerong; Yao, Hailou The Auslander-Reiten formula for comodule categories with applications to partial tilting comodules and tilting global dimension. (English) Zbl 1401.16040 Colloq. Math. 153, No. 2, 219-240 (2018). MSC: 16T15 16D90 PDF BibTeX XML Cite \textit{X. Fu} and \textit{H. Yao}, Colloq. Math. 153, No. 2, 219--240 (2018; Zbl 1401.16040) Full Text: DOI OpenURL
Ghani, Neil; Kupke, Clemens; Lambert, Alasdair; Nordvall Forsberg, Fredrik A compositional treatment of iterated open games. (English) Zbl 1416.91036 Theor. Comput. Sci. 741, 48-57 (2018). MSC: 91A20 91A40 PDF BibTeX XML Cite \textit{N. Ghani} et al., Theor. Comput. Sci. 741, 48--57 (2018; Zbl 1416.91036) Full Text: DOI OpenURL
Sokolova, Ana; Woracek, Harald Proper semirings and proper convex functors. (English) Zbl 06904544 Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 331-347 (2018). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{A. Sokolova} and \textit{H. Woracek}, Lect. Notes Comput. Sci. 10803, 331--347 (2018; Zbl 06904544) Full Text: DOI OpenURL
Lou, Qi; Wu, Quanshui Co-Poisson structures on polynomial Hopf algebras. (English) Zbl 1414.17015 Sci. China, Math. 61, No. 5, 813-830 (2018). MSC: 17B63 16W10 16S30 PDF BibTeX XML Cite \textit{Q. Lou} and \textit{Q. Wu}, Sci. China, Math. 61, No. 5, 813--830 (2018; Zbl 1414.17015) Full Text: DOI arXiv OpenURL
Hofmann, Dirk; Neves, Renato; Nora, Pedro Generating the algebraic theory of \(C(X)\): the case of partially ordered compact spaces. (English) Zbl 1419.18003 Theory Appl. Categ. 33, 276-295 (2018). Reviewer: Timothy Porter (Llandegfan) MSC: 18B30 18D20 18C35 54A05 54F05 PDF BibTeX XML Cite \textit{D. Hofmann} et al., Theory Appl. Categ. 33, 276--295 (2018; Zbl 1419.18003) Full Text: Link arXiv OpenURL
Adamek, Jiří; Milius, Stefan; Urbat, Henning A categorical approach to syntactic monoids. (English) Zbl 06876268 Log. Methods Comput. Sci. 14, No. 2, Paper No. 9, 34 p. (2018). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Adamek} et al., Log. Methods Comput. Sci. 14, No. 2, Paper No. 9, 34 p. (2018; Zbl 06876268) Full Text: DOI arXiv OpenURL
Bai, Ruipu; Guo, Weiwei; Lin, Lixin; Zhang, Yan \(n\)-Lie bialgebras. (English) Zbl 1429.17004 Linear Multilinear Algebra 66, No. 2, 382-397 (2018). MSC: 17A42 17B62 PDF BibTeX XML Cite \textit{R. Bai} et al., Linear Multilinear Algebra 66, No. 2, 382--397 (2018; Zbl 1429.17004) Full Text: DOI OpenURL
Fang, Xiao-Li Gauge transformations for quasitriangular quasi-Turaev group coalgebras. (English) Zbl 1410.16033 J. Algebra Appl. 17, No. 5, Article ID 1850080, 20 p. (2018). MSC: 16T05 16T15 PDF BibTeX XML Cite \textit{X.-L. Fang}, J. Algebra Appl. 17, No. 5, Article ID 1850080, 20 p. (2018; Zbl 1410.16033) Full Text: DOI OpenURL
Barbosa, Luís Soares Layered logics, coalgebraically. (English) Zbl 06858838 Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 55-63 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{L. S. Barbosa}, Lect. Notes Comput. Sci. 10669, 55--63 (2018; Zbl 06858838) Full Text: DOI OpenURL
Barlocco, Simone; Kupke, Clemens Angluin learning via logic. (English) Zbl 06856639 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10703, 72-90 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{S. Barlocco} and \textit{C. Kupke}, Lect. Notes Comput. Sci. 10703, 72--90 (2018; Zbl 06856639) Full Text: DOI OpenURL
Ballesteros, Ángel; Campoamor-Stursberg, Rutwig; Fernández-Saiz, Eduardo; Herranz, Francisco J.; de Lucas, Javier Poisson-Hopf algebra deformations of Lie-Hamilton systems. (English) Zbl 1412.70020 J. Phys. A, Math. Theor. 51, No. 6, Article ID 065202, 25 p. (2018). MSC: 70G45 70G65 17B80 34C14 37K30 PDF BibTeX XML Cite \textit{Á. Ballesteros} et al., J. Phys. A, Math. Theor. 51, No. 6, Article ID 065202, 25 p. (2018; Zbl 1412.70020) Full Text: DOI OpenURL
Bohmann, Anna Marie; Gerhardt, Teena; Høgenhaven, Amalie; Shipley, Brooke; Ziegenhagen, Stephanie Computational tools for topological coHochschild homology. (English) Zbl 1390.19004 Topology Appl. 235, 185-213 (2018). Reviewer: Rui Miguel Saramago (Porto Salvo) MSC: 19D55 16T15 16E40 55U35 55P43 PDF BibTeX XML Cite \textit{A. M. Bohmann} et al., Topology Appl. 235, 185--213 (2018; Zbl 1390.19004) Full Text: DOI OpenURL
Kozen, Dexter On the coalgebraic theory of Kleene algebra with tests. (English) Zbl 1437.68125 Başkent, Can (ed.) et al., Rohit Parikh on logic, language and society. Cham: Springer. Outst. Contrib. Log. 11, 279-298 (2017). MSC: 68Q70 68Q60 68Q17 PDF BibTeX XML Cite \textit{D. Kozen}, Outst. Contrib. Log. 11, 279--298 (2017; Zbl 1437.68125) Full Text: DOI OpenURL
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Efficient coalgebraic partition refinement. (English) Zbl 1442.68112 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDF BibTeX XML Cite \textit{U. Dorsch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017; Zbl 1442.68112) Full Text: DOI OpenURL
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana The power of convex algebras. (English) Zbl 1442.68085 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017). MSC: 68Q45 68Q55 68Q70 68Q85 68Q87 PDF BibTeX XML Cite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017; Zbl 1442.68085) Full Text: DOI OpenURL
Cockett, J. Robin B.; Lemay, Jean-Simon There is only one notion of differentiation. (English) Zbl 1434.18005 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 13, 21 p. (2017). MSC: 18E05 03F52 03G30 18M05 PDF BibTeX XML Cite \textit{J. R. B. Cockett} and \textit{J.-S. Lemay}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 13, 21 p. (2017; Zbl 1434.18005) Full Text: DOI OpenURL
Padberg, Julia Hierarchical graph transformation revisited. Transformations of coalgebraic graphs. (English) Zbl 1425.68171 de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 20-35 (2017). MSC: 68Q42 18A30 68R10 PDF BibTeX XML Cite \textit{J. Padberg}, Lect. Notes Comput. Sci. 10373, 20--35 (2017; Zbl 1425.68171) Full Text: DOI OpenURL
Urbat, Henning Finite behaviours and finitary corecursion. (English) Zbl 1433.68207 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 24, 16 p. (2017). MSC: 68Q55 18C50 PDF BibTeX XML Cite \textit{H. Urbat}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 24, 16 p. (2017; Zbl 1433.68207) Full Text: DOI OpenURL