Al-Rawashdeh, A.; Mesablishvili, B. On Amitsur cohomology of monads. (English) Zbl 07960970 J. Algebra Appl. 24, No. 2, Article ID 2550053, 53 p. (2025). MSC: 18C15 18C20 18G50 46B99 × Cite Format Result Cite Review PDF Full Text: DOI
Hristova, Katerina; Jones, John; Rumynin, Dmitriy General comodule-contramodule correspondence. (English) Zbl 07961150 São Paulo J. Math. Sci. 18, No. 2, 721-772 (2024). MSC: 18D20 18N40 16T15 55U40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Radul, Taras On the functor of comonotonically maxitive functionals. (English) Zbl 07951528 Topology Appl. 358, Article ID 109131, 8 p. (2024). MSC: 18F60 18C15 28E10 54B30 54C35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shelash, Hayder B.; Hashim, Hayder R.; Shukur, Ali A. Complexity of monad graphs generated by the function \(f(g) = g^5\). (English) Zbl 07943365 J. Prime Res. Math. 20, No. 2, 1-9 (2024). MSC: 05C25 05C20 11A07 11A41 11P83 × Cite Format Result Cite Review PDF Full Text: Link
Goubault-Larrecq, Jean; Jia, Xiaodong A cone-theoretic barycenter existence theorem. (English) Zbl 07941278 Log. Methods Comput. Sci. 20, No. 4, Paper No. 7, 15 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Coraglia, Greta; Emmenegger, Jacopo A 2-categorical analysis of context comprehension. (English) Zbl 07940409 Theory Appl. Categ. 41, 1476-1512 (2024). MSC: 18D70 03B38 18N45 18N15 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Ghazel, Moncef Kan extendable subcategories and fibrewise topology. (English) Zbl 07936032 Adv. Pure Appl. Math. 15, No. 4, 21-83 (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 18D15 54B30 55R70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Štěpán, Miloslav Factorization systems and double categories. (English) Zbl 1540.18004 Theory Appl. Categ. 41, 551-592 (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A32 18B10 18M05 18N10 18N15 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Clementino, Maria Manuel; Lucatelli Nunes, Fernando; Prezado, Rui Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent. (English) Zbl 1540.18021 Theory Appl. Categ. 41, 516-530 (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N10 18N15 18A05 18A22 18A40 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Di Liberti, Ivan; Lobbia, Gabriele; Sousa, Lurdes KZ-pseudomonads and Kan injectivity. (English) Zbl 1540.18005 Theory Appl. Categ. 40, Spec. Vol. Bunge Festschrift, 430-478 (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D70 18D65 18N10 18N15 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Gambino, Nicola; Garner, Richard; Vasilakopoulou, Christina Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences. (English) Zbl 07854022 Doc. Math. 29, No. 3, 627-702 (2024). MSC: 18N10 18N15 18M80 18C20 18M05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chirvasitu, Alexandru Semisimplicity manifesting as categorical smallness. (English) Zbl 1537.22009 Theory Appl. Categ. 41, 470-492 (2024). MSC: 22C05 46H05 46H15 16K99 18A30 18A35 18D20 46B04 46L05 46A19 54E40 18C15 18C20 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Janelidze, George Ideally exact categories. (English) Zbl 1541.18009 Theory Appl. Categ. 41, 414-425 (2024). Reviewer: Osman Mucuk (Kayseri) MSC: 18E13 18C15 18E08 08B99 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Emmenegger, Jacopo; Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas A comonad for Grothendieck fibrations. (English) Zbl 1537.18030 Theory Appl. Categ. 40, Spec. Vol. Bunge Festschrift, 371-389 (2024). Reviewer: Nima Rasekh (Bonn) MSC: 18N45 03G30 18N10 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Clementino, Maria Manuel; Lucatelli Nunes, Fernando Lax comma 2-categories and admissible 2-functors. (English) Zbl 1537.18028 Theory Appl. Categ. 40, Spec. Vol. Bunge Festschrift, 180-226 (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N10 18N15 18A05 18A22 18A40 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Arkor, Nathanael; McDermott, Dylan The formal theory of relative monads. (English) Zbl 1537.18007 J. Pure Appl. Algebra 228, No. 9, Article ID 107676, 107 p. (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D70 18D65 18C15 18C20 18A40 18D60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Osmond, Axel Codescent and bicolimits of pseudo-algebras. (English) Zbl 1545.18032 Appl. Categ. Struct. 32, No. 2, Paper No. 11, 56 p. (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N15 18N10 18C15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chirvasitu, Alexandru Non-commutative ambits and equivariant compactifications. (English) Zbl 1535.18003 J. Noncommut. Geom. 18, No. 2, 567-603 (2024). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A30 18A40 18C35 18C20 46L67 46L05 46L52 43A22 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Katz, Mikhail G.; Kuhlemann, Karl; Sherry, David; Ugaglia, Monica Leibniz on bodies and infinities: rerum natura and mathematical fictions. (English) Zbl 1546.01017 Rev. Symb. Log. 17, No. 1, 36-66 (2024). Reviewer: Viktor Blåsjö (Utrecht) MSC: 01A45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Powell, Thomas Proofs as stateful programs: a first-order logic with abstract Hoare triples, and an interpretation into an imperative language. (English) Zbl 07814915 Log. Methods Comput. Sci. 20, No. 1, Paper No. 7, 32 p. (2024). MSC: 03B70 68N30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rosický, J. Discrete equational theories. (English) Zbl 07813380 Math. Struct. Comput. Sci. 34, No. 2, 147-160 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hou, Huijun; Miao, Hualin; Li, Qingguo The order-K-ification monads. (English) Zbl 07813374 Math. Struct. Comput. Sci. 34, No. 1, 45-62 (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Bruguières, Alain; Haim, Mariana; López Franco, Ignacio Slack Hopf monads. (English) Zbl 1530.18020 J. Algebra 642, 1-48 (2024). Reviewer: Liu Gongxiang (Nanjing) MSC: 18M05 16T05 18D15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Nunes, Fernando Lucatelli; Prezado, Rui Functors Preserving Effective Descent Morphisms. arXiv:2410.22876 Preprint, arXiv:2410.22876 [math.CT] (2024). MSC: 18A05 18A20 18A22 18A25 18A35 18A40 18D30 18F20 18N10 18N15 × Cite Format Result Cite Full Text: arXiv
Nunes, Fernando Lucatelli; Prezado, Rui; Vákár, Matthijs Free extensivity via distributivity. arXiv:2405.02185 Preprint, arXiv:2405.02185 [math.CT] (2024). MSC: 18N15 18D65 18A35 18B50 18D15 18A30 18N10 68N18 × Cite Format Result Cite Full Text: arXiv
Nunes, Fernando Lucatelli; Vákár, Matthijs Free Doubly-Infinitary Distributive Categories are Cartesian Closed. arXiv:2403.10447 Preprint, arXiv:2403.10447 [math.CT] (2024). MSC: 18N15 18C15 18C20 18D15 18N10 18D65 18B50 × Cite Format Result Cite Full Text: arXiv OA License
Bojańczyk, Mikołaj; Klin, Bartek; Salamanca, Julian Monadic monadic second order logic. (English) Zbl 07920692 Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 701-754 (2023). MSC: 03B70 68Qxx 81P68 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dagnino, Francesco; Farjudian, Amin; Moggi, Eugenio Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad. (English) Zbl 07913498 Ábrahám, Erika (ed.) et al., Theoretical aspects of computing – ICTAC 2023. 20th international colloquium, Lima, Peru, December 4–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14446, 313-331 (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Liu, Mengying; Yue, Yueli; Wei, Xiaowei Frame-valued Scott open set monad and its algebras. (English) Zbl 1543.18004 Fuzzy Sets Syst. 460, 52-71 (2023). MSC: 18C15 18C20 18F70 × Cite Format Result Cite Review PDF Full Text: DOI
Lu, Sijia; Zhang, Dexue The double contravariant powerset monad in the Goguen category of fuzzy sets. (English) Zbl 1543.18005 Fuzzy Sets Syst. 460, 33-51 (2023). MSC: 18C15 18B05 03E72 18F75 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Demirci, Mustafa Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects. (English) Zbl 1543.18003 Fuzzy Sets Syst. 460, 1-32 (2023). MSC: 18C15 18B05 18F60 × Cite Format Result Cite Review PDF Full Text: DOI
Slattery, Andrew Pseudocommutativity and lax idempotency for relative pseudomonads. (English) Zbl 1535.18036 Theory Appl. Categ. 39, 1018-1049 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N15 18D65 18A05 18M65 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Bejrakarbum, Paratat; Bertozzini, Paolo Involutive weak globular \(\omega\)-categories. (English) Zbl 1531.18022 East-West J. Math. 24, No. 1, 1-55 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18N65 18N70 18M40 18N30 18N99 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gagne, Nicolas; Panangaden, Prakash A categorical characterization of relative entropy on standard Borel spaces. (English) Zbl 07788982 Log. Methods Comput. Sci. 19, No. 4, Paper No. 10, 18 p. (2023). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lucyshyn-Wright, Rory B. B.; Parker, Jason Diagrammatic presentations of enriched monads and varieties for a subcategory of arities. (English) Zbl 1532.18004 Appl. Categ. Struct. 31, No. 5, Paper No. 40, 39 p. (2023). Reviewer: Timothy Porter (Llandegfan) MSC: 18C10 18C15 18D20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Clementino, Maria Manuel; Fitas, Carlos On presheaf submonads of quantale-enriched categories. (English) Zbl 1522.18012 Quaest. Math. 46, No. 10, 2079-2108 (2023). Reviewer: George Janelidze (Cape Town) MSC: 18D20 18C15 18D60 18A22 18B35 18F75 06A75 06F07 54E35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
de’Liguoro, Ugo; Treglia, Riccardo From semantics to types: the case of the imperative \(\lambda\)-calculus. (English) Zbl 1542.68025 Theor. Comput. Sci. 973, Article ID 114082, 25 p. (2023). MSC: 68N18 03B40 18C50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Heunen, Chris; Sigal, Jesse Duoidally enriched Freyd categories. (English) Zbl 07728643 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 241-257 (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hartmann, Johannes; Gibbons, Jeremy Algorithm design with the selection monad. (English) Zbl 1528.68066 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 126-143 (2023). MSC: 68N18 68W05 91A68 × Cite Format Result Cite Review PDF Full Text: DOI Link
Mašulović, Dragan Dual Ramsey properties for classes of algebras. (English) Zbl 1518.05195 Eur. J. Comb. 112, Article ID 103716, 24 p. (2023). MSC: 05D10 18C20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hinze, Ralf; Marsden, Dan Introducing string diagrams. The art of category theory. (English) Zbl 1525.18001 Cambridge: Cambridge University Press (ISBN 978-1-00-931786-3/hbk; 978-1-00-931782-5/ebook). xiv, 182 p. (2023). Reviewer: Tobias Fritz (Innsbruck) MSC: 18-01 18N10 18C15 68N18 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Gao; He, Wei On saturated prefilter monads. (English) Zbl 1522.18010 Categ. Gen. Algebr. Struct. Appl. 18, No. 1, 19-41 (2023). MSC: 18C15 54B30 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Gurski, Nick; Johnson, Niles Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors. arXiv:2312.11261 Preprint, arXiv:2312.11261 [math.CT] (2023). MSC: 18C15 18D20 18M05 18M15 18N15 19D23 × Cite Format Result Cite Full Text: arXiv OA License
Prezado, Rui; Nunes, Fernando Lucatelli Generalized multicategories: change-of-base, embedding, and descent. arXiv:2309.08084 Preprint, arXiv:2309.08084 [math.CT] (2023). MSC: 18B10 18B15 18B50 18D65 18N10 18N15 × Cite Format Result Cite Full Text: arXiv
Becerra, Jorge Strictification and non-strictification of monoidal categories. arXiv:2303.16740 Preprint, arXiv:2303.16740 [math.CT] (2023). MSC: 18M05 18N10 18N15 × Cite Format Result Cite Full Text: arXiv OA License
Hirata, Kengo Generalization of formal monad theory to lax functors. arXiv:2301.06420 Preprint, arXiv:2301.06420 [math.CT] (2023). MSC: 18N10 18N15 × Cite Format Result Cite Full Text: arXiv OA License
Constantin, Carmen; Dicaire, Nuiok; Heunen, Chris Localisable monads. (English) Zbl 1541.18018 Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 15, 17 p. (2022). MSC: 18M05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
McDermott, Dylan; Uustalu, Tarmo Flexibly graded monads and graded algebras. (English) Zbl 07705359 Komendantskaya, Ekaterina (ed.), Mathematics of program construction. 14th international conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13544, 102-128 (2022). MSC: 68N30 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Sukhorukova, Kh. O.; Zarichnyi, M. M. On \(\ast \)-measure monads on the category of ultrametric spaces. (English) Zbl 1524.28005 Carpathian Math. Publ. 14, No. 2, 429-436 (2022). MSC: 28A33 46E27 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Rosset, Aloïs; Hansen, Helle Hvid; Endrullis, Jörg Algebraic presentation of semifree monads. (English) Zbl 07628069 Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 110-132 (2022). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
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 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Martínez, Luis; Tapia, Héctor Pinedo; Ramirez, Edwar Partial actions of groups on hyperspaces. (English) Zbl 1507.54017 Appl. Gen. Topol. 23, No. 2, 255-268 (2022). Reviewer: Vladimir Pestov (João Pessoa) MSC: 54H15 54B20 54F16 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Martinelli, Eros Quantale-enriched multicategories via actions. (English) Zbl 1498.18028 Theory Appl. Categ. 38, 1062-1107 (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 18M65 18B99 18D20 18D25 18F75 18M05 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Gepner, David; Haugseng, Rune; Kock, Joachim \(\infty\)-operads as analytic monads. (English) Zbl 1494.18019 Int. Math. Res. Not. 2022, No. 16, 12516-12624 (2022). Reviewer: Christoph Winges (Regensburg) MSC: 18N70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gao, Nan; Külshammer, Julian; Kvamme, Sondre; Psaroudakis, Chrysostomos A functorial approach to monomorphism categories for species. I. (English) Zbl 1498.18003 Commun. Contemp. Math. 24, No. 6, Article ID 2150069, 55 p. (2022). Reviewer: Tiago Cruz (Stuttgart) MSC: 18A20 16G70 18G25 16B50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
van den Berg, Birthe; Schrijvers, Tom A functional account of probabilistic programming with possible worlds. Declarative pearl. (English) Zbl 07570121 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 186-204 (2022). MSC: 68N18 68N17 68N19 68N30 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria The theory of traces for systems with nondeterminism, probability, and termination. (English) Zbl 1547.68489 Log. Methods Comput. Sci. 18, No. 2, Paper No. 21, 66 p. (2022). MSC: 68Q85 68Q45 68Q65 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Van Belle, Ruben Probability monads as codensity monads. (English) Zbl 1536.18004 Theory Appl. Categ. 38, 811-842 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 18A99 60A99 60B05 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF Full Text: Link
Batanin, Michael; White, David Homotopy theory of algebras of substitudes and their localisation. (English) Zbl 1486.18015 Trans. Am. Math. Soc. 375, No. 5, 3569-3640 (2022). Reviewer: Marek Golasiński (Olsztyn) MSC: 18D20 55P48 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Razafindrakoto, A. Separated and prime compactifications. (English) Zbl 1507.54009 Topology Appl. 309, Article ID 107911, 15 p. (2022). Reviewer: Minani Iragi (Johannesburg) MSC: 54B30 06B35 06D22 06F30 18B35 18C15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Fürer, Basil; Lochbihler, Andreas; Schneider, Joshua; Traytel, Dmitriy Quotients of bounded natural functors. (English) Zbl 1547.68808 Log. Methods Comput. Sci. 18, No. 1, Paper No. 23, 28 p. (2022). MSC: 68V15 03B16 03B35 68Q65 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Rosický, J. Are Banach spaces monadic? (English) Zbl 1483.18006 Commun. Algebra 50, No. 1, 268-274 (2022). Reviewer: Sergejs Solovjovs (Praha) MSC: 18C20 18B99 18C35 46B25 46L05 46M99 54E50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jia, Xiaodong; Mislove, Michael; Zamdzhiev, Vladimir The central valuations monad (Early Ideas). (English) Zbl 07774244 Gadducci, Fabio (ed.) et al., 9th conference on algebra and coalgebra in computer science, CALCO 2021, Salzburg, Austria, August 31 – September 3, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 211, Article 18, 5 p. (2021). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria Presenting convex sets of probability distributions by convex semilattices and unique bases ((Co)algebraic pearls). (English) Zbl 07774237 Gadducci, Fabio (ed.) et al., 9th conference on algebra and coalgebra in computer science, CALCO 2021, Salzburg, Austria, August 31 – September 3, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 211, Article 11, 18 p. (2021). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Yao, Wei; Yue, Yueli Algebraic representation of frame-valued continuous lattices via the open filter monad. (English) Zbl 1522.18011 Fuzzy Sets Syst. 420, 143-156 (2021). MSC: 18C20 06B35 18F70 × Cite Format Result Cite Review PDF Full Text: DOI
Trotta, Davide; Spadetto, Matteo; De Paiva, Valeria The Gödel fibration. (English) Zbl 07724260 Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 87, 16 p. (2021). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI arXiv
de Jong, Tom The Scott model of PCF in univalent type theory. (English) Zbl 1517.68069 Math. Struct. Comput. Sci. 31, No. 10, 1270-1300 (2021). MSC: 68N18 03B38 06B35 18B25 18C50 18N45 68N30 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Adámek, Jiří; Chen, Liang-Ting; Milius, Stefan; Urbat, Henning Reiterman’s theorem on finite algebras for a monad. (English) Zbl 1505.18009 ACM Trans. Comput. Log. 22, No. 4, Article No. 23, 48 p. (2021). MSC: 18C15 68Q70 08B25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Göçür, Orhan Amply soft set and its topologies: AS and PAS topologies. (English) Zbl 1525.54005 AIMS Math. 6, No. 4, 3121-3141 (2021). MSC: 54A40 × Cite Format Result Cite Review PDF Full Text: DOI
Shukur, Ali; Gutman, Ivan Energy of monad graphs. (English) Zbl 1499.05397 Bull. Int. Math. Virtual Inst. 11, No. 2, 261-268 (2021). MSC: 05C50 20D06 18C15 05C20 × Cite Format Result Cite Review PDF Full Text: DOI
Rosický, Jiří Metric monads. (English) Zbl 1497.18003 Math. Struct. Comput. Sci. 31, No. 5, 535-552 (2021). Reviewer: Michel Hébert (Al-Qāhira) MSC: 18C05 08B99 18C15 18D20 06F99 54E35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Adámek, Jiří; Ford, Chase; Milius, Stefan; Schröder, Lutz Finitary monads on the category of posets. (English) Zbl 1495.18007 Math. Struct. Comput. Sci. 31, No. 7, 799-821 (2021). MSC: 18C15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Algam, Akram Ghanim; Shelash, Hayder Baqer Dynamics of monad graph of finite group. (English) Zbl 1483.05074 J. Discrete Math. Sci. Cryptography 24, No. 6, 1589-1593 (2021). MSC: 05C25 22A05 20D60 11A07 × Cite Format Result Cite Review PDF Full Text: DOI
Brengos, Tomasz A coalgebraic take on regular and \(\omega\)-regular behaviours. (English) Zbl 1547.68470 Log. Methods Comput. Sci. 17, No. 4, Paper No. 24, 46 p. (2021). MSC: 68Q70 18C15 68Q65 68Q85 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Dotsenko, Vladimir; Tamaroff, Pedro Endofunctors and Poincaré-Birkhoff-Witt theorems. (English) Zbl 1531.18016 Int. Math. Res. Not. 2021, No. 16, 12670-12690 (2021). Reviewer: Sebastian Halbig (Marburg) MSC: 18M05 16D90 16S30 17B35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gutiérrez García, Javier; Höhle, Ulrich; Kubiak, Tomasz Basic concepts of quantale-enriched topologies. (English) Zbl 1477.18025 Appl. Categ. Struct. 29, No. 6, 983-1003 (2021). Reviewer: Sergejs Solovjovs (Praha) MSC: 18F75 18B99 18D20 18F60 18M05 46L89 × Cite Format Result Cite Review PDF Full Text: DOI
Zhou, Xin Fuzzy theory and the Kleisli category. (Chinese. English summary) Zbl 1488.18009 Fuzzy Syst. Math. 35, No. 2, 37-42 (2021). MSC: 18C20 18C15 × Cite Format Result Cite Review PDF
Poklewski-Koziell, Rowan A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories. (English) Zbl 1473.18002 Theory Appl. Categ. 37, 996-1016 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A35 18A40 18C15 18C20 18D70 18N10 18N15 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Casacuberta, Carles; Raventós, Oriol; Tonks, Andrew Comparing localizations across adjunctions. (English) Zbl 1479.55020 Trans. Am. Math. Soc. 374, No. 11, 7811-7865 (2021). Reviewer: Daniel Robert-Nicoud (Zürich) MSC: 55P60 18A40 55P48 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lai, Hongliang; Zhang, Dexue; Zhang, Gao The saturated prefilter monad. (English) Zbl 1481.18005 Topology Appl. 301, Article ID 107525, 30 p. (2021). Reviewer: Joaquín Luna-Torres (Cartagena) MSC: 18C15 18F60 18F75 54B30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Affeldt, Reynald; Garrigue, Jacques; Nowak, David; Saikawa, Takafumi A trustful monad for axiomatic reasoning with probability and nondeterminism. (English) Zbl 1493.03004 J. Funct. Program. 31, Paper No. e17, 38 p. (2021). Reviewer: Alexandre Goy (Lyon) MSC: 03B70 03B35 68N18 68V15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chan, Aaron; Miemietz, Vanessa Coidempotent subcoalgebras and short exact sequences of finitary 2-representations. (English) Zbl 1474.18036 Nagoya Math. J. 243, 316-341 (2021). Reviewer: Blas Torrecillas (Almería) MSC: 18N15 16G10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore Matching logic explained. (English) Zbl 1518.68047 J. Log. Algebr. Methods Program. 120, Article ID 100638, 37 p. (2021). MSC: 68N30 03B70 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI Link
Yue, Yueli; Fang, Jinming; Yao, Wei Monadic convergence structures revisited. (English) Zbl 1464.54003 Fuzzy Sets Syst. 406, 107-118 (2021). MSC: 54A20 06F07 18C20 × Cite Format Result Cite Review PDF Full Text: DOI
Chan, Hing Lun; Norrish, Michael Mechanisation of the AKS algorithm. (English) Zbl 1465.68301 J. Autom. Reasoning 65, No. 2, 205-256 (2021). MSC: 68V20 03B35 11A51 11Y11 11Y16 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Mesablishvili, Bachuki Non-abelian Galois cohomology via descent cohomology. (English) Zbl 1460.18002 J. Algebra Appl. 20, No. 4, Article ID 2150053, 13 p. (2021). MSC: 18C15 16S35 18C20 18G50 20J06 16T15 × Cite Format Result Cite Review PDF Full Text: DOI
Ghobadi, Aryan Pivotal objects in monoidal categories and their Hopf monads. (English) Zbl 1458.18009 Theory Appl. Categ. 37, 287-325 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18M05 18D15 16T99 18C20 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Penon, Jacques Purity of the Batanin monad. II. (Pureté de la monade de Batanin. II.) (French. English summary) Zbl 1472.18003 Cah. Topol. Géom. Différ. Catég. 62, No. 1, 3-62 (2021). Reviewer: Ittay Weiss (Portsmouth) MSC: 18C15 18N15 × Cite Format Result Cite Review PDF Full Text: Link
Adámek, Jiří; Sousa, Lurdes D-ultrafilters and their monads. (English) Zbl 1461.18003 Adv. Math. 377, Article ID 107486, 42 p. (2021). Reviewer: Jiří Rosický (Brno) MSC: 18C15 18C35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv