Lucyshyn-Wright, Rory B. B.; Parker, Jason Locally bounded enriched categories. (English) Zbl 07534352 Theory Appl. Categ. 38, 684-736 (2022). MSC: 18A20 18A32 18A35 18A40 18B99 18C10 18C30 18C35 18C40 18D15 18D20 18F60 54B30 PDF BibTeX XML Cite \textit{R. B. B. Lucyshyn-Wright} and \textit{J. Parker}, Theory Appl. Categ. 38, 684--736 (2022; Zbl 07534352) Full Text: Link OpenURL
Bourn, Dominique Correction to: “On congruence modular varieties and Gumm categories”. (English) Zbl 07517786 Commun. Algebra 50, No. 6, I (2022). MSC: 08A30 08B05 18A20 18C10 18C40 18E13 PDF BibTeX XML Cite \textit{D. Bourn}, Commun. Algebra 50, No. 6, I (2022; Zbl 07517786) Full Text: DOI OpenURL
Bourn, Dominique On congruence modular varieties and Gumm categories. (English) Zbl 07517761 Commun. Algebra 50, No. 6, 2377-2407 (2022); corrigendum ibid. 50, No. 6, I (2022). MSC: 08A30 08B05 18A20 18C10 18C40 18E13 PDF BibTeX XML Cite \textit{D. Bourn}, Commun. Algebra 50, No. 6, 2377--2407 (2022; Zbl 07517761) Full Text: DOI OpenURL
Jun, Jaiung; Mincheva, Kalina; Rowen, Louis Homology of systemic modules. (English) Zbl 07489546 Manuscr. Math. 167, No. 3-4, 469-520 (2022). MSC: 14T10 16Y60 18A05 18C10 12K10 13C60 18E05 PDF BibTeX XML Cite \textit{J. Jun} et al., Manuscr. Math. 167, No. 3--4, 469--520 (2022; Zbl 07489546) Full Text: DOI arXiv OpenURL
Uemura, Taichi The universal exponentiable arrow. (English) Zbl 07481858 J. Pure Appl. Algebra 226, No. 7, Article ID 106991, 32 p. (2022). MSC: 03B15 18A40 18C10 PDF BibTeX XML Cite \textit{T. Uemura}, J. Pure Appl. Algebra 226, No. 7, Article ID 106991, 32 p. (2022; Zbl 07481858) Full Text: DOI arXiv OpenURL
Bordg, Anthony The interpretation lifting theorem for C-systems. (English) Zbl 1483.18003 Theory Appl. Categ. 38, 214-231 (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 18C10 18C50 18F20 PDF BibTeX XML Cite \textit{A. Bordg}, Theory Appl. Categ. 38, 214--231 (2022; Zbl 1483.18003) Full Text: arXiv Link OpenURL
Borceux, Francis; Clementino, Maria Manuel On bornological semi-abelian algebras. (English) Zbl 07528802 Categ. Gen. Algebr. Struct. Appl. 14, No. 1, 181-222 (2021). MSC: 08C05 18C10 46A08 08B25 22A30 PDF BibTeX XML Cite \textit{F. Borceux} and \textit{M. M. Clementino}, Categ. Gen. Algebr. Struct. Appl. 14, No. 1, 181--222 (2021; Zbl 07528802) Full Text: DOI OpenURL
Clementino, Maria Manuel An invitation to topological semi-abelian algebras. (English) Zbl 1480.18008 Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 27-66 (2021). MSC: 18E13 18C10 54H11 08B25 22A30 46A08 18A32 PDF BibTeX XML Cite \textit{M. M. Clementino}, Coimbra Math. Texts 1, 27--66 (2021; Zbl 1480.18008) Full Text: DOI OpenURL
Medina-Mardones, Anibal M. A finitely presented \(E_\infty\)-prop. II: Cellular context. (English) Zbl 1481.55010 High. Struct. 5, No. 1, 186-203 (2021). MSC: 55U10 18M75 18M30 18C10 55P48 18M60 PDF BibTeX XML Cite \textit{A. M. Medina-Mardones}, High. Struct. 5, No. 1, 186--203 (2021; Zbl 1481.55010) Full Text: arXiv Link OpenURL
Kaushik, Ruchi; Singh, Vijander; Kumari, Rajani Multi-class SVM based network intrusion detection with attribute selection using infinite feature selection technique. (English) Zbl 07477552 J. Discrete Math. Sci. Cryptography 24, No. 8, 2137-2153 (2021). MSC: 68Mxx 15A06 15A09 18A10 17B10 17B15 18C10 18C05 18D35 PDF BibTeX XML Cite \textit{R. Kaushik} et al., J. Discrete Math. Sci. Cryptography 24, No. 8, 2137--2153 (2021; Zbl 07477552) Full Text: DOI OpenURL
Bourn, Dominique A Mal’tsev glance at the fibration \((\ )_0:Cat\mathbb{E}\to \mathbb{E}\) of internal categories. (English. French summary) Zbl 1480.18001 Cah. Topol. Géom. Différ. Catég. 62, No. 4, 375-408 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A20 18C10 18C40 18E13 PDF BibTeX XML Cite \textit{D. Bourn}, Cah. Topol. Géom. Différ. Catég. 62, No. 4, 375--408 (2021; Zbl 1480.18001) Full Text: Link OpenURL
Maruyama, Yoshihiro Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation. (English) Zbl 1477.18011 J. Symb. Log. 86, No. 3, 1189-1213 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 03G30 03B47 18D30 PDF BibTeX XML Cite \textit{Y. Maruyama}, J. Symb. Log. 86, No. 3, 1189--1213 (2021; Zbl 1477.18011) Full Text: DOI OpenURL
Rong, Shi; Zhang, Pu Strong version of snake lemma in exact categories. (English) Zbl 1473.18003 Homology Homotopy Appl. 23, No. 2, 151-163 (2021). MSC: 18C10 18E10 18E20 18G50 PDF BibTeX XML Cite \textit{S. Rong} and \textit{P. Zhang}, Homology Homotopy Appl. 23, No. 2, 151--163 (2021; Zbl 1473.18003) Full Text: DOI OpenURL
Hemelaer, Jens; Rogers, Morgan Monoid properties as invariants of toposes of monoid actions. (English) Zbl 1471.18004 Appl. Categ. Struct. 29, No. 3, 379-413 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 20M50 18A30 18A40 18C10 03G30 PDF BibTeX XML Cite \textit{J. Hemelaer} and \textit{M. Rogers}, Appl. Categ. Struct. 29, No. 3, 379--413 (2021; Zbl 1471.18004) Full Text: DOI arXiv OpenURL
Jacqmin, Pierre-Alain; Janelidze, Zurab On linear exactness properties. (English) Zbl 1472.18002 J. Algebra 583, 38-88 (2021). Reviewer: Panagis Karazeris (Patras) MSC: 18A30 18E13 08B05 18E08 03G30 08A55 18C30 18A40 18C10 18C35 18C05 08C05 PDF BibTeX XML Cite \textit{P.-A. Jacqmin} and \textit{Z. Janelidze}, J. Algebra 583, 38--88 (2021; Zbl 1472.18002) Full Text: DOI OpenURL
McCusker, Guy; Santamaria, Alessio Composing dinatural transformations: towards a calculus of substitution. (English) Zbl 1468.18002 J. Pure Appl. Algebra 225, No. 10, Article ID 106689, 57 p. (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A05 18A23 18A25 18A40 18C10 18D15 PDF BibTeX XML Cite \textit{G. McCusker} and \textit{A. Santamaria}, J. Pure Appl. Algebra 225, No. 10, Article ID 106689, 57 p. (2021; Zbl 1468.18002) Full Text: DOI arXiv OpenURL
Bourn, Dominique A remarkable aspect of internal groupoids in regular Mal’tsev categories. (English) Zbl 1482.18001 Theory Appl. Categ. 37, 326-336 (2021). MSC: 18A20 08B05 18C10 18C40 18E13 PDF BibTeX XML Cite \textit{D. Bourn}, Theory Appl. Categ. 37, 326--336 (2021; Zbl 1482.18001) Full Text: Link OpenURL
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 OpenURL
Abbadini, Marco; Reggio, Luca On the axiomatisability of the dual of compact ordered spaces. (English) Zbl 1460.18011 Appl. Categ. Struct. 28, No. 6, 921-934 (2020). MSC: 18F60 08C05 18A30 18C20 18E08 54F05 18C10 03C05 PDF BibTeX XML Cite \textit{M. Abbadini} and \textit{L. Reggio}, Appl. Categ. Struct. 28, No. 6, 921--934 (2020; Zbl 1460.18011) Full Text: DOI arXiv OpenURL
Bourke, John Iterated algebraic injectivity and the faithfulness conjecture. (English) Zbl 1458.18012 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 1458.18012) Full Text: arXiv Link OpenURL
Medina-Mardones, Anibal M. A finitely presented \(E_{\infty}\)-prop. I: Algebraic context. (English) Zbl 1459.55010 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 1459.55010) Full Text: arXiv Link OpenURL
Gepner, David An introduction to higher categorical algebra. (English) Zbl 1476.55008 Miller, Haynes (ed.), Handbook of homotopy theory. Boca Raton, FL: CRC Press. CRC Press/Chapman Hall Handb. Math. Ser., 487-548 (2020). MSC: 55N20 13D03 13D09 16E45 18C10 18C35 55U35 55-02 PDF BibTeX XML Cite \textit{D. Gepner}, in: Handbook of homotopy theory. Boca Raton, FL: CRC Press. 487--548 (2020; Zbl 1476.55008) Full Text: DOI arXiv OpenURL
Bergner, Julia E. A survey of models for \((\infty, n)\)-categories. (English) Zbl 1476.55043 Miller, Haynes (ed.), Handbook of homotopy theory. Boca Raton, FL: CRC Press. CRC Press/Chapman Hall Handb. Math. Ser., 263-295 (2020). MSC: 55U35 55U40 18N40 18D15 18D20 18N50 18N65 18C10 55-02 PDF BibTeX XML Cite \textit{J. E. Bergner}, in: Handbook of homotopy theory. Boca Raton, FL: CRC Press. 263--295 (2020; Zbl 1476.55043) Full Text: DOI arXiv OpenURL
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 arXiv OpenURL
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: arXiv Link OpenURL
Č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 arXiv OpenURL
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 arXiv OpenURL
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 arXiv OpenURL
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 arXiv OpenURL
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 OpenURL
Lack, Stephen; Tendas, Giacomo Enriched regular theories. (English) Zbl 1470.18009 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 1470.18009) Full Text: DOI arXiv OpenURL
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 arXiv OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
Forssell, Henrik; Lumsdaine, Peter Lefanu Constructive reflectivity principles for regular theories. (English) Zbl 1480.03060 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 1480.03060) Full Text: DOI arXiv OpenURL
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: arXiv Link OpenURL
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: arXiv Link OpenURL
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 arXiv OpenURL
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 OpenURL
Palmgren, Erik Categories with families and first-order logic with dependent sorts. (English) Zbl 1458.18003 Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019). MSC: 18C10 03F50 03G30 68Q55 PDF BibTeX XML Cite \textit{E. Palmgren}, Ann. Pure Appl. Logic 170, No. 12, Article ID 102715, 75 p. (2019; Zbl 1458.18003) Full Text: DOI arXiv OpenURL
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 arXiv OpenURL
Ahrens, Benedikt; Matthes, Ralph; Mörtberg, Anders From signatures to monads in UniMath. (English) Zbl 1468.03007 J. Autom. Reasoning 63, No. 2, 285-318 (2019). MSC: 03B35 03B38 18C10 18C15 55U35 68V20 PDF BibTeX XML Cite \textit{B. Ahrens} et al., J. Autom. Reasoning 63, No. 2, 285--318 (2019; Zbl 1468.03007) Full Text: DOI arXiv OpenURL
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 OpenURL
É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 OpenURL
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 OpenURL
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 OpenURL
Benini, Marco; Bonacina, Roberta Well quasi orders in a categorical setting. (English) Zbl 1477.06010 Arch. Math. Logic 58, No. 3-4, 501-526 (2019). MSC: 06A11 06A75 18B35 18C10 PDF BibTeX XML Cite \textit{M. Benini} and \textit{R. Bonacina}, Arch. Math. Logic 58, No. 3--4, 501--526 (2019; Zbl 1477.06010) Full Text: DOI OpenURL
Száz, Árpád Corelations are more powerful tools than relations. (English) Zbl 07008038 Rassias, Themistocles M. (ed.), Applications of nonlinear analysis. Cham: Springer. Springer Optim. Appl. 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 OpenURL
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: arXiv Link 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 arXiv OpenURL
Isaev, Valery Model structures on categories of models of type theories. (English) Zbl 1478.03084 Math. Struct. Comput. Sci. 28, No. 10, 1695-1722 (2018). Reviewer: Jonathan Weinberger (Darmstadt) MSC: 03G30 03B38 18C10 PDF BibTeX XML Cite \textit{V. Isaev}, Math. Struct. Comput. Sci. 28, No. 10, 1695--1722 (2018; Zbl 1478.03084) Full Text: DOI arXiv OpenURL
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 OpenURL
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 arXiv OpenURL
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: arXiv Link OpenURL
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: arXiv Link OpenURL
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: arXiv Link OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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: arXiv Link OpenURL
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 arXiv OpenURL
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 arXiv OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 arXiv OpenURL
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 Link OpenURL
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 OpenURL
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 arXiv OpenURL
Caramello, Olivia Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic ‘bridges’. (English) Zbl 1461.03002 Oxford: Oxford University Press (ISBN 978-0-19-875891-4/hbk). xii, 368 p. (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03-02 18-02 03G30 18B25 18C10 18F20 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 1461.03002) Full Text: DOI OpenURL
Urabe, Natsuki; Hara, Masaki; Hasuo, Ichiro Categorical liveness checking by corecursive algebras. (English) Zbl 1458.68133 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). 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 1458.68133) Full Text: arXiv Link OpenURL
Schultz, Patrick; Wisnesky, Ryan Algebraic data integration. (English) Zbl 1475.68069 J. Funct. Program. 27, Paper No. e24, 51 p. (2017). MSC: 68N18 18C10 68P15 PDF BibTeX XML Cite \textit{P. Schultz} and \textit{R. Wisnesky}, J. Funct. Program. 27, Paper No. e24, 51 p. (2017; Zbl 1475.68069) Full Text: DOI arXiv OpenURL
Awodey, Steve; Gambino, Nicola; Sojakova, Kristina Homotopy-initial algebras in type theory. (English) Zbl 1426.03016 J. ACM 63, No. 6, Article No. 51, 45 p. (2017). MSC: 03B38 03G30 18C10 55U35 PDF BibTeX XML Cite \textit{S. Awodey} et al., J. ACM 63, No. 6, Article No. 51, 45 p. (2017; Zbl 1426.03016) Full Text: DOI arXiv Link OpenURL
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 Link OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 arXiv OpenURL
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 OpenURL
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 OpenURL
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 arXiv OpenURL
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) OpenURL
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 arXiv OpenURL
Buchholtz, Ulrik; Morehouse, Edward Varieties of cubical sets. (English) Zbl 06750816 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, 77-92 (2017). MSC: 18C10 55U35 PDF BibTeX XML Cite \textit{U. Buchholtz} and \textit{E. Morehouse}, Lect. Notes Comput. Sci. 10226, 77--92 (2017; Zbl 06750816) Full Text: DOI arXiv OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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: arXiv EMIS OpenURL
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 OpenURL
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: arXiv EMIS OpenURL
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 OpenURL
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 OpenURL
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 OpenURL
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 arXiv Link OpenURL
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 OpenURL
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 arXiv OpenURL
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 OpenURL
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 OpenURL