Lack, Stephen; Tendas, Giacomo Accessible categories with a class of limits. (English) Zbl 07740044 J. Pure Appl. Algebra 228, No. 2, Article ID 107444, 43 p. (2024). MSC: 18D20 18C35 18A35 18C30 PDF BibTeX XML Cite \textit{S. Lack} and \textit{G. Tendas}, J. Pure Appl. Algebra 228, No. 2, Article ID 107444, 43 p. (2024; Zbl 07740044) Full Text: DOI arXiv
Bloomfield, Colin; Maruyama, Yoshihiro Fibered universal algebra for first-order logics. (English) Zbl 07740043 J. Pure Appl. Algebra 228, No. 2, Article ID 107415, 33 p. (2024). MSC: 03G30 03G27 03B60 18C50 PDF BibTeX XML Cite \textit{C. Bloomfield} and \textit{Y. Maruyama}, J. Pure Appl. Algebra 228, No. 2, Article ID 107415, 33 p. (2024; Zbl 07740043) Full Text: DOI arXiv
Ghobadi, Aryan Hopf monads: a survey with new examples and applications. (English) Zbl 07739320 Appl. Categ. Struct. 31, No. 5, Paper No. 32, 63 p. (2023). MSC: 16T99 18C15 18M05 03G30 18D15 PDF BibTeX XML Cite \textit{A. Ghobadi}, Appl. Categ. Struct. 31, No. 5, Paper No. 32, 63 p. (2023; Zbl 07739320) Full Text: DOI arXiv
Krause, Henning; Letz, Janina C. The spectrum of a well-generated tensor-triangulated category. (English) Zbl 07738012 Bull. Lond. Math. Soc. 55, No. 2, 680-705 (2023). MSC: 18G80 18F70 18C35 PDF BibTeX XML Cite \textit{H. Krause} and \textit{J. C. Letz}, Bull. Lond. Math. Soc. 55, No. 2, 680--705 (2023; Zbl 07738012) Full Text: DOI arXiv
de’Liguoro, Ugo; Treglia, Riccardo From semantics to types: the case of the imperative \(\lambda\)-calculus. (English) Zbl 07735130 Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023). MSC: 68N18 03B40 18C50 PDF BibTeX XML Cite \textit{U. de'Liguoro} and \textit{R. Treglia}, Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023; Zbl 07735130) Full Text: DOI arXiv
Bohmann, Anna Marie; Szymik, Markus Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories. (English) Zbl 07725802 Math. Proc. Camb. Philos. Soc. 175, No. 2, 253-270 (2023). MSC: 19D23 06E05 16D90 18F25 18C10 55P42 PDF BibTeX XML Cite \textit{A. M. Bohmann} and \textit{M. Szymik}, Math. Proc. Camb. Philos. Soc. 175, No. 2, 253--270 (2023; Zbl 07725802) Full Text: DOI arXiv
Mašulović, Dragan Dual Ramsey properties for classes of algebras. (English) Zbl 07713629 Eur. J. Comb. 112, Article ID 103716, 24 p. (2023). MSC: 05D10 18C20 PDF BibTeX XML Cite \textit{D. Mašulović}, Eur. J. Comb. 112, Article ID 103716, 24 p. (2023; Zbl 07713629) Full Text: DOI arXiv
Rump, Wolfgang The category of \(L\)-algebras. (English) Zbl 07710179 Theory Appl. Categ. 39, 598-624 (2023). MSC: 08C05 18D30 06F05 08A55 18B10 18C10 PDF BibTeX XML Cite \textit{W. Rump}, Theory Appl. Categ. 39, 598--624 (2023; Zbl 07710179) Full Text: Link
Aratake, Hisashi Limits, colimits, and spectra of modelled spaces. (English) Zbl 07701473 J. Pure Appl. Algebra 227, No. 12, Article ID 107414, 46 p. (2023). MSC: 03G30 18B25 18C35 18F10 PDF BibTeX XML Cite \textit{H. Aratake}, J. Pure Appl. Algebra 227, No. 12, Article ID 107414, 46 p. (2023; Zbl 07701473) Full Text: DOI arXiv
Bergomi, Mattia G.; Ferri, Massimo; Tavaglione, Antonella Steady and ranging sets in graph persistence. (English) Zbl 07700997 J. Appl. Comput. Topol. 7, No. 1, 33-56 (2023). MSC: 68R10 05C10 18C99 PDF BibTeX XML Cite \textit{M. G. Bergomi} et al., J. Appl. Comput. Topol. 7, No. 1, 33--56 (2023; Zbl 07700997) Full Text: DOI arXiv
Nejah, Amir Homayoun; Tholen, Walter A categorical review of complete regularity. (English) Zbl 07696889 Topol. Proc. 61, 305-340 (2023). MSC: 54D15 54D30 54B30 18A40 18C20 18D30 18F60 PDF BibTeX XML Cite \textit{A. H. Nejah} and \textit{W. Tholen}, Topol. Proc. 61, 305--340 (2023; Zbl 07696889) Full Text: arXiv Link
Caviglia, Elena Generalized principal bundles and quotient stacks. (English) Zbl 1514.18012 Theory Appl. Categ. 39, 567-597 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F20 18F10 18C40 14A20 18F15 PDF BibTeX XML Cite \textit{E. Caviglia}, Theory Appl. Categ. 39, 567--597 (2023; Zbl 1514.18012) Full Text: arXiv Link
Parker, Jason Exponentiability in categories of relational structures. (English) Zbl 1516.18002 Theory Appl. Categ. 39, 493-518 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D15 06F07 08A02 18C35 PDF BibTeX XML Cite \textit{J. Parker}, Theory Appl. Categ. 39, 493--518 (2023; Zbl 1516.18002) Full Text: arXiv Link
Caramello, Olivia; Osmond, Axel The over-topos at a model. (English) Zbl 1512.18005 Theory Appl. Categ. 39, 447-492 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F10 18C10 03G30 18B25 PDF BibTeX XML Cite \textit{O. Caramello} and \textit{A. Osmond}, Theory Appl. Categ. 39, 447--492 (2023; Zbl 1512.18005) Full Text: arXiv Link
Constantin, Carmen; Fritz, Tobias; Perrone, Paolo; Shapiro, Brandon T. Partial evaluations and the compositional structure of the bar construction. (English) Zbl 07692241 Theory Appl. Categ. 39, 322-364 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 PDF BibTeX XML Cite \textit{C. Constantin} et al., Theory Appl. Categ. 39, 322--364 (2023; Zbl 07692241) Full Text: arXiv Link
Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio Glivenko sequent classes and constructive cut elimination in geometric logics. (English) Zbl 07691802 Arch. Math. Logic 62, No. 5-6, 657-688 (2023). MSC: 03F05 03B20 18C10 18B15 PDF BibTeX XML Cite \textit{G. Fellin} et al., Arch. Math. Logic 62, No. 5--6, 657--688 (2023; Zbl 07691802) Full Text: DOI
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien Cellular categories and stable independence. (English) Zbl 1514.18006 J. Symb. Log. 88, No. 2, 811-834 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 03C45 03C48 03C52 03C55 16B50 55U35 PDF BibTeX XML Cite \textit{M. Lieberman} et al., J. Symb. Log. 88, No. 2, 811--834 (2023; Zbl 1514.18006) Full Text: DOI arXiv
Chen, Ruiyuan A universal characterization of standard Borel spaces. (English) Zbl 07691750 J. Symb. Log. 88, No. 2, 510-539 (2023). MSC: 03G30 03E15 06E75 18C10 PDF BibTeX XML Cite \textit{R. Chen}, J. Symb. Log. 88, No. 2, 510--539 (2023; Zbl 07691750) Full Text: DOI arXiv
Ikonicoff, Sacha; Lemay, Jean-Simon Pacaud Cartesian differential comonads and new models of Cartesian differential categories. (English) Zbl 1511.18002 Cah. Topol. Géom. Différ. Catég. 64, No. 2, 198-239 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B99 18C20 18D99 13F25 PDF BibTeX XML Cite \textit{S. Ikonicoff} and \textit{J.-S. P. Lemay}, Cah. Topol. Géom. Différ. Catég. 64, No. 2, 198--239 (2023; Zbl 1511.18002) Full Text: arXiv Link
Gaucher, Philippe Comparing the non-unital and unital settings for directed homotopy. (English) Zbl 1511.18004 Cah. Topol. Géom. Différ. Catég. 64, No. 2, 176-197 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18D20 55U35 68Q85 PDF BibTeX XML Cite \textit{P. Gaucher}, Cah. Topol. Géom. Différ. Catég. 64, No. 2, 176--197 (2023; Zbl 1511.18004) Full Text: arXiv Link
Parker, Jason Inner automorphisms of presheaves of groups. (English) Zbl 07683082 Appl. Categ. Struct. 31, No. 2, Paper No. 20, 41 p. (2023). MSC: 08A35 08C05 18C10 20A15 20J15 PDF BibTeX XML Cite \textit{J. Parker}, Appl. Categ. Struct. 31, No. 2, Paper No. 20, 41 p. (2023; Zbl 07683082) Full Text: DOI arXiv
Lobbia, Gabriele Distributive laws for relative monads. (English) Zbl 1511.18003 Appl. Categ. Struct. 31, No. 2, Paper No. 19, 38 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 18C20 PDF BibTeX XML Cite \textit{G. Lobbia}, Appl. Categ. Struct. 31, No. 2, Paper No. 19, 38 p. (2023; Zbl 1511.18003) Full Text: DOI arXiv
Zimmermann, Alexander Clifford’s theorem for orbit categories. (English) Zbl 1512.18002 Appl. Categ. Struct. 31, No. 2, Paper No. 17, 28 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C20 20C05 16E40 PDF BibTeX XML Cite \textit{A. Zimmermann}, Appl. Categ. Struct. 31, No. 2, Paper No. 17, 28 p. (2023; Zbl 1512.18002) Full Text: DOI arXiv
Raynor, Sophie Corrigendum to: “Graphical combinatorics and a distributive law for modular operads”. (English) Zbl 1512.18013 Adv. Math. 422, Article ID 109000, 5 p. (2023). MSC: 18M85 18C15 55U99 PDF BibTeX XML Cite \textit{S. Raynor}, Adv. Math. 422, Article ID 109000, 5 p. (2023; Zbl 1512.18013) Full Text: DOI
Stahlhauer, Michael \(G_\infty\)-ring spectra and Moore spectra for \(\beta\)-rings. (English) Zbl 07679266 Algebr. Geom. Topol. 23, No. 1, 87-153 (2023). Reviewer: David Mehrle (Lexington) MSC: 55P43 55P91 18C15 19A22 55S91 PDF BibTeX XML Cite \textit{M. Stahlhauer}, Algebr. Geom. Topol. 23, No. 1, 87--153 (2023; Zbl 07679266) Full Text: DOI arXiv
Zhang, Gao; He, Wei On saturated prefilter monads. (English) Zbl 07676170 Categ. Gen. Algebr. Struct. Appl. 18, No. 1, 19-41 (2023). MSC: 18C15 54B30 PDF BibTeX XML Cite \textit{G. Zhang} and \textit{W. He}, Categ. Gen. Algebr. Struct. Appl. 18, No. 1, 19--41 (2023; Zbl 07676170) Full Text: DOI
Ko, Hankyung; Mazorchuk, Volodymyr; Mrden, Rafael Some homological properties of category \(\mathcal{O},V\). (English) Zbl 1515.17019 Int. Math. Res. Not. 2023, No. 4, 3329-3373 (2023). Reviewer: YangGon Kim (Jeonju) MSC: 17B10 17B20 18N10 18C10 20G20 PDF BibTeX XML Cite \textit{H. Ko} et al., Int. Math. Res. Not. 2023, No. 4, 3329--3373 (2023; Zbl 1515.17019) Full Text: DOI arXiv
Bravo, Daniel; Gillespie, James; Pérez, Marco A. Locally type \(\mathrm{FP}_n\) and \(n\)-coherent categories. (English) Zbl 1508.18003 Appl. Categ. Struct. 31, No. 2, Paper No. 16, 21 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18A25 18E10 18F20 18G15 18G25 18N40 PDF BibTeX XML Cite \textit{D. Bravo} et al., Appl. Categ. Struct. 31, No. 2, Paper No. 16, 21 p. (2023; Zbl 1508.18003) Full Text: DOI arXiv
Shaumbwa, Vaino Tuhafeni Commutative objects, central morphisms and subtractors in subtractive categories. (English) Zbl 1516.18001 Appl. Categ. Struct. 31, No. 2, Paper No. 13, 15 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C40 08C05 18E08 18E13 PDF BibTeX XML Cite \textit{V. T. Shaumbwa}, Appl. Categ. Struct. 31, No. 2, Paper No. 13, 15 p. (2023; Zbl 1516.18001) Full Text: DOI
Griffiths, Rhiannon Presentations for globular operads. (English) Zbl 07662147 Theory Appl. Categ. 39, 267-321 (2023). MSC: 18C15 08C05 18M60 18N20 PDF BibTeX XML Cite \textit{R. Griffiths}, Theory Appl. Categ. 39, 267--321 (2023; Zbl 07662147) Full Text: arXiv Link
Berger, Clemens; Gehrke, Mai Stone duality for spectral sheaves and the patch monad. (English) Zbl 1508.18006 J. Pure Appl. Algebra 227, No. 6, Article ID 107306, 34 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F70 06E15 20M75 18C15 PDF BibTeX XML Cite \textit{C. Berger} and \textit{M. Gehrke}, J. Pure Appl. Algebra 227, No. 6, Article ID 107306, 34 p. (2023; Zbl 1508.18006) Full Text: DOI arXiv
Voevodsky, Vladimir C-system of a module over a \(Jf\)-relative monad. (English) Zbl 1507.18009 J. Pure Appl. Algebra 227, No. 6, Article ID 107283, 61 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 03B60 18N45 PDF BibTeX XML Cite \textit{V. Voevodsky}, J. Pure Appl. Algebra 227, No. 6, Article ID 107283, 61 p. (2023; Zbl 1507.18009) Full Text: DOI arXiv
van Niekerk, Francois Koch On the construction of Noetherian forms for algebraic structures. (English) Zbl 1514.18011 Theory Appl. Categ. 39, 189-206 (2023). Reviewer: Michel Hébert (Al-Qāhira) MSC: 18E13 08A30 18G50 08C05 18C15 18D99 PDF BibTeX XML Cite \textit{F. K. van Niekerk}, Theory Appl. Categ. 39, 189--206 (2023; Zbl 1514.18011) Full Text: Link
Wang, Mengjun; Wu, Zhixiang Schrödinger-Virasoro Lie conformal algebras. (English) Zbl 07658092 Commun. Algebra 51, No. 2, 864-886 (2023). MSC: 17B68 17B70 81T05 18C40 PDF BibTeX XML Cite \textit{M. Wang} and \textit{Z. Wu}, Commun. Algebra 51, No. 2, 864--886 (2023; Zbl 07658092) Full Text: DOI
Adámek, Jiří; Rosický, Jiří Varieties of ordered algebras as categories. (English) Zbl 07657581 Algebra Univers. 84, No. 2, Paper No. 9, 28 p. (2023). MSC: 18D20 18C99 06F99 PDF BibTeX XML Cite \textit{J. Adámek} and \textit{J. Rosický}, Algebra Univers. 84, No. 2, Paper No. 9, 28 p. (2023; Zbl 07657581) Full Text: DOI arXiv
Gainutdinov, Azat M.; Haferkamp, Jonas; Schweigert, Christoph Davydov-Yetter cohomology, comonads and Ocneanu rigidity. (English) Zbl 1509.18016 Adv. Math. 414, Article ID 108853, 48 p. (2023). MSC: 18M05 18C15 16T05 PDF BibTeX XML Cite \textit{A. M. Gainutdinov} et al., Adv. Math. 414, Article ID 108853, 48 p. (2023; Zbl 1509.18016) Full Text: DOI arXiv
Cortés-Izurdiaga, Manuel; Crivei, Septimiu; Saorín, Manuel Reflective and coreflective subcategories. (English) Zbl 1506.18003 J. Pure Appl. Algebra 227, No. 5, Article ID 107267, 43 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 18E05 18E10 18C35 18G80 PDF BibTeX XML Cite \textit{M. Cortés-Izurdiaga} et al., J. Pure Appl. Algebra 227, No. 5, Article ID 107267, 43 p. (2023; Zbl 1506.18003) Full Text: DOI arXiv
Bourke, John; Lack, Stephen Accessible \(\infty \)-cosmoi. (English) Zbl 1506.18027 J. Pure Appl. Algebra 227, No. 5, Article ID 107255, 28 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N60 18C35 18D20 18N40 PDF BibTeX XML Cite \textit{J. Bourke} and \textit{S. Lack}, J. Pure Appl. Algebra 227, No. 5, Article ID 107255, 28 p. (2023; Zbl 1506.18027) Full Text: DOI arXiv
Maietti, Maria Emilia; Trotta, Davide A characterization of generalized existential completions. (English) Zbl 1506.18008 Ann. Pure Appl. Logic 174, No. 4, Article ID 103234, 37 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C50 03G30 18D30 PDF BibTeX XML Cite \textit{M. E. Maietti} and \textit{D. Trotta}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103234, 37 p. (2023; Zbl 1506.18008) Full Text: DOI
Cigoli, Alan S.; Mantovani, Sandra; Metere, Giuseppe On pseudofunctors sending groups to 2-groups. (English) Zbl 1507.18010 Mediterr. J. Math. 20, No. 1, Paper No. 17, 25 p. (2023). Reviewer: Tony Zorman (Dresden) MSC: 18C40 18D30 18G45 18M05 PDF BibTeX XML Cite \textit{A. S. Cigoli} et al., Mediterr. J. Math. 20, No. 1, Paper No. 17, 25 p. (2023; Zbl 1507.18010) Full Text: DOI arXiv
Prezado, Rui; Lucatelli Nunes, Fernando Descent for internal multicategory functors. (English) Zbl 1504.18017 Appl. Categ. Struct. 31, No. 1, Paper No. 11, 18 p. (2023). MSC: 18M65 18F20 18N10 18C15 PDF BibTeX XML Cite \textit{R. Prezado} and \textit{F. Lucatelli Nunes}, Appl. Categ. Struct. 31, No. 1, Paper No. 11, 18 p. (2023; Zbl 1504.18017) Full Text: DOI arXiv
Bourke, John; Lack, Stephen; Vokřínek, Lukáš Adjoint functor theorems for homotopically enriched categories. (English) Zbl 1502.18014 Adv. Math. 412, Article ID 108812, 52 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D20 18C35 PDF BibTeX XML Cite \textit{J. Bourke} et al., Adv. Math. 412, Article ID 108812, 52 p. (2023; Zbl 1502.18014) Full Text: DOI arXiv
Stenzel, Raffael Univalence and completeness of Segal objects. (English) Zbl 1502.18048 J. Pure Appl. Algebra 227, No. 4, Article ID 107254, 47 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 18N50 18N60 18C50 55U35 PDF BibTeX XML Cite \textit{R. Stenzel}, J. Pure Appl. Algebra 227, No. 4, Article ID 107254, 47 p. (2023; Zbl 1502.18048) Full Text: DOI arXiv
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete. (English) Zbl 1506.18011 J. Pure Appl. Algebra 227, No. 4, Article ID 107245, 9 p. (2023). Reviewer: Panagis Karazeris (Patras) MSC: 18C35 46L05 46M99 PDF BibTeX XML Cite \textit{M. Lieberman} et al., J. Pure Appl. Algebra 227, No. 4, Article ID 107245, 9 p. (2023; Zbl 1506.18011) Full Text: DOI arXiv
Hofmann, Dirk; Nora, Pedro Duality theory for enriched Priestley spaces. (English) Zbl 1498.18005 J. Pure Appl. Algebra 227, No. 3, Article ID 107231, 32 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 18B10 18C15 18C20 18D20 PDF BibTeX XML Cite \textit{D. Hofmann} and \textit{P. Nora}, J. Pure Appl. Algebra 227, No. 3, Article ID 107231, 32 p. (2023; Zbl 1498.18005) Full Text: DOI arXiv
Chirvasitu, Alexandru; Ko, Joanna Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras. (English) Zbl 1496.18011 J. Pure Appl. Algebra 227, No. 3, Article ID 107209, 24 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18C15 18D20 46L05 46L10 46J10 PDF BibTeX XML Cite \textit{A. Chirvasitu} and \textit{J. Ko}, J. Pure Appl. Algebra 227, No. 3, Article ID 107209, 24 p. (2023; Zbl 1496.18011) Full Text: DOI arXiv
Lack, Stephen; Tendas, Giacomo Virtual concepts in the theory of accessible categories. (English) Zbl 1502.18015 J. Pure Appl. Algebra 227, No. 2, Article ID 107196, 40 p. (2023). Reviewer: Adriana Balan (Bucureşti) MSC: 18D20 18C35 18C30 18A35 PDF BibTeX XML Cite \textit{S. Lack} and \textit{G. Tendas}, J. Pure Appl. Algebra 227, No. 2, Article ID 107196, 40 p. (2023; Zbl 1502.18015) Full Text: DOI arXiv
Henry, Simon Combinatorial and accessible weak model categories. (English) Zbl 1502.55015 J. Pure Appl. Algebra 227, No. 2, Article ID 107191, 46 p. (2023). Reviewer: José Calcines (La Laguna) MSC: 55U35 18N40 18C35 18N55 PDF BibTeX XML Cite \textit{S. Henry}, J. Pure Appl. Algebra 227, No. 2, Article ID 107191, 46 p. (2023; Zbl 1502.55015) Full Text: DOI arXiv
Di Liberti, Ivan; Loregian, Fosco Accessibility and presentability in 2-categories. (English) Zbl 1494.18006 J. Pure Appl. Algebra 227, No. 1, Article ID 107155, 25 p. (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18A05 18D65 PDF BibTeX XML Cite \textit{I. Di Liberti} and \textit{F. Loregian}, J. Pure Appl. Algebra 227, No. 1, Article ID 107155, 25 p. (2023; Zbl 1494.18006) Full Text: DOI arXiv
Caramello, Olivia The unification of mathematics via topos theory. (English) Zbl 07740533 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 563-601 (2022). MSC: 03A05 03Bxx 01A25 01A55 03G30 18C10 18B25 PDF BibTeX XML Cite \textit{O. Caramello}, in: Logic in question. Talks from the annual Sorbonne logic workshop (2011--2019), Paris, France, April 15--16, 2019. Cham: Birkhäuser. 563--601 (2022; Zbl 07740533) Full Text: DOI arXiv
Król, Jerzy; Schumann, Andrew; Bielas, Krzysztof Brain and its universal logical model of multi-agent biological systems. (English) Zbl 07659710 Log. Univers. 16, No. 4, 671-687 (2022). MSC: 03B20 18C40 PDF BibTeX XML Cite \textit{J. Król} et al., Log. Univers. 16, No. 4, 671--687 (2022; Zbl 07659710) Full Text: DOI
Jun, Jaiung; Mincheva, Kalina; Rowen, Louis \(\mathcal{T}\)-semiring pairs. (English) Zbl 07655857 Kybernetika 58, No. 5, 733-759 (2022). MSC: 08A05 14T10 16Y60 18A05 18C10 08A30 08A72 12K10 13C60 18E05 20N20 PDF BibTeX XML Cite \textit{J. Jun} et al., Kybernetika 58, No. 5, 733--759 (2022; Zbl 07655857) Full Text: DOI arXiv
Leiß, Hans An algebraic representation of the fixed-point closure of \(^*\)-continuous Kleene algebras – a categorical Chomsky-Schützenberger theorem. (English) Zbl 07650539 Math. Struct. Comput. Sci. 32, No. 6, 685-728 (2022). MSC: 68Q70 18C50 PDF BibTeX XML Cite \textit{H. Leiß}, Math. Struct. Comput. Sci. 32, No. 6, 685--728 (2022; Zbl 07650539) Full Text: DOI
Lucyshyn-Wright, Rory B. B.; Parker, Jason Presentations and algebraic colimits of enriched monads for a subcategory of arities. (English) Zbl 1505.18008 Theory Appl. Categ. 38, 1434-1484 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C15 18C20 18C40 18D15 18D20 08B20 08C05 PDF BibTeX XML Cite \textit{R. B. B. Lucyshyn-Wright} and \textit{J. Parker}, Theory Appl. Categ. 38, 1434--1484 (2022; Zbl 1505.18008) Full Text: arXiv Link
Contreras, Ivan; Keller, Molly; Mehta, Rajan Amit Frobenius objects in the category of spans. (English) Zbl 1503.18003 Rev. Math. Phys. 34, No. 10, Article ID 2250036, 34 p. (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B10 18B40 18C40 18N50 20L05 57R56 PDF BibTeX XML Cite \textit{I. Contreras} et al., Rev. Math. Phys. 34, No. 10, Article ID 2250036, 34 p. (2022; Zbl 1503.18003) Full Text: DOI arXiv
Aguirre, Alejandro; Katsumata, Shin-Ya; Kura, Satoshi Weakest preconditions in fibrations. (English) Zbl 1506.68053 Math. Struct. Comput. Sci. 32, No. 4, 472-510 (2022). MSC: 68Q60 03B70 03G30 18C15 18N45 68N30 PDF BibTeX XML Cite \textit{A. Aguirre} et al., Math. Struct. Comput. Sci. 32, No. 4, 472--510 (2022; Zbl 1506.68053) Full Text: DOI
Hermida, Claudio; Reddy, Uday; Robinson, Edmund; Santamaria, Alessio Bisimulation as a logical relation. (English) Zbl 1506.68060 Math. Struct. Comput. Sci. 32, No. 4, 442-471 (2022). MSC: 68Q85 03G30 18C15 PDF BibTeX XML Cite \textit{C. Hermida} et al., Math. Struct. Comput. Sci. 32, No. 4, 442--471 (2022; Zbl 1506.68060) Full Text: DOI arXiv
Garner, Richard The costructure-cosemantics adjunction for comodels for computational effects. (English) Zbl 1506.68051 Math. Struct. Comput. Sci. 32, No. 4, 374-419 (2022). MSC: 68Q55 18A40 18C15 PDF BibTeX XML Cite \textit{R. Garner}, Math. Struct. Comput. Sci. 32, No. 4, 374--419 (2022; Zbl 1506.68051) Full Text: DOI arXiv
Adámek, J.; Dostál, M.; Velebil, J. A categorical view of varieties of ordered algebras. (English) Zbl 1506.18009 Math. Struct. Comput. Sci. 32, No. 4, 349-373 (2022). Reviewer: Michel Hébert (Al-Qāhira) MSC: 18C15 18C05 18D20 08B99 06F99 PDF BibTeX XML Cite \textit{J. Adámek} et al., Math. Struct. Comput. Sci. 32, No. 4, 349--373 (2022; Zbl 1506.18009) Full Text: DOI arXiv
Meyers, Joshua; Spivak, David I.; Wisnesky, Ryan Fast left Kan extensions using the chase. (English) Zbl 1515.18003 J. Autom. Reasoning 66, No. 4, 805-844 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 68P15 03B70 03C98 03G30 18-08 18C10 PDF BibTeX XML Cite \textit{J. Meyers} et al., J. Autom. Reasoning 66, No. 4, 805--844 (2022; Zbl 1515.18003) Full Text: DOI arXiv
Lucatelli Nunes, Fernando Semantic factorization and descent. (English) Zbl 1502.18044 Appl. Categ. Struct. 30, No. 6, 1393-1433 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N10 18Cxx 18Dxx 18A22 18A30 18A40 18A25 PDF BibTeX XML Cite \textit{F. Lucatelli Nunes}, Appl. Categ. Struct. 30, No. 6, 1393--1433 (2022; Zbl 1502.18044) Full Text: DOI arXiv
Abellán García, Fernando; Stern, Walker H. 2-Cartesian fibrations. I: A model for \(\infty\)-bicategories fibred in \(\infty\)-bicategories. (English) Zbl 1504.18020 Appl. Categ. Struct. 30, No. 6, 1341-1392 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N45 18N10 18N40 18N65 18C10 PDF BibTeX XML Cite \textit{F. Abellán García} and \textit{W. H. Stern}, Appl. Categ. Struct. 30, No. 6, 1341--1392 (2022; Zbl 1504.18020) Full Text: DOI arXiv
Bourn, Dominique On the cocartesian image of preorders and equivalence relations in regular categories. (English) Zbl 1502.18007 Appl. Categ. Struct. 30, No. 6, 1153-1176 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B25 18C40 18D30 18E13 08A30 08B05 PDF BibTeX XML Cite \textit{D. Bourn}, Appl. Categ. Struct. 30, No. 6, 1153--1176 (2022; Zbl 1502.18007) Full Text: DOI arXiv
Lucyshyn-Wright, Rory B. B. Bifold algebras and commutants for enriched algebraic theories. (English) Zbl 1502.18010 Appl. Categ. Struct. 30, No. 6, 1077-1121 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C05 18C10 18C15 18C40 18D15 18D20 18E99 18M05 08A40 08A65 08B20 08C05 PDF BibTeX XML Cite \textit{R. B. B. Lucyshyn-Wright}, Appl. Categ. Struct. 30, No. 6, 1077--1121 (2022; Zbl 1502.18010) Full Text: DOI arXiv
Femić, Bojana Paired wreaths: 2-categorical background of a class of cross products. (English) Zbl 1502.18012 São Paulo J. Math. Sci. 16, No. 2, 743-785 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C20 18M15 18N10 18N15 PDF BibTeX XML Cite \textit{B. Femić}, São Paulo J. Math. Sci. 16, No. 2, 743--785 (2022; Zbl 1502.18012) Full Text: DOI arXiv
Kahl, Thomas On symmetric higher-dimensional automata and bisimilarity. (English) Zbl 1505.18011 Theor. Comput. Sci. 935, 47-60 (2022). Reviewer: Philippe Gaucher (Paris) MSC: 18C99 18A99 68Q85 PDF BibTeX XML Cite \textit{T. Kahl}, Theor. Comput. Sci. 935, 47--60 (2022; Zbl 1505.18011) Full Text: DOI arXiv
Agore, A. L. Eilenberg-Moore and Kleisli type categories for bimonads on arbitrary categories. (English) Zbl 1497.18004 Result. Math. 77, No. 6, Paper No. 225, 22 p. (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C20 16T05 18A35 18A20 PDF BibTeX XML Cite \textit{A. L. Agore}, Result. Math. 77, No. 6, Paper No. 225, 22 p. (2022; Zbl 1497.18004) Full Text: DOI
Tendas, Giacomo On continuity of accessible functors. (English) Zbl 1495.18010 Appl. Categ. Struct. 30, No. 5, 937-946 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C35 18D20 18A35 18A40 PDF BibTeX XML Cite \textit{G. Tendas}, Appl. Categ. Struct. 30, No. 5, 937--946 (2022; Zbl 1495.18010) Full Text: DOI arXiv
Borceux, Francis [Bénabou, Jean] Jean Bénabou (1932–2022): The man and the mathematician. (English) Zbl 1495.18001 Cah. Topol. Géom. Différ. Catég. 63, No. 3, 331-339 (2022). MSC: 18-03 01A70 18Cxx 18C30 18C35 PDF BibTeX XML Cite \textit{F. Borceux}, Cah. Topol. Géom. Différ. Catég. 63, No. 3, 331--339 (2022; Zbl 1495.18001) Full Text: Link
Ekici, Burak Formal categorical reasoning. (English) Zbl 07582177 Turk. J. Math. 46, No. 4, 1538-1552 (2022). MSC: 68V15 18C50 PDF BibTeX XML Cite \textit{B. Ekici}, Turk. J. Math. 46, No. 4, 1538--1552 (2022; Zbl 07582177) Full Text: DOI
Bondarko, M. V.; Kumallagov, D. Z. Smooth weight structures and birationality filtrations on motivic categories. (English. Russian original) Zbl 1499.14043 St. Petersbg. Math. J. 33, No. 5, 777-796 (2022); translation from Algebra Anal. 33, No. 5, 51-79 (2021). MSC: 14F42 14C15 18C40 PDF BibTeX XML Cite \textit{M. V. Bondarko} and \textit{D. Z. Kumallagov}, St. Petersbg. Math. J. 33, No. 5, 777--796 (2022; Zbl 1499.14043); translation from Algebra Anal. 33, No. 5, 51--79 (2021) Full Text: DOI arXiv
Grabner, Peter J. Purity results for some arithmetically defined measures. (English) Zbl 1503.37028 Indag. Math., New Ser. 33, No. 5, 1033-1048 (2022). MSC: 37B10 37B15 18C50 68Q45 PDF BibTeX XML Cite \textit{P. J. Grabner}, Indag. Math., New Ser. 33, No. 5, 1033--1048 (2022; Zbl 1503.37028) Full Text: DOI arXiv
Parker, Jason Extensivity of categories of relational structures. (English) Zbl 1492.18004 Theory Appl. Categ. 38, 898-912 (2022). MSC: 18B50 06A06 06F07 18C10 18C35 PDF BibTeX XML Cite \textit{J. Parker}, Theory Appl. Categ. 38, 898--912 (2022; Zbl 1492.18004) Full Text: arXiv Link
Thanh, Cédric Ho; Subramaniam, Chaitanya Leena Opetopic algebras. I: Algebraic structures on opetopic sets. (English) Zbl 1506.18010 High. Struct. 6, No. 1, 311-358 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C20 18C30 18M60 PDF BibTeX XML Cite \textit{C. H. Thanh} and \textit{C. L. Subramaniam}, High. Struct. 6, No. 1, 311--358 (2022; Zbl 1506.18010) Full Text: arXiv Link
Parker, Jason Covariant isotropy of Grothendieck toposes and extensive categories. (English) Zbl 1491.18014 Appl. Categ. Struct. 30, No. 4, 779-803 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18F10 18C10 18C35 18F20 PDF BibTeX XML Cite \textit{J. Parker}, Appl. Categ. Struct. 30, No. 4, 779--803 (2022; Zbl 1491.18014) Full Text: DOI
Van Belle, Ruben Probability monads as codensity monads. (English) Zbl 07552812 Theory Appl. Categ. 38, 811-842 (2022). MSC: 18C15 18A99 60A99 60B05 PDF BibTeX XML Cite \textit{R. Van Belle}, Theory Appl. Categ. 38, 811--842 (2022; Zbl 07552812) Full Text: arXiv Link
Dotto, Emanuele; Moi, Kristian Jonsson; Patchkoria, Irakli Witt vectors, polynomial maps, and real topological Hochschild homology. (English. French summary) Zbl 1502.18011 Ann. Sci. Éc. Norm. Supér. (4) 55, No. 2, 473-535 (2022). MSC: 18C20 13F35 19B28 19D55 55N15 PDF BibTeX XML Cite \textit{E. Dotto} et al., Ann. Sci. Éc. Norm. Supér. (4) 55, No. 2, 473--535 (2022; Zbl 1502.18011) Full Text: DOI arXiv
Wilson, Trevor M. The large cardinal strength of weak Vopenka’s principle. (English) Zbl 07544294 J. Math. Log. 22, No. 1, Article ID 2150024, 15 p. (2022). MSC: 03E55 18C35 PDF BibTeX XML Cite \textit{T. M. Wilson}, J. Math. Log. 22, No. 1, Article ID 2150024, 15 p. (2022; Zbl 07544294) Full Text: DOI arXiv
Lack, Stephen; Tendas, Giacomo Flat vs. filtered colimits in the enriched context. (English) Zbl 1491.18010 Adv. Math. 404, Part A, Article ID 108381, 50 p. (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D20 18C35 18A35 18N10 18N50 18G35 PDF BibTeX XML Cite \textit{S. Lack} and \textit{G. Tendas}, Adv. Math. 404, Part A, Article ID 108381, 50 p. (2022; Zbl 1491.18010) Full Text: DOI arXiv
Bourke, John; Henry, Simon Algebraically cofibrant and fibrant objects revisited. (English) Zbl 1487.55029 Homology Homotopy Appl. 24, No. 1, 271-298 (2022). MSC: 55U35 18C35 18N40 PDF BibTeX XML Cite \textit{J. Bourke} and \textit{S. Henry}, Homology Homotopy Appl. 24, No. 1, 271--298 (2022; Zbl 1487.55029) Full Text: DOI arXiv
Lucyshyn-Wright, Rory B. B.; Parker, Jason Locally bounded enriched categories. (English) Zbl 1493.18001 Theory Appl. Categ. 38, 684-736 (2022). Reviewer: Joaquín Luna-Torres (Cartagena) 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 1493.18001) Full Text: arXiv Link
Yue, Yueli; Yao, Wei; Ho, Weng Kin Applications of Scott-closed sets in convex structures. (English) Zbl 1489.52001 Topology Appl. 314, Article ID 108093, 14 p. (2022). MSC: 52A01 18C15 18C20 PDF BibTeX XML Cite \textit{Y. Yue} et al., Topology Appl. 314, Article ID 108093, 14 p. (2022; Zbl 1489.52001) Full Text: DOI
Lieberman, Michael; Rosický, Jiří; Vasey, Sebastien Induced and higher-dimensional stable independence. (English) Zbl 1487.18005 Ann. Pure Appl. Logic 173, No. 7, Article ID 103124, 15 p. (2022). MSC: 18C35 03C45 03C48 03C52 13C60 PDF BibTeX XML Cite \textit{M. Lieberman} et al., Ann. Pure Appl. Logic 173, No. 7, Article ID 103124, 15 p. (2022; Zbl 1487.18005) Full Text: DOI arXiv
Di Liberti, Ivan General facts on the Scott adjunction. (English) Zbl 1492.18007 Appl. Categ. Struct. 30, No. 3, 569-591 (2022). Reviewer: Panagis Karazeris (Patras) MSC: 18C35 18F10 18D20 18B35 PDF BibTeX XML Cite \textit{I. Di Liberti}, Appl. Categ. Struct. 30, No. 3, 569--591 (2022; Zbl 1492.18007) Full Text: DOI arXiv Backlinks: MO
Henry, Simon; Mimram, Samuel Tietze equivalences as weak equivalences. (English) Zbl 1495.18028 Appl. Categ. Struct. 30, No. 3, 453-483 (2022). Reviewer: Philippe Gaucher (Paris) MSC: 18N40 20M05 55U35 18C35 PDF BibTeX XML Cite \textit{S. Henry} and \textit{S. Mimram}, Appl. Categ. Struct. 30, No. 3, 453--483 (2022; Zbl 1495.18028) Full Text: DOI arXiv
Penon, Jacques A class of examples of weak \(\infty\)-categories in the sense of Batanin. (Une classe d’exemples d’\(\infty\)-catégories faibles au sens de Batanin.) (French. English summary) Zbl 1487.18004 Cah. Topol. Géom. Différ. Catég. 63, No. 2, 163-183 (2022). MSC: 18C15 18N15 PDF BibTeX XML Cite \textit{J. Penon}, Cah. Topol. Géom. Différ. Catég. 63, No. 2, 163--183 (2022; Zbl 1487.18004) Full Text: Link
Kachour, Camell Algebraic models of cubical weak higher structures. (English) Zbl 1502.18009 Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 189-220 (2022). Reviewer: Timothy Porter (Llandegfan) MSC: 18B40 18C15 18C20 55U35 PDF BibTeX XML Cite \textit{C. Kachour}, Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 189--220 (2022; Zbl 1502.18009)
Kachour, Camell Algebraic models of cubical weak \(\infty\)-categories with connections. (English) Zbl 1496.18010 Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 143-187 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18B40 18C15 18C20 20L99 55U35 PDF BibTeX XML Cite \textit{C. Kachour}, Categ. Gen. Algebr. Struct. Appl. 16, No. 1, 143--187 (2022; Zbl 1496.18010)
Di Liberti, Ivan; Ramos González, Julia Exponentiable Grothendieck categories in flat algebraic geometry. (English) Zbl 1497.14004 J. Algebra 604, 362-405 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 14A22 14F06 18B25 18C35 18F10 18M05 18E10 PDF BibTeX XML Cite \textit{I. Di Liberti} and \textit{J. Ramos González}, J. Algebra 604, 362--405 (2022; Zbl 1497.14004) Full Text: DOI arXiv
Gumm, H. Peter; Freese, Ralph S. Free-lattice functors weakly preserve epi-pullbacks. (English) Zbl 07524482 Algebra Univers. 83, No. 2, Paper No. 20, 18 p. (2022). MSC: 08B20 08B05 06B25 18C15 PDF BibTeX XML Cite \textit{H. P. Gumm} and \textit{R. S. Freese}, Algebra Univers. 83, No. 2, Paper No. 20, 18 p. (2022; Zbl 07524482) Full Text: DOI arXiv
Martini, Lorenzo; Parra, Carlos E. Local coherence of hearts associated with Thomason filtrations. (English) Zbl 07524226 J. Pure Appl. Algebra 226, No. 10, Article ID 107075, 55 p. (2022). MSC: 13D30 18E15 18E30 18A35 18C35 PDF BibTeX XML Cite \textit{L. Martini} and \textit{C. E. Parra}, J. Pure Appl. Algebra 226, No. 10, Article ID 107075, 55 p. (2022; Zbl 07524226) Full Text: DOI arXiv
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
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 arXiv
Ardizzoni, Alessandro; Menini, Claudia Monadic vs adjoint decomposition. (English) Zbl 1492.18005 J. Pure Appl. Algebra 226, No. 8, Article ID 106945, 47 p. (2022). Reviewer: Blas Torrecillas (Almería) MSC: 18C15 18A40 PDF BibTeX XML Cite \textit{A. Ardizzoni} and \textit{C. Menini}, J. Pure Appl. Algebra 226, No. 8, Article ID 106945, 47 p. (2022; Zbl 1492.18005) Full Text: DOI arXiv
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe A characterisation of elementary fibrations. (English) Zbl 1492.18008 Ann. Pure Appl. Logic 173, No. 6, Article ID 103103, 29 p. (2022). Reviewer: Robert Rosebrugh (Sackville) MSC: 18C40 18C50 03G30 18D30 18D40 18N45 PDF BibTeX XML Cite \textit{J. Emmenegger} et al., Ann. Pure Appl. Logic 173, No. 6, Article ID 103103, 29 p. (2022; Zbl 1492.18008) Full Text: DOI arXiv
Di Liberti, Ivan; Rosický, Jiří Enriched locally generated categories. (English) Zbl 1492.18006 Theory Appl. Categ. 38, 661-683 (2022). Reviewer: Adriana Balan (Bucureşti) MSC: 18C30 18C35 18D20 46A03 46B04 54B30 PDF BibTeX XML Cite \textit{I. Di Liberti} and \textit{J. Rosický}, Theory Appl. Categ. 38, 661--683 (2022; Zbl 1492.18006) Full Text: arXiv Link
Sterck, Florence Split extensions and actions of bialgebras and Hopf algebras. (English) Zbl 1503.16045 Appl. Categ. Struct. 30, No. 2, 331-377 (2022). Reviewer: Serban Raianu (Torrance) MSC: 16T10 16T05 18C40 18E99 18M05 17D99 16S40 PDF BibTeX XML Cite \textit{F. Sterck}, Appl. Categ. Struct. 30, No. 2, 331--377 (2022; Zbl 1503.16045) Full Text: DOI arXiv
Lu, Jing The monad on strong quasi-metric spaces. (English) Zbl 1487.54043 Theor. Comput. Sci. 912, 99-108 (2022). MSC: 54E35 18C15 PDF BibTeX XML Cite \textit{J. Lu}, Theor. Comput. Sci. 912, 99--108 (2022; Zbl 1487.54043) Full Text: DOI
Berktaş, Mustafa Kemal Pure Goldie dimensions for exactly definable categories. (English) Zbl 1483.18010 Bull. Iran. Math. Soc. 48, No. 1, 187-192 (2022). MSC: 18E10 18C35 PDF BibTeX XML Cite \textit{M. K. Berktaş}, Bull. Iran. Math. Soc. 48, No. 1, 187--192 (2022; Zbl 1483.18010) Full Text: DOI
Jun, Jaiung; Mincheva, Kalina; Rowen, Louis Homology of systemic modules. (English) Zbl 1495.14098 Manuscr. Math. 167, No. 3-4, 469-520 (2022). Reviewer: Letterio Gatto (Torino) 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 1495.14098) Full Text: DOI arXiv