Bourn, Dominique A remarkable aspect of internal groupoids in regular Mal’tsev categories. (English) Zbl 07333621 Theory Appl. Categ. 37, 326-336 (2021). MSC: 08B05 18A20 18C10 18C40 18E13 PDF BibTeX XML Cite \textit{D. Bourn}, Theory Appl. Categ. 37, 326--336 (2021; Zbl 07333621) Full Text: Link
Bourn, Dominique Split epimorphisms as a productive tool in universal algebra. (English) Zbl 1453.08003 Algebra Univers. 82, No. 1, Paper No. 1, 22 p. (2021). MSC: 08B10 08B05 18A20 18A32 18C10 18E13 PDF BibTeX XML Cite \textit{D. Bourn}, Algebra Univers. 82, No. 1, Paper No. 1, 22 p. (2021; Zbl 1453.08003) Full Text: DOI
Bourke, John Iterated algebraic injectivity and the faithfulness conjecture. (English) Zbl 07308124 High. Struct. 4, No. 2, 183-210 (2020). MSC: 18N10 18C10 55U35 PDF BibTeX XML Cite \textit{J. Bourke}, High. Struct. 4, No. 2, 183--210 (2020; Zbl 07308124) Full Text: Link
Medina-Mardones, Anibal M. A finitely presented \(E_\infty\)-prop. I: Algebraic context. (English) Zbl 07308119 High. Struct. 4, No. 2, 1-21 (2020). Reviewer: Ittay Weiss (Portsmouth) MSC: 55U10 18C10 55P48 18M60 PDF BibTeX XML Cite \textit{A. M. Medina-Mardones}, High. Struct. 4, No. 2, 1--21 (2020; Zbl 07308119) Full Text: Link
Gohara, Jumpei; Hirota, Yuji; Sako, Akifumi Categorical perspective on quantization of Poisson algebra. (English) Zbl 1454.81121 J. Math. Phys. 61, No. 7, 073506, 19 p. (2020). MSC: 81S10 53D55 18C10 PDF BibTeX XML Cite \textit{J. Gohara} et al., J. Math. Phys. 61, No. 7, 073506, 19 p. (2020; Zbl 1454.81121) Full Text: DOI
Trotta, Davide The existential completion. (English) Zbl 1446.18007 Theory Appl. Categ. 35, 1576-1607 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C15 PDF BibTeX XML Cite \textit{D. Trotta}, Theory Appl. Categ. 35, 1576--1607 (2020; Zbl 1446.18007) Full Text: Link
Čoupek, Pavel; Šťovíček, Jan Cotilting sheaves on Noetherian schemes. (English) Zbl 1446.18006 Math. Z. 296, No. 1-2, 275-312 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 03E55 03G30 18-02 18G80 PDF BibTeX XML Cite \textit{P. Čoupek} and \textit{J. Šťovíček}, Math. Z. 296, No. 1--2, 275--312 (2020; Zbl 1446.18006) Full Text: DOI
Berman, John D. Higher Lawvere theories. (English) Zbl 1440.18006 J. Pure Appl. Algebra 224, No. 9, Article ID 106362, 17 p. (2020). Reviewer: Nima Rasekh (Lausanne) MSC: 18C10 18N70 18N60 PDF BibTeX XML Cite \textit{J. D. Berman}, J. Pure Appl. Algebra 224, No. 9, Article ID 106362, 17 p. (2020; Zbl 1440.18006) Full Text: DOI
Fiore, Marcelo; Voevodsky, Vladimir Lawvere theories and C-systems. (English) Zbl 1451.18013 Proc. Am. Math. Soc. 148, No. 6, 2297-2315 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C50 08C99 03F50 PDF BibTeX XML Cite \textit{M. Fiore} and \textit{V. Voevodsky}, Proc. Am. Math. Soc. 148, No. 6, 2297--2315 (2020; Zbl 1451.18013) Full Text: DOI
Haberman, Boaz Algebraic theories and commutativity in a sheaf topos. (English) Zbl 1439.18005 Appl. Categ. Struct. 28, No. 2, 287-322 (2020). MSC: 18C10 18B25 18F20 PDF BibTeX XML Cite \textit{B. Haberman}, Appl. Categ. Struct. 28, No. 2, 287--322 (2020; Zbl 1439.18005) Full Text: DOI
Polonsky, Andrew; Johann, Patricia Local presentability of certain comma categories. (English) Zbl 1432.18005 Appl. Categ. Struct. 28, No. 1, 135-142 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C15 PDF BibTeX XML Cite \textit{A. Polonsky} and \textit{P. Johann}, Appl. Categ. Struct. 28, No. 1, 135--142 (2020; Zbl 1432.18005) Full Text: DOI
Lack, Stephen; Tendas, Giacomo Enriched regular theories. (English) Zbl 07173742 J. Pure Appl. Algebra 224, No. 6, Article ID 106268, 29 p. (2020). MSC: 18D20 18C10 18C35 18B15 PDF BibTeX XML Cite \textit{S. Lack} and \textit{G. Tendas}, J. Pure Appl. Algebra 224, No. 6, Article ID 106268, 29 p. (2020; Zbl 07173742) Full Text: DOI
Barbieri-Viale, Luca; Prest, Mike Tensor product of motives via Künneth formula. (English) Zbl 1439.14077 J. Pure Appl. Algebra 224, No. 6, Article ID 106267, 13 p. (2020). MSC: 14F42 03C60 18C10 18E10 PDF BibTeX XML Cite \textit{L. Barbieri-Viale} and \textit{M. Prest}, J. Pure Appl. Algebra 224, No. 6, Article ID 106267, 13 p. (2020; Zbl 1439.14077) Full Text: DOI
Zangurashvili, Dali Associativity-like conditions on protomodular algebras. (English) Zbl 07146745 Algebra Univers. 81, No. 1, Paper No. 1, 12 p. (2020). MSC: 08B05 18C05 18C10 03C05 PDF BibTeX XML Cite \textit{D. Zangurashvili}, Algebra Univers. 81, No. 1, Paper No. 1, 12 p. (2020; Zbl 07146745) Full Text: DOI
Caviglia, Giovanni; Gutiérrez, Javier J. On Morita weak equivalences of simplicial algebraic theories and operads. (English) Zbl 1429.55018 J. Pure Appl. Algebra 224, No. 4, Article ID 106217, 22 p. (2020). Reviewer: Marja Kankaanrinta (Helsinki) MSC: 55U35 18C10 18M60 18N50 PDF BibTeX XML Cite \textit{G. Caviglia} and \textit{J. J. Gutiérrez}, J. Pure Appl. Algebra 224, No. 4, Article ID 106217, 22 p. (2020; Zbl 1429.55018) Full Text: DOI arXiv
Jacqmin, Pierre-Alain Embedding theorems for Janelidze’s matrix conditions. (English) Zbl 1423.18012 J. Pure Appl. Algebra 224, No. 2, 469-506 (2020). MSC: 18C35 08B05 18B15 18C10 08A55 PDF BibTeX XML Cite \textit{P.-A. Jacqmin}, J. Pure Appl. Algebra 224, No. 2, 469--506 (2020; Zbl 1423.18012) Full Text: DOI
Iohara, Kenji (ed.); Malbos, Philippe (ed.); Saito, Masa-Hiko (ed.); Takayama, Nobuki (ed.) Two algebraic byways from differential equations: Gröbner bases and quivers. (English) Zbl 1444.14002 Algorithms and Computation in Mathematics 28. Cham: Springer (ISBN 978-3-030-26453-6/hbk; 978-3-030-26454-3/ebook). xi, 371 p. (2020). MSC: 14-06 16-06 62-06 00B15 13P10 14F10 14H60 14L24 14L30 16D40 16G20 16S37 18C10 18N10 18G10 34M35 34M40 35A25 53D20 58A15 68Q42 PDF BibTeX XML Cite \textit{K. Iohara} (ed.) et al., Two algebraic byways from differential equations: Gröbner bases and quivers. Cham: Springer (2020; Zbl 1444.14002) Full Text: DOI
Forssell, Henrik; Lumsdaine, Peter Lefanu Constructive reflectivity principles for regular theories. (English) Zbl 07149970 J. Symb. Log. 84, No. 4, 1348-1367 (2019). MSC: 03F65 03G30 18C10 PDF BibTeX XML Cite \textit{H. Forssell} and \textit{P. L. Lumsdaine}, J. Symb. Log. 84, No. 4, 1348--1367 (2019; Zbl 07149970) Full Text: DOI
Abbadini, Marco The dual of compact ordered spaces is a variety. (English) Zbl 1446.18003 Theory Appl. Categ. 34, 1401-1439 (2019). Reviewer: Willian Ribeiro (Coimbra) MSC: 18B35 03C05 08A65 18C10 54A05 54F05 PDF BibTeX XML Cite \textit{M. Abbadini}, Theory Appl. Categ. 34, 1401--1439 (2019; Zbl 1446.18003) Full Text: Link arXiv
Fujii, Soichiro A unified framework for notions of algebraic theory. (English) Zbl 1441.18007 Theory Appl. Categ. 34, 1246-1316 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18M05 PDF BibTeX XML Cite \textit{S. Fujii}, Theory Appl. Categ. 34, 1246--1316 (2019; Zbl 1441.18007) Full Text: Link arXiv
Chen, Ruiyuan Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\). (English) Zbl 1457.03062 Trans. Am. Math. Soc. 372, No. 12, 8955-8983 (2019). Reviewer: Ian Malcolm Johnson (Princeton) MSC: 03E15 03G30 03C15 18C10 03C75 PDF BibTeX XML Cite \textit{R. Chen}, Trans. Am. Math. Soc. 372, No. 12, 8955--8983 (2019; Zbl 1457.03062) Full Text: DOI
Ramasu, Pako A note on internal object action representability of 1-cat groups and crossed modules. (English) Zbl 1423.18029 Theory Appl. Categ. 34, 1165-1178 (2019). MSC: 18D35 20F28 18D05 18D15 18C15 18C10 PDF BibTeX XML Cite \textit{P. Ramasu}, Theory Appl. Categ. 34, 1165--1178 (2019; Zbl 1423.18029) Full Text: Link
Palmgren, Erik Categories with families and first-order logic with dependent sorts. (English) Zbl 07114351 Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019). MSC: 18C10 03B15 03F50 03G30 68Q55 PDF BibTeX XML Cite \textit{E. Palmgren}, Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019; Zbl 07114351) Full Text: DOI
Henry, Simon An abstract elementary class nonaxiomatizable in \(L_{\infty ,\kappa}\). (English) Zbl 1429.18004 J. Symb. Log. 84, No. 3, 1240-1251 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18C10 03G30 03C48 PDF BibTeX XML Cite \textit{S. Henry}, J. Symb. Log. 84, No. 3, 1240--1251 (2019; Zbl 1429.18004) Full Text: DOI
Coulembier, Kevin; Mazorchuk, Volodymyr; Zhang, Xiaoting Indecomposable manipulations with simple modules in category \(\mathcal{O}\). (English) Zbl 07105058 Math. Res. Lett. 26, No. 2, 447-499 (2019). MSC: 17B55 18D05 18C10 20G20 PDF BibTeX XML Cite \textit{K. Coulembier} et al., Math. Res. Lett. 26, No. 2, 447--499 (2019; Zbl 07105058) Full Text: DOI
Caramello, Olivia; Lafforgue, Laurent Some aspects of topological Galois theory. (English) Zbl 1420.18005 J. Geom. Phys. 142, 287-317 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 18A15 18A35 13B05 18B25 18C10 18F10 18F20 20B27 03C65 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{L. Lafforgue}, J. Geom. Phys. 142, 287--317 (2019; Zbl 1420.18005) Full Text: DOI
Ésik, Z. Equational properties of fixed-point operations in Cartesian categories: an overview. (English) Zbl 1423.68269 Math. Struct. Comput. Sci. 29, No. 6, 909-925 (2019). MSC: 68Q55 18B20 18C10 18D10 68Q70 PDF BibTeX XML Cite \textit{Z. Ésik}, Math. Struct. Comput. Sci. 29, No. 6, 909--925 (2019; Zbl 1423.68269) Full Text: DOI
Ahrens, Benedikt Initial semantics for reduction rules. (English) Zbl 1421.68013 Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019). MSC: 68N30 18C10 18C50 68N18 PDF BibTeX XML Cite \textit{B. Ahrens}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019; Zbl 1421.68013) Full Text: DOI arXiv
Szymik, Markus Alexander-Beck modules detect the unknot. (English) Zbl 1423.57032 Fundam. Math. 246, No. 1, 89-108 (2019). Reviewer: Stefan Friedl (Regensburg) MSC: 57M27 20N02 18C10 PDF BibTeX XML Cite \textit{M. Szymik}, Fundam. Math. 246, No. 1, 89--108 (2019; Zbl 1423.57032) Full Text: DOI arXiv
Benini, Marco; Bonacina, Roberta Well quasi orders in a categorical setting. (English) Zbl 07043060 Arch. Math. Logic 58, No. 3-4, 501-526 (2019). MSC: 06A11 06A75 03G10 18C10 PDF BibTeX XML Cite \textit{M. Benini} and \textit{R. Bonacina}, Arch. Math. Logic 58, No. 3--4, 501--526 (2019; Zbl 07043060) Full Text: DOI
Száz, Árpád Corelations are more powerful tools than relations. (English) Zbl 07008038 Rassias, Themistocles M. (ed.), Applications of nonlinear analysis. Cham: Springer (ISBN 978-3-319-89814-8/hbk; 978-3-319-89815-5/ebook). Springer Optimization and Its Applications 134, 711-779 (2018). MSC: 18C10 PDF BibTeX XML Cite \textit{Á. Száz}, Springer Optim. Appl. 134, 711--779 (2018; Zbl 07008038) Full Text: DOI
Baez, John C.; Fong, Brendan A compositional framework for passive linear networks. (English) Zbl 1402.18005 Theory Appl. Categ. 33, 1158-1222 (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18D10 53D12 94C05 PDF BibTeX XML Cite \textit{J. C. Baez} and \textit{B. Fong}, Theory Appl. Categ. 33, 1158--1222 (2018; Zbl 1402.18005) Full Text: Link arXiv
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
Isaev, Valery Model structures on categories of models of type theories. (English) Zbl 06965096 Math. Struct. Comput. Sci. 28, No. 10, 1695-1722 (2018). MSC: 03G30 03B38 18C10 PDF BibTeX XML Cite \textit{V. Isaev}, Math. Struct. Comput. Sci. 28, No. 10, 1695--1722 (2018; Zbl 06965096) Full Text: DOI arXiv
Barbieri-Viale, Luca; Caramello, Olivia; Lafforgue, Laurent Syntactic categories for Nori motives. (English) Zbl 06941788 Sel. Math., New Ser. 24, No. 4, 3619-3648 (2018). MSC: 18C10 03G30 19E15 14F42 PDF BibTeX XML Cite \textit{L. Barbieri-Viale} et al., Sel. Math., New Ser. 24, No. 4, 3619--3648 (2018; Zbl 06941788) Full Text: DOI arXiv
Berman, John D. On the commutative algebra of categories. (English) Zbl 1423.18030 Algebr. Geom. Topol. 18, No. 5, 2963-3012 (2018). Reviewer: Ian Coley (Los Angeles) MSC: 18D50 18C10 55U40 13C60 19D23 PDF BibTeX XML Cite \textit{J. D. Berman}, Algebr. Geom. Topol. 18, No. 5, 2963--3012 (2018; Zbl 1423.18030) Full Text: DOI
Baez, John C.; Coya, Brandon; Rebro, Franciscus Props in network theory. (English) Zbl 1400.18004 Theory Appl. Categ. 33, 727-783 (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18D10 94C05 94C15 PDF BibTeX XML Cite \textit{J. C. Baez} et al., Theory Appl. Categ. 33, 727--783 (2018; Zbl 1400.18004) Full Text: Link arXiv
Baralić, Djordje; Petrić, Zoran; Telebaković, Sonja Spheres as Frobenius objects. (English) Zbl 1401.18025 Theory Appl. Categ. 33, 691-726 (2018). Reviewer: Takuo Matsuoka (Odawara) MSC: 18D35 57R56 18C10 18D10 PDF BibTeX XML Cite \textit{D. Baralić} et al., Theory Appl. Categ. 33, 691--726 (2018; Zbl 1401.18025) Full Text: Link
Fong, Brendan Decorated corelations. (English) Zbl 1400.18011 Theory Appl. Categ. 33, 608-643 (2018). Reviewer: Gabriella Böhm (Budapest) MSC: 18D10 18D35 18C10 81P45 PDF BibTeX XML Cite \textit{B. Fong}, Theory Appl. Categ. 33, 608--643 (2018; Zbl 1400.18011) Full Text: Link arXiv
Lucyshyn-Wright, Rory B. B. Commutants for enriched algebraic theories and monads. (English) Zbl 06909435 Appl. Categ. Struct. 26, No. 3, 559-596 (2018). MSC: 18C10 18C15 18C20 18C05 18D20 18D15 08A99 08B99 08C05 08C99 03C05 18D35 18D10 18D25 18A35 PDF BibTeX XML Cite \textit{R. B. B. Lucyshyn-Wright}, Appl. Categ. Struct. 26, No. 3, 559--596 (2018; Zbl 06909435) Full Text: DOI arXiv
Ulrickson, Peter Endofunctors of quandles and racks. (English) Zbl 1404.18010 Commun. Algebra 46, No. 7, 2964-2967 (2018). Reviewer: Osman Mucuk (Kayseri) MSC: 18C10 20N02 57M27 08C05 PDF BibTeX XML Cite \textit{P. Ulrickson}, Commun. Algebra 46, No. 7, 2964--2967 (2018; Zbl 1404.18010) Full Text: DOI arXiv
Paques, Antonio; Tamusiunas, Thaísa The Galois correspondence theorem for groupoid actions. (English) Zbl 1420.16029 J. Algebra 509, 105-123 (2018). MSC: 16W25 18B40 18C10 PDF BibTeX XML Cite \textit{A. Paques} and \textit{T. Tamusiunas}, J. Algebra 509, 105--123 (2018; Zbl 1420.16029) Full Text: DOI
De Silva, V.; Munch, E.; Stefanou, A. Theory of interleavings on categories with a flow. (English) Zbl 1433.18002 Theory Appl. Categ. 33, 583-607 (2018). Reviewer: Augusto Stoffel (Greifswald) MSC: 18C10 18M05 18N10 18D20 18D25 55N10 PDF BibTeX XML Cite \textit{V. De Silva} et al., Theory Appl. Categ. 33, 583--607 (2018; Zbl 1433.18002) Full Text: Link
Beke, T.; Rosický, J. Elementary equivalences and accessible functors. (English) Zbl 1390.18010 Ann. Pure Appl. Logic 169, No. 7, 674-703 (2018). Reviewer: Sebastien Vasey (Cambridge) MSC: 18C35 18C10 03C48 03C75 PDF BibTeX XML Cite \textit{T. Beke} and \textit{J. Rosický}, Ann. Pure Appl. Logic 169, No. 7, 674--703 (2018; Zbl 1390.18010) Full Text: DOI
Costoya, Cristina; Scherer, Jérôme; Viruel, Antonio A torus theorem for homotopy nilpotent loop spaces. (English) Zbl 1396.55006 Ark. Mat. 56, No. 1, 53-71 (2018). Reviewer: Martina Rovelli (Baltimore) MSC: 55P35 18C10 55M30 55P65 PDF BibTeX XML Cite \textit{C. Costoya} et al., Ark. Mat. 56, No. 1, 53--71 (2018; Zbl 1396.55006) Full Text: DOI
Szymik, Markus Permutations, power operations, and the center of the category of racks. (English) Zbl 1396.57024 Commun. Algebra 46, No. 1, 230-240 (2018). Reviewer: Přemysl Jedlička (Praha) MSC: 57M27 18C10 20N02 PDF BibTeX XML Cite \textit{M. Szymik}, Commun. Algebra 46, No. 1, 230--240 (2018; Zbl 1396.57024) Full Text: DOI arXiv
Garner, Richard; Power, John An enriched view on the extended finitary monad-Lawvere theory correspondence. (English) Zbl 1419.18004 Log. Methods Comput. Sci. 14, No. 1, Paper No. 16, 23 p. (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C35 18D20 18C20 PDF BibTeX XML Cite \textit{R. Garner} and \textit{J. Power}, Log. Methods Comput. Sci. 14, No. 1, Paper No. 16, 23 p. (2018; Zbl 1419.18004) Full Text: DOI arXiv
Lucyshyn-Wright, Rory B. B. Convex spaces, affine spaces, and commutants for algebraic theories. (English) Zbl 1423.18010 Appl. Categ. Struct. 26, No. 2, 369-400 (2018). MSC: 18C10 06F25 08A62 08B99 08C05 15A27 18-02 06-02 08-02 PDF BibTeX XML Cite \textit{R. B. B. Lucyshyn-Wright}, Appl. Categ. Struct. 26, No. 2, 369--400 (2018; Zbl 1423.18010) Full Text: DOI arXiv
Gyenis, Zalán; Rédei, Miklós Categorial subsystem independence as morphism co-possibility. (English) Zbl 1400.18005 Commun. Math. Phys. 357, No. 1, 447-465 (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 81P05 PDF BibTeX XML Cite \textit{Z. Gyenis} and \textit{M. Rédei}, Commun. Math. Phys. 357, No. 1, 447--465 (2018; Zbl 1400.18005) Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1430.68423 J. Log. Algebr. Methods Program. 96, 81-110 (2018). MSC: 68V15 18C10 68Q42 PDF BibTeX XML Cite \textit{S. Skeirik} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 96, 81--110 (2018; Zbl 1430.68423) Full Text: DOI
Jacqmin, Pierre-Alain An embedding theorem for regular Mal’tsev categories. (English) Zbl 1401.18013 J. Pure Appl. Algebra 222, No. 5, 1049-1068 (2018). MSC: 18C35 18B15 08A55 08B05 18C10 PDF BibTeX XML Cite \textit{P.-A. Jacqmin}, J. Pure Appl. Algebra 222, No. 5, 1049--1068 (2018; Zbl 1401.18013) Full Text: DOI arXiv
Kuber, Amit; Rosický, Jiří Definable categories. (English) Zbl 1408.18007 J. Pure Appl. Algebra 222, No. 5, 1006-1025 (2018). Reviewer: Serguei V. Solov’ev (Toulouse) MSC: 18C35 18E10 03G30 18C10 PDF BibTeX XML Cite \textit{A. Kuber} and \textit{J. Rosický}, J. Pure Appl. Algebra 222, No. 5, 1006--1025 (2018; Zbl 1408.18007) Full Text: DOI
Caramello, Olivia Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic ‘bridges’. (English) Zbl 06638227 Oxford: Oxford University Press (ISBN 978-0-19-875891-4/hbk). xii, 368 p. (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03-02 03G30 18B25 18C10 PDF BibTeX XML Cite \textit{O. Caramello}, Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'. Oxford: Oxford University Press (2018; Zbl 06638227) Full Text: DOI
Urabe, Natsuki; Hara, Masaki; Hasuo, Ichiro Categorical liveness checking by corecursive algebras. (English) Zbl 07297899 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press (ISBN 978-1-5090-3018-7). Article No. 91, 12 p. (2017). MSC: 68Q85 18B20 18C10 PDF BibTeX XML Cite \textit{N. Urabe} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 91, 12 p. (2017; Zbl 07297899) Full Text: Link
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina Homotopy-initial algebras in type theory. (English) Zbl 1426.03016 J. ACM 63, No. 6, Paper No. 51, 45 p. (2017). MSC: 03B38 03G30 18C10 55U35 PDF BibTeX XML Cite \textit{S. Awodey} et al., J. ACM 63, No. 6, Paper No. 51, 45 p. (2017; Zbl 1426.03016) Full Text: DOI arXiv
Fiore, Marcelo On the concrete representation of discrete enriched abstract clones. (English) Zbl 1423.08006 Tbil. Math. J. 10, No. 3, 297-328 (2017). MSC: 08C05 08A40 18C10 PDF BibTeX XML Cite \textit{M. Fiore}, Tbil. Math. J. 10, No. 3, 297--328 (2017; Zbl 1423.08006) Full Text: DOI
Adámek, Jiří; Rosický, Jiří Algebra and local presentability: how algebraic are they? (A survey). (English) Zbl 1387.18010 Tbil. Math. J. 10, No. 3, 279-295 (2017). Reviewer: Michel Hébert (Cairo) MSC: 18C10 18C35 08C05 03C05 18C05 PDF BibTeX XML Cite \textit{J. Adámek} and \textit{J. Rosický}, Tbil. Math. J. 10, No. 3, 279--295 (2017; Zbl 1387.18010) Full Text: DOI
Rico, Guillermo Ortiz; Viera, Lina Isabel Triviño A coinductive approach to real analysis. (Spanish. English summary) Zbl 1378.18001 Rev. Integr. 35, No. 1, 103-125 (2017). MSC: 18A05 18C10 03B70 68Q65 PDF BibTeX XML Cite \textit{G. O. Rico} and \textit{L. I. T. Viera}, Rev. Integr. 35, No. 1, 103--125 (2017; Zbl 1378.18001) Full Text: DOI
Lucyshyn-Wright, Rory B. B. Functional distribution monads in functional-analytic contexts. (English) Zbl 1402.46052 Adv. Math. 322, 806-860 (2017). Reviewer: Sven-Ake Wegner (Middlesbrough) MSC: 46M15 46E27 46F99 18C10 18C15 18C20 18D15 18D20 52A01 46M99 06A11 PDF BibTeX XML Cite \textit{R. B. B. Lucyshyn-Wright}, Adv. Math. 322, 806--860 (2017; Zbl 1402.46052) Full Text: DOI arXiv
Milius, Stefan; Litak, Tadeusz Guard your daggers and traces: properties of guarded (co-)recursion. (English) Zbl 1375.68042 Fundam. Inform. 150, No. 3-4, 407-449 (2017). MSC: 68N30 18C10 18D15 68Q55 PDF BibTeX XML Cite \textit{S. Milius} and \textit{T. Litak}, Fundam. Inform. 150, No. 3--4, 407--449 (2017; Zbl 1375.68042) Full Text: DOI
Ma, Na’na; Zhao, Bin An equivalent of algebraic \(\Omega\)-categories. (English) Zbl 1389.18001 J. Math. Res. Appl. 37, No. 2, 148-162 (2017). MSC: 18A35 18C05 18C10 PDF BibTeX XML Cite \textit{N. Ma} and \textit{B. Zhao}, J. Math. Res. Appl. 37, No. 2, 148--162 (2017; Zbl 1389.18001) Full Text: DOI
Mazorchuk, Volodymyr Classification problems in 2-representation theory. (English) Zbl 1388.18005 São Paulo J. Math. Sci. 11, No. 1, 1-22 (2017). Reviewer: Marek Golasiński (Olsztyn) MSC: 18D05 16D20 18C10 PDF BibTeX XML Cite \textit{V. Mazorchuk}, São Paulo J. Math. Sci. 11, No. 1, 1--22 (2017; Zbl 1388.18005) Full Text: DOI arXiv
Caramello, O.; Russo, A. C. On the geometric theory of local MV-algebras. (English) Zbl 1423.06045 J. Algebra 479, 263-313 (2017). MSC: 06D35 03G30 06B20 06F20 18B25 18C10 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{A. C. Russo}, J. Algebra 479, 263--313 (2017; Zbl 1423.06045) Full Text: DOI
Guitart, René Autocategories: III. representations, and expansions of previous examples. (English) Zbl 1378.18006 Cah. Topol. Géom. Différ. Catég. 58, No. 1, 67-80 (2017). MSC: 18D05 57M25 18A10 18C10 PDF BibTeX XML Cite \textit{R. Guitart}, Cah. Topol. Géom. Différ. Catég. 58, No. 1, 67--80 (2017; Zbl 1378.18006)
Pol’shin, Simeon Relative cohomology of algebraic theories. (English) Zbl 1386.18012 Appl. Categ. Struct. 25, No. 3, 447-453 (2017). Reviewer: Simion Sorin Breaz (Cluj-Napoca) MSC: 18C10 18E10 18A25 PDF BibTeX XML Cite \textit{S. Pol'shin}, Appl. Categ. Struct. 25, No. 3, 447--453 (2017; Zbl 1386.18012) Full Text: DOI
Adámek, Jiří; Milius, Stefan; Velebil, Jiří A presentation of bases for parametrized iterativity. (English) Zbl 1374.18012 Theory Appl. Categ. 32, 682-718 (2017). Reviewer: Fosco Loregian (Mestrino) MSC: 18C20 18C10 18C35 08C05 PDF BibTeX XML Cite \textit{J. Adámek} et al., Theory Appl. Categ. 32, 682--718 (2017; Zbl 1374.18012) Full Text: EMIS
Došen, Kosta; Petrić, Zoran Representing conjunctive deductions by disjunctive deductions. (English) Zbl 1417.03277 Rev. Symb. Log. 10, No. 1, 145-157 (2017). MSC: 03F03 18A15 18C10 PDF BibTeX XML Cite \textit{K. Došen} and \textit{Z. Petrić}, Rev. Symb. Log. 10, No. 1, 145--157 (2017; Zbl 1417.03277) Full Text: DOI arXiv
Bourn, Dominique From groups to categorial algebra. Introduction to protomodular and Mal’tsev categories. (English) Zbl 1403.18001 Compact Textbooks in Mathematics. Basel: Birkhäuser/Springer (ISBN 978-3-319-57218-5/pbk; 978-3-319-57219-2/ebook). xii, 106 p. (2017). Reviewer: Fosco Loregian (Mestrino) MSC: 18-02 18C10 18B40 18G99 PDF BibTeX XML Cite \textit{D. Bourn}, From groups to categorial algebra. Introduction to protomodular and Mal'tsev categories. Basel: Birkhäuser/Springer (2017; Zbl 1403.18001) Full Text: DOI
Schultz, Patrick; Spivak, David I.; Vasilakopoulou, Christina; Wisnesky, Ryan Algebraic databases. (English) Zbl 1386.18013 Theory Appl. Categ. 32, 547-619 (2017). Reviewer: Mark S. Burgin (Los Angeles) MSC: 18C10 18D05 68P15 PDF BibTeX XML Cite \textit{P. Schultz} et al., Theory Appl. Categ. 32, 547--619 (2017; Zbl 1386.18013) Full Text: EMIS arXiv
Dwyer, William G.; Szymik, Markus Frobenius and the derived centers of algebraic theories. (English) Zbl 1372.18003 Math. Z. 285, No. 3-4, 1181-1203 (2017). Reviewer: Jiří Rosický (Brno) MSC: 18C10 55P99 PDF BibTeX XML Cite \textit{W. G. Dwyer} and \textit{M. Szymik}, Math. Z. 285, No. 3--4, 1181--1203 (2017; Zbl 1372.18003) Full Text: DOI arXiv
Coya, Brandon; Fong, Brendan Corelations are the prop for extraspecial commutative Frobenius monoids. (English) Zbl 1372.18002 Theory Appl. Categ. 32, 380-395 (2017). Reviewer: Gabriella Böhm (Budapest) MSC: 18C10 18D10 18B10 PDF BibTeX XML Cite \textit{B. Coya} and \textit{B. Fong}, Theory Appl. Categ. 32, 380--395 (2017; Zbl 1372.18002) Full Text: EMIS arXiv
Caramello, Olivia; Wentzlaff, Nicholas Cyclic theories. (English) Zbl 1386.18006 Appl. Categ. Struct. 25, No. 1, 105-126 (2017). Reviewer: Caterina Consani (Baltimore) MSC: 18B25 18C10 03G10 19D55 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{N. Wentzlaff}, Appl. Categ. Struct. 25, No. 1, 105--126 (2017; Zbl 1386.18006) Full Text: DOI arXiv
Peruzzi, Alberto Category theory and the search for universals: a very short guide for philosophers. (English) Zbl 1418.03024 Abeles, Francine F. (ed.) et al., Modern logic 1850–1950, East and West. Basel: Birkhäuser/Springer. Stud. Univers. Log., 159-182 (2016). MSC: 03A05 18C10 03G30 PDF BibTeX XML Cite \textit{A. Peruzzi}, in: Modern logic 1850--1950, East and West. Basel: Birkhäuser/Springer. 159--182 (2016; Zbl 1418.03024) Full Text: DOI
Meseguer, José Variant-based satisfiability in initial algebras. (English) Zbl 1396.68074 Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016). MSC: 68Q65 18C10 68Q42 68T15 PDF BibTeX XML Cite \textit{J. Meseguer}, Commun. Comput. Inf. Sci. 596, 3--34 (2016; Zbl 1396.68074) Full Text: DOI
Hino, Wataru; Kobayashi, Hiroki; Hasuo, Ichiro; Jacobs, Bart Healthiness from duality. (English) Zbl 1401.68042 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 682-691 (2016). MSC: 68N30 03B70 18A40 18C10 PDF BibTeX XML Cite \textit{W. Hino} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 682--691 (2016; Zbl 1401.68042) Full Text: DOI
Azevedo de Amorim, Arthur Binding operators for nominal sets. (English) Zbl 1395.68088 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 3-27 (2016). MSC: 68N30 03E70 03G30 18C10 18C50 PDF BibTeX XML Cite \textit{A. Azevedo de Amorim}, Electron. Notes Theor. Comput. Sci. 325, 3--27 (2016; Zbl 1395.68088) Full Text: DOI
Makai, Endre Epireflective subcategories of TOP, \(T_2\)UNIF, UNIF, closed under epimorphic images, or being algebraic. (English) Zbl 1399.54060 Period. Math. Hung. 72, No. 2, 112-129 (2016). Reviewer: Salvador Hernández (Castellón) MSC: 54E15 54B30 18C05 18C10 PDF BibTeX XML Cite \textit{E. Makai}, Period. Math. Hung. 72, No. 2, 112--129 (2016; Zbl 1399.54060) Full Text: DOI
Cole, J. C. The bicategory of topoi and spectra. (English) Zbl 1401.18016 Repr. Theory Appl. Categ. 2016, No. 25, 1-16 (2016). MSC: 18D05 18B25 18C10 PDF BibTeX XML Cite \textit{J. C. Cole}, Repr. Theory Appl. Categ. 2016, No. 25, 1--16 (2016; Zbl 1401.18016) Full Text: Link
Voutsadakis, George Categorical abstract algebraic logic: hidden multi-sorted logics as multi-term \(\pi\)-institutions. (English) Zbl 1423.03260 Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 2, 111-124 (2016). MSC: 03G27 03G30 18C10 PDF BibTeX XML Cite \textit{G. Voutsadakis}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 2, 111--124 (2016; Zbl 1423.03260) Full Text: DOI
Malbos, Philippe; Mimram, Samuel Homological computations for term rewriting systems. (English) Zbl 1387.68146 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 27, 17 p. (2016). MSC: 68Q42 08A70 18C10 PDF BibTeX XML Cite \textit{P. Malbos} and \textit{S. Mimram}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 27, 17 p. (2016; Zbl 1387.68146) Full Text: DOI
Hamana, Makoto Strongly normalising cyclic data computation by iteration categories of second-order algebraic theories. (English) Zbl 1388.68188 Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 21, 18 p. (2016). MSC: 68Q65 18C10 68N18 PDF BibTeX XML Cite \textit{M. Hamana}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 21, 18 p. (2016; Zbl 1388.68188) Full Text: DOI
Kowalski, Tomasz; Paoli, Francesco; Giuntini, Roberto On when a semantics is not a good semantics: the algebraisation of orthomodular logic. (English) Zbl 1356.81055 Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Superpositions, dynamics, semantics and identity. Based on the first international meeting on quantum mechanics and quantum information: physical, philosophical and logical approaches, Cagliari, Italy, July 23– 25, 2014. Hackensack, NJ: World Scientific (ISBN 978-981-3146-27-3/hbk; 978-981-3146-29-7/ebook). 179-191 (2016). MSC: 81P10 03G12 03G10 18C10 PDF BibTeX XML Cite \textit{T. Kowalski} et al., in: Probing the meaning of quantum mechanics. Superpositions, dynamics, semantics and identity. Based on the first international meeting on quantum mechanics and quantum information: physical, philosophical and logical approaches, Cagliari, Italy, July 23-- 25, 2014. Hackensack, NJ: World Scientific. 179--191 (2016; Zbl 1356.81055) Full Text: DOI
Dostál, Matĕj; Velebil, Jiří Morita equivalence for many-sorted enriched theories. (English) Zbl 1360.18006 Appl. Categ. Struct. 24, No. 6, 825-844 (2016). Reviewer: Ross H. Street (North Ryde) MSC: 18C10 18D20 PDF BibTeX XML Cite \textit{M. Dostál} and \textit{J. Velebil}, Appl. Categ. Struct. 24, No. 6, 825--844 (2016; Zbl 1360.18006) Full Text: DOI
Klimiashvili, A. Construction of a monadic Heyting algebra in a logos. (English. Russian original) Zbl 1403.06011 J. Math. Sci., New York 218, No. 6, 788-793 (2016); translation from Sovrem. Mat. Prilozh. 97 (2015). MSC: 06D20 03G25 03G30 18C10 PDF BibTeX XML Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1367.68256 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 167-184 (2016). MSC: 68T15 18C10 68Q42 PDF BibTeX XML Cite \textit{S. Skeirik} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 9942, 167--184 (2016; Zbl 1367.68256) Full Text: DOI
Kildetoft, Tobias; Mazorchuk, Volodymyr Parabolic projective functors in type \(A\). (English) Zbl 1365.17007 Adv. Math. 301, 785-803 (2016). Reviewer: Marek Golasiński (Olsztyn) MSC: 17B55 18D05 18C10 20G20 PDF BibTeX XML Cite \textit{T. Kildetoft} and \textit{V. Mazorchuk}, Adv. Math. 301, 785--803 (2016; Zbl 1365.17007) Full Text: DOI arXiv
Heijltjes, Willem; Straßburger, Lutz Proof nets and semi-star-autonomous categories. (English) Zbl 1362.03052 Math. Struct. Comput. Sci. 26, No. 5, 789-828 (2016). MSC: 03F52 18C10 PDF BibTeX XML Cite \textit{W. Heijltjes} and \textit{L. Straßburger}, Math. Struct. Comput. Sci. 26, No. 5, 789--828 (2016; Zbl 1362.03052) Full Text: DOI
Lucyshyn-Wright, Rory B. B. Enriched algebraic theories and monads for a system of arities. (English) Zbl 1337.18002 Theory Appl. Categ. 31, 101-137 (2016). Reviewer: Sergejs Solovjovs (Brno) MSC: 18C10 08B99 08C05 18C05 18D10 18D20 PDF BibTeX XML Cite \textit{R. B. B. Lucyshyn-Wright}, Theory Appl. Categ. 31, 101--137 (2016; Zbl 1337.18002) Full Text: EMIS arXiv
Böhm, Gabriella; Lack, Stephen Hopf comonads on naturally Frobenius map-monoidales. (English) Zbl 1353.18002 J. Pure Appl. Algebra 220, No. 6, 2177-2213 (2016). Reviewer: Loïc Foissy (Calais) MSC: 18C10 16T05 PDF BibTeX XML Cite \textit{G. Böhm} and \textit{S. Lack}, J. Pure Appl. Algebra 220, No. 6, 2177--2213 (2016; Zbl 1353.18002) Full Text: DOI
Dostál, Matěj A two-dimensional Birkhoff’s theorem. (English) Zbl 1339.18001 Theory Appl. Categ. 31, 73-100 (2016). Reviewer: Jiří Rosický (Brno) MSC: 18C10 18C15 PDF BibTeX XML Cite \textit{M. Dostál}, Theory Appl. Categ. 31, 73--100 (2016; Zbl 1339.18001) Full Text: EMIS arXiv
Maillard, Kenji; Melliès, Paul-Andre A fibrational account of local states. (English) Zbl 1395.18003 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 402-413 (2015). MSC: 18C10 18C20 18D30 68Q55 PDF BibTeX XML Cite \textit{K. Maillard} and \textit{P.-A. Melliès}, in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 402--413 (2015; Zbl 1395.18003) Full Text: DOI
Atkey, Robert; Johann, Patricia Interleaving data and effects. (English) Zbl 1419.68036 J. Funct. Program. 25, Paper No. e20, 44 p. (2015). MSC: 68N18 18C10 68Q55 68Q65 PDF BibTeX XML Cite \textit{R. Atkey} and \textit{P. Johann}, J. Funct. Program. 25, Paper No. e20, 44 p. (2015; Zbl 1419.68036) Full Text: DOI
Pattinson, Dirk; Schröder, Lutz Sound and complete equational reasoning over comodels. (English) Zbl 1351.68078 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 315-331, electronic only (2015). MSC: 68N30 03B70 18C10 68Q55 PDF BibTeX XML Cite \textit{D. Pattinson} and \textit{L. Schröder}, Electron. Notes Theor. Comput. Sci. 319, 315--331 (2015; Zbl 1351.68078) Full Text: DOI
Tchier, Fairouz Nondeterministic semantics of compound diagrams. (English) Zbl 1338.18021 Discrete Contin. Dyn. Syst., Ser. S 8, No. 6, 1357-1371 (2015). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 18C10 18C50 68Q55 68Q65 03B70 06B35 PDF BibTeX XML Cite \textit{F. Tchier}, Discrete Contin. Dyn. Syst., Ser. S 8, No. 6, 1357--1371 (2015; Zbl 1338.18021) Full Text: DOI
Močkoř, Jiří Closure theories of powerset theories. (English) Zbl 1396.18003 Tatra Mt. Math. Publ. 64, 101-126 (2015). MSC: 18B05 18C10 03E72 54A40 PDF BibTeX XML Cite \textit{J. Močkoř}, Tatra Mt. Math. Publ. 64, 101--126 (2015; Zbl 1396.18003) Full Text: DOI
Holm, Henrik A note on transport of algebraic structures. (English) Zbl 06520705 Theory Appl. Categ. 30, 1121-1131 (2015). MSC: 03C05 18C10 PDF BibTeX XML Cite \textit{H. Holm}, Theory Appl. Categ. 30, 1121--1131 (2015; Zbl 06520705) Full Text: EMIS arXiv
Fong, Brendan Decorated cospans. (English) Zbl 1351.18003 Theory Appl. Categ. 30, 1096-1120 (2015). MSC: 18C10 18D10 PDF BibTeX XML Cite \textit{B. Fong}, Theory Appl. Categ. 30, 1096--1120 (2015; Zbl 1351.18003) Full Text: EMIS arXiv
Ésik, Z. Residuated Park theories. (English) Zbl 1341.68115 J. Log. Comput. 25, No. 2, 453-471 (2015). MSC: 68Q55 18C10 18C50 68Q45 PDF BibTeX XML Cite \textit{Z. Ésik}, J. Log. Comput. 25, No. 2, 453--471 (2015; Zbl 1341.68115) Full Text: DOI
Ésik, Zoltán Equational properties of fixed point operations in Cartesian categories: an overview. (English) Zbl 1423.68270 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 18-37 (2015). MSC: 68Q55 18B20 18C10 18D10 68Q70 PDF BibTeX XML Cite \textit{Z. Ésik}, Lect. Notes Comput. Sci. 9234, 18--37 (2015; Zbl 1423.68270) Full Text: DOI
Solovyov, Sergey A. Localification procedure for affine systems. (English) Zbl 1326.18003 Cah. Topol. Géom. Différ. Catég. 56, No. 2, 109-131 (2015). Reviewer: Václav Koubek (Praha) MSC: 18B99 18B30 18C10 08B99 PDF BibTeX XML Cite \textit{S. A. Solovyov}, Cah. Topol. Géom. Différ. Catég. 56, No. 2, 109--131 (2015; Zbl 1326.18003)