Gambino, Nicola; Lobbia, Gabriele On the formal theory of pseudomonads and pseudodistributive laws. (English) Zbl 07308187 Theory Appl. Categ. 37, 14-56 (2021). MSC: 18D05 18C15 18C20 PDF BibTeX XML Cite \textit{N. Gambino} and \textit{G. Lobbia}, Theory Appl. Categ. 37, 14--56 (2021; Zbl 07308187) Full Text: Link
Garner, Richard; Kock, Joachim; Weber, Mark Operadic categories and décalage. (English) Zbl 1453.18019 Adv. Math. 377, Article ID 107440, 24 p. (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18M60 18C20 18N50 PDF BibTeX XML Cite \textit{R. Garner} et al., Adv. Math. 377, Article ID 107440, 24 p. (2021; Zbl 1453.18019) Full Text: DOI
Zhang, Xiaohui; Zhao, Xiaofan; Wang, Wei Quasi-bimonads and their representations. (English) Zbl 1445.18017 J. Pure Appl. Algebra 225, No. 1, Article ID 106459, 24 p. (2021). Reviewer: J. N. Alonso Alvarez (Vigo) MSC: 18N10 16T10 18C15 PDF BibTeX XML Cite \textit{X. Zhang} et al., J. Pure Appl. Algebra 225, No. 1, Article ID 106459, 24 p. (2021; Zbl 1445.18017) Full Text: DOI
van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra Learning automata with side-effects. (English) Zbl 07314149 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). Lecture Notes in Computer Science 12094, 68-89 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{G. van Heerdt} et al., Lect. Notes Comput. Sci. 12094, 68--89 (2020; Zbl 07314149) Full Text: DOI
Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe Elementary doctrines as coalgebras. (English) Zbl 07299914 J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020). MSC: 18C50 03G30 18C20 03B10 03B20 03C45 PDF BibTeX XML Cite \textit{J. Emmenegger} et al., J. Pure Appl. Algebra 224, No. 12, Article ID 106445, 15 p. (2020; Zbl 07299914) Full Text: DOI
Urbat, Henning; Schröder, Lutz Automata learning: an algebraic approach. (English) Zbl 07299521 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 900-914 (2020). MSC: 68 PDF BibTeX XML Cite \textit{H. Urbat} and \textit{L. Schröder}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 900--914 (2020; Zbl 07299521) Full Text: DOI
Katsumata, Shin-ya; Rivas, Exequiel; Uustalu, Tarmo Interaction laws of monads and comonads. (English) Zbl 07299499 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 604-618 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{S.-y. Katsumata} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 604--618 (2020; Zbl 07299499) Full Text: DOI
Zhang, Shilong; Guo, Li; Keigher, William Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota-Baxter algebras. (English) Zbl 07272267 J. Algebra Appl. 19, No. 9, Article ID 2050172, 30 p. (2020). MSC: 18C15 13N99 16W99 PDF BibTeX XML Cite \textit{S. Zhang} et al., J. Algebra Appl. 19, No. 9, Article ID 2050172, 30 p. (2020; Zbl 07272267) Full Text: DOI
de’Liguoro, Ugo; Treglia, Riccardo The untyped computational \(\lambda \)-calculus and its intersection type discipline. (English) Zbl 07270959 Theor. Comput. Sci. 846, 141-159 (2020). MSC: 68Q PDF BibTeX XML Cite \textit{U. de'Liguoro} and \textit{R. Treglia}, Theor. Comput. Sci. 846, 141--159 (2020; Zbl 07270959) Full Text: DOI
Ekici, Burak; Kaliszyk, Cezary Mac Lane’s comparison theorem for the Kleisli construction formalized in Coq. (English) Zbl 07268443 Math. Comput. Sci. 14, No. 3, 533-549 (2020). MSC: 68N17 68N18 03F50 18A15 18A40 PDF BibTeX XML Cite \textit{B. Ekici} and \textit{C. Kaliszyk}, Math. Comput. Sci. 14, No. 3, 533--549 (2020; Zbl 07268443) Full Text: DOI
Trotta, Davide The existential completion. (English) Zbl 1446.18007 Theory Appl. Categ. 35, 1576-1607 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C15 PDF BibTeX XML Cite \textit{D. Trotta}, Theory Appl. Categ. 35, 1576--1607 (2020; Zbl 1446.18007) Full Text: Link
Moggi, Eugenio; Taha, Walid; Thunberg, Johan Sound over-approximation of probabilities. (English) Zbl 07254863 Acta Cybern. 24, No. 3, 269-285 (2020). MSC: 62G15 62A01 PDF BibTeX XML Cite \textit{E. Moggi} et al., Acta Cybern. 24, No. 3, 269--285 (2020; Zbl 07254863) Full Text: DOI
Salamanca Téllez, Julián Lattices do not distribute over powerset. (English) Zbl 07250031 Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020). MSC: 06B25 06A12 18A23 18C15 68Q85 68Q65 PDF BibTeX XML Cite \textit{J. Salamanca Téllez}, Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020; Zbl 07250031) Full Text: DOI
Zhang, Xiaohui; Wang, Dingguo Cotwists of bicomonads and BiHom-bialgebras. (English) Zbl 07246642 Algebr. Represent. Theory 23, No. 4, 1355-1385 (2020). MSC: 18C15 16T10 17D30 PDF BibTeX XML Cite \textit{X. Zhang} and \textit{D. Wang}, Algebr. Represent. Theory 23, No. 4, 1355--1385 (2020; Zbl 07246642) Full Text: DOI
Goncharov, Sergey; Milius, Stefan; Silva, Alexandra Toward a uniform theory of effectful state machines. (English) Zbl 1446.68085 ACM Trans. Comput. Log. 21, No. 3, Article No. 23, 63 p. (2020). MSC: 68Q55 18C15 18C50 68Q45 68Q70 PDF BibTeX XML Cite \textit{S. Goncharov} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 23, 63 p. (2020; Zbl 1446.68085) Full Text: DOI
Vooys, Geoff The Greenberg functor is site cocontinuous. (English) Zbl 1441.13051 Wood, David R. (ed.) et al., 2018 MATRIX annals. Cham: Springer. MATRIX Book Ser. 3, 383-427 (2020). MSC: 13F35 14A15 14G20 14G22 18C20 14A20 PDF BibTeX XML Cite \textit{G. Vooys}, MATRIX Book Ser. 3, 383--427 (2020; Zbl 1441.13051) Full Text: DOI
Street, Ross Polynomials as spans. (English. French summary) Zbl 1451.18014 Cah. Topol. Géom. Différ. Catég. 61, No. 2, 113-153 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 18C20 18F20 PDF BibTeX XML Cite \textit{R. Street}, Cah. Topol. Géom. Différ. Catég. 61, No. 2, 113--153 (2020; Zbl 1451.18014) Full Text: Link
Penon, Jacques Purity of the Batanin monad. I. (Pureté de la monade de Batanin. I.) (French. English summary) Zbl 07235523 Cah. Topol. Géom. Différ. Catég. 61, No. 1, 57-110 (2020). MSC: 18C15 18N15 PDF BibTeX XML Cite \textit{J. Penon}, Cah. Topol. Géom. Différ. Catég. 61, No. 1, 57--110 (2020; Zbl 07235523) Full Text: Link
Fresse, Benoit; Willwacher, Thomas The intrinsic formality of \(E_n\)-operads. (English) Zbl 1445.18014 J. Eur. Math. Soc. (JEMS) 22, No. 7, 2047-2133 (2020). Reviewer: Marek Golasiński (Olsztyn) MSC: 18M60 18C15 18N40 55P62 55S35 PDF BibTeX XML Cite \textit{B. Fresse} and \textit{T. Willwacher}, J. Eur. Math. Soc. (JEMS) 22, No. 7, 2047--2133 (2020; Zbl 1445.18014) Full Text: DOI
Drummond-Cole, Gabriel C.; Hirsh, Joseph; Lejay, Damien Representations are adjoint to endomorphisms. (English) Zbl 1444.18012 J. Homotopy Relat. Struct. 15, No. 2, 377-393 (2020). Reviewer: Aurelien Djament (Villeneuve d’Ascq)) MSC: 18D20 18A25 18A40 18C15 18M60 PDF BibTeX XML Cite \textit{G. C. Drummond-Cole} et al., J. Homotopy Relat. Struct. 15, No. 2, 377--393 (2020; Zbl 1444.18012) Full Text: DOI
Khalili, Zakiye; Miri, Mohammad Reza; Niazi, Mohsen Conjugate linear maps from \(C^*\)-algebras into their dual spaces which are ternary derivable at the unit element. (English) Zbl 07207749 Result. Math. 75, No. 3, Paper No. 80, 10 p. (2020). MSC: 46L57 17A36 18C15 PDF BibTeX XML Cite \textit{Z. Khalili} et al., Result. Math. 75, No. 3, Paper No. 80, 10 p. (2020; Zbl 07207749) Full Text: DOI
Estrada, Sergio; Pérez, Marco A.; Zhu, Haiyan Balanced pairs, cotorsion triplets and quiver representations. (English) Zbl 07204904 Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 67-90 (2020). MSC: 18G25 16G20 18E10 18C15 PDF BibTeX XML Cite \textit{S. Estrada} et al., Proc. Edinb. Math. Soc., II. Ser. 63, No. 1, 67--90 (2020; Zbl 07204904) Full Text: DOI
Di Liberti, Ivan Codensity: Isbell duality, pro-objects, compactness and accessibility. (English) Zbl 1452.18009 J. Pure Appl. Algebra 224, No. 10, Article ID 106379, 17 p. (2020). Reviewer: Jiří Rosický (Brno) MSC: 18C15 18C35 54H99 PDF BibTeX XML Cite \textit{I. Di Liberti}, J. Pure Appl. Algebra 224, No. 10, Article ID 106379, 17 p. (2020; Zbl 1452.18009) Full Text: DOI
Hess, Kathryn; Parent, Paul-Eugène; Scott, Jonathan Twisting structures and morphisms up to strong homotopy. (English) Zbl 1453.18022 J. Homotopy Relat. Struct. 15, No. 1, 185-222 (2020). MSC: 18N40 18C20 PDF BibTeX XML Cite \textit{K. Hess} et al., J. Homotopy Relat. Struct. 15, No. 1, 185--222 (2020; Zbl 1453.18022) Full Text: DOI
Janelidze, George; Sobral, Manuela Strict monadic topology. I: First separation axioms and reflections. (English) Zbl 1439.18007 Topology Appl. 273, Article ID 106963, 10 p. (2020). Reviewer: Michel Hébert (Cairo) MSC: 18C15 18F99 18E50 18A40 08B99 18F60 PDF BibTeX XML Cite \textit{G. Janelidze} and \textit{M. Sobral}, Topology Appl. 273, Article ID 106963, 10 p. (2020; Zbl 1439.18007) Full Text: DOI
Clementino, Maria Manuel; Janelidze, George Another note on effective descent morphisms of topological spaces and relational algebras. (English) Zbl 07186718 Topology Appl. 273, Article ID 106961, 8 p. (2020). MSC: 18C20 18A40 18A20 54C10 18B30 PDF BibTeX XML Cite \textit{M. M. Clementino} and \textit{G. Janelidze}, Topology Appl. 273, Article ID 106961, 8 p. (2020; Zbl 07186718) Full Text: DOI
Fritz, Tobias; Perrone, Paolo Stochastic order on metric spaces and the ordered Kantorovich monad. (English) Zbl 1437.18005 Adv. Math. 366, Article ID 107081, 46 p. (2020). Reviewer: Eigil Rischel (København) MSC: 18C15 60B05 28A33 54E35 54F05 PDF BibTeX XML Cite \textit{T. Fritz} and \textit{P. Perrone}, Adv. Math. 366, Article ID 107081, 46 p. (2020; Zbl 1437.18005) Full Text: DOI
Garner, Richard The Vietoris monad and weak distributive laws. (English) Zbl 1442.18010 Appl. Categ. Struct. 28, No. 2, 339-354 (2020). MSC: 18C15 PDF BibTeX XML Cite \textit{R. Garner}, Appl. Categ. Struct. 28, No. 2, 339--354 (2020; Zbl 1442.18010) Full Text: DOI
Bourke, John Equipping weak equivalences with algebraic structure. (English) Zbl 1437.55027 Math. Z. 294, No. 3-4, 995-1019 (2020). Reviewer: José Calcines (La Laguna) MSC: 55U35 18C35 PDF BibTeX XML Cite \textit{J. Bourke}, Math. Z. 294, No. 3--4, 995--1019 (2020; Zbl 1437.55027) Full Text: DOI
Polonsky, Andrew; Johann, Patricia Local presentability of certain comma categories. (English) Zbl 1432.18005 Appl. Categ. Struct. 28, No. 1, 135-142 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C10 18C15 PDF BibTeX XML Cite \textit{A. Polonsky} and \textit{P. Johann}, Appl. Categ. Struct. 28, No. 1, 135--142 (2020; Zbl 1432.18005) Full Text: DOI
Blumensath, Achim Regular tree algebras. (English) Zbl 07168152 Log. Methods Comput. Sci. 16, No. 1, Paper No. 16, 25 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{A. Blumensath}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 16, 25 p. (2020; Zbl 07168152) Full Text: arXiv
Yeakel, Sarah A lax monoidal model for multilinearization. (English) Zbl 1439.55012 Homology Homotopy Appl. 22, No. 1, 319-331 (2020). MSC: 55P47 55P65 18M05 18D65 PDF BibTeX XML Cite \textit{S. Yeakel}, Homology Homotopy Appl. 22, No. 1, 319--331 (2020; Zbl 1439.55012) Full Text: DOI
Ardizzoni, Alessandro; Menini, Claudia Heavily separable functors. (English) Zbl 07128747 J. Algebra 543, 170-197 (2020). MSC: 16H05 18D10 PDF BibTeX XML Cite \textit{A. Ardizzoni} and \textit{C. Menini}, J. Algebra 543, 170--197 (2020; Zbl 07128747) Full Text: DOI arXiv
Dubey, Umesh V.; Mallick, Vivek Mohan On the differential graded Eilenberg-Moore construction. (English) Zbl 1451.14002 J. Algebra 541, 174-218 (2020). MSC: 14A22 18A30 18G80 55U35 PDF BibTeX XML Cite \textit{U. V. Dubey} and \textit{V. M. Mallick}, J. Algebra 541, 174--218 (2020; Zbl 1451.14002) Full Text: DOI
Mesablishvili, B. On descent cohomology. (English) Zbl 1453.16035 Trans. A. Razmadze Math. Inst. 173, No. 2, 137-155 (2019). MSC: 16T15 18A22 18A25 18C05 18C15 18C20 PDF BibTeX XML Cite \textit{B. Mesablishvili}, Trans. A. Razmadze Math. Inst. 173, No. 2, 137--155 (2019; Zbl 1453.16035) Full Text: Link
Król, Jerzy Aspects of perturbative quantum gravity on synthetic spacetimes. (English) Zbl 1442.81048 Kuś, Marek (ed.) et al., Category theory in physics, mathematics, and philosophy. Proceedings of the conference “Category Theory in Physics, Mathematics and Philosophy”, Warsaw, Poland, November 16–17, 2017. Cham: Springer; Warsaw: International Center for Formal Ontology. Springer Proc. Phys. 235, 105-117 (2019). MSC: 81T10 81V17 81T15 83A05 18D65 81T60 81T70 83C45 83C47 PDF BibTeX XML Cite \textit{J. Król}, Springer Proc. Phys. 235, 105--117 (2019; Zbl 1442.81048) Full Text: DOI
Batanin, Michael A.; De Leger, Florian Polynomial monads and delooping of mapping spaces. (English) Zbl 07200378 J. Noncommut. Geom. 13, No. 4, 1521-1576 (2019). Reviewer: Najib Idrissi (Paris) MSC: 18M65 18C15 55P48 18N40 PDF BibTeX XML Cite \textit{M. A. Batanin} and \textit{F. De Leger}, J. Noncommut. Geom. 13, No. 4, 1521--1576 (2019; Zbl 07200378) Full Text: DOI
Pauwels, Koen; Schrijvers, Tom; Mu, Shin-Cheng Handling local state with global state. (English) Zbl 1434.68093 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 18-44 (2019). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{K. Pauwels} et al., Lect. Notes Comput. Sci. 11825, 18--44 (2019; Zbl 1434.68093) Full Text: DOI
Zhao, Na; Lu, Jing The monad of \(\Omega\)-\(\mathrm{Cat}\) category. (Chinese. English summary) Zbl 1449.18001 J. Nanjing Norm. Univ., Nat. Sci. Ed. 42, No. 2, 57-60 (2019). MSC: 18C15 16D90 PDF BibTeX XML Cite \textit{N. Zhao} and \textit{J. Lu}, J. Nanjing Norm. Univ., Nat. Sci. Ed. 42, No. 2, 57--60 (2019; Zbl 1449.18001) Full Text: DOI
Frosoni, Giulia; Rosolini, Giuseppe; Santamaria, Alessio Frames and topological algebras for a double-power monad. (English) Zbl 1440.18007 J. Log. Anal. 11, Article FT5, 21 p. (2019). Reviewer: Jorge Picado (Coimbra) MSC: 18C15 18D15 18F70 06D22 54B30 PDF BibTeX XML Cite \textit{G. Frosoni} et al., J. Log. Anal. 11, Article FT5, 21 p. (2019; Zbl 1440.18007) Full Text: Link
Nestra, Härmel Laws of monadic error handling. (English) Zbl 07142686 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 372-391 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{H. Nestra}, Lect. Notes Comput. Sci. 11884, 372--391 (2019; Zbl 07142686) Full Text: DOI
Walker, Charles Distributive laws via admissibility. (English) Zbl 1444.18004 Appl. Categ. Struct. 27, No. 6, 567-617 (2019). MSC: 18A35 18C15 18M05 PDF BibTeX XML Cite \textit{C. Walker}, Appl. Categ. Struct. 27, No. 6, 567--617 (2019; Zbl 1444.18004) Full Text: DOI arXiv
Shen, Bingliang; Zou, Xiaoguang The braided monoidal structure on the category of comodules of bimonads. (English) Zbl 07138013 Algebra Colloq. 26, No. 4, 565-578 (2019). MSC: 18C20 18D10 16S40 PDF BibTeX XML Cite \textit{B. Shen} and \textit{X. Zou}, Algebra Colloq. 26, No. 4, 565--578 (2019; Zbl 07138013) Full Text: DOI
Pacaud Lemay, Jean-Simon Lifting coalgebra modalities and MELL model structure to Eilenberg-Moore categories. (English) Zbl 07136667 Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019). MSC: 03F52 03G30 18C20 18M05 PDF BibTeX XML Cite \textit{J.-S. Pacaud Lemay}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 8, 50 p. (2019; Zbl 07136667) Full Text: arXiv
López Franco, Ignacio Cofibrantly generated lax orthogonal factorisation systems. (English) Zbl 1428.18010 Appl. Categ. Struct. 27, No. 5, 463-492 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D65 18A32 55U35 18D20 PDF BibTeX XML Cite \textit{I. López Franco}, Appl. Categ. Struct. 27, No. 5, 463--492 (2019; Zbl 1428.18010) Full Text: DOI arXiv
Cho, Kenta; Jacobs, Bart Disintegration and Bayesian inversion via string diagrams. (English) Zbl 1452.18008 Math. Struct. Comput. Sci. 29, No. 7, 938-971 (2019). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C15 28A50 62C10 PDF BibTeX XML Cite \textit{K. Cho} and \textit{B. Jacobs}, Math. Struct. Comput. Sci. 29, No. 7, 938--971 (2019; Zbl 1452.18008) Full Text: DOI
Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten Finitely presentable algebras for finitary monads. (English) Zbl 07130288 Theory Appl. Categ. 34, 1179-1195 (2019). MSC: 18C35 18C20 08C05 PDF BibTeX XML Cite \textit{J. Adámek} et al., Theory Appl. Categ. 34, 1179--1195 (2019; Zbl 07130288) Full Text: Link arXiv
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
Cheng, Eugenia; Leinster, Tom Weak \(\infty\)-categories via terminal coalgebras. (English) Zbl 1428.18031 Theory Appl. Categ. 34, 1073-1133 (2019). Reviewer: Gabriella Böhm (Budapest) MSC: 18M60 18N10 18C15 18D20 18N70 PDF BibTeX XML Cite \textit{E. Cheng} and \textit{T. Leinster}, Theory Appl. Categ. 34, 1073--1133 (2019; Zbl 1428.18031) Full Text: Link arXiv
Donadze, Guram; Van der Linden, Tim A comonadic interpretation of Baues-Ellis homology of crossed modules. (English) Zbl 07107644 J. Homotopy Relat. Struct. 14, No. 3, 625-646 (2019). MSC: 18G10 18G40 18C15 20J06 55N35 PDF BibTeX XML Cite \textit{G. Donadze} and \textit{T. Van der Linden}, J. Homotopy Relat. Struct. 14, No. 3, 625--646 (2019; Zbl 07107644) Full Text: DOI
Barr, Michael; Kennison, John; Raphael, R. Coequalizers and free triples. II. (English) Zbl 1422.18007 Theory Appl. Categ. 34, 662-683 (2019). Reviewer: Michel Hébert (Cairo) MSC: 18C15 18A30 18A32 PDF BibTeX XML Cite \textit{M. Barr} et al., Theory Appl. Categ. 34, 662--683 (2019; Zbl 1422.18007) Full Text: Link
Pous, Damien; Rot, Jurriaan Companions, causality and codensity. (English) Zbl 1442.68150 Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDF BibTeX XML Cite \textit{D. Pous} and \textit{J. Rot}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019; Zbl 1442.68150) Full Text: arXiv
Tholen, Walter Lax distributive laws for topology. I. (English. French summary) Zbl 1423.18027 Cah. Topol. Géom. Différ. Catég. 60, No. 3, 311-364 (2019). Reviewer: Gabriella Böhm (Budapest) MSC: 18D20 18C15 18C20 PDF BibTeX XML Cite \textit{W. Tholen}, Cah. Topol. Géom. Différ. Catég. 60, No. 3, 311--364 (2019; Zbl 1423.18027) Full Text: Link arXiv
Berger, Ulrich; Jones, Alison; Seisenberger, Monika Program extraction applied to monadic parsing. (English) Zbl 1452.68045 J. Log. Comput. 29, No. 4, 487-518 (2019). MSC: 68N30 03B70 68N18 68T50 68V15 PDF BibTeX XML Cite \textit{U. Berger} et al., J. Log. Comput. 29, No. 4, 487--518 (2019; Zbl 1452.68045) Full Text: DOI
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej Guarded and unguarded iteration for generalized processes. (English) Zbl 07080198 Log. Methods Comput. Sci. 15, No. 3, Paper No. 1, 47 p. (2019). MSC: 03D75 68Q55 PDF BibTeX XML Cite \textit{S. Goncharov} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 1, 47 p. (2019; Zbl 07080198) Full Text: arXiv
Kock, Joachim; Weber, Mark Faà di bruno for operads and internal algebras. (English) Zbl 07079425 J. Lond. Math. Soc., II. Ser. 99, No. 3, 919-944 (2019). MSC: 16T10 05A19 18D50 18C15 18B40 32A05 57T30 18G30 PDF BibTeX XML Cite \textit{J. Kock} and \textit{M. Weber}, J. Lond. Math. Soc., II. Ser. 99, No. 3, 919--944 (2019; Zbl 07079425) Full Text: DOI
Bourke, John; Garner, Richard Monads and theories. (English) Zbl 1434.18003 Adv. Math. 351, 1024-1071 (2019). Reviewer: Jiří Rosický (Brno) MSC: 18C15 18C20 PDF BibTeX XML Cite \textit{J. Bourke} and \textit{R. Garner}, Adv. Math. 351, 1024--1071 (2019; Zbl 1434.18003) Full Text: DOI arXiv
Connes, Alain; Consani, Caterina Homological algebra in characteristic one. (English) Zbl 1411.18006 High. Struct. 3, No. 1, 155-247 (2019). MSC: 18C99 11S40 12K10 14A15 PDF BibTeX XML Cite \textit{A. Connes} and \textit{C. Consani}, High. Struct. 3, No. 1, 155--247 (2019; Zbl 1411.18006) Full Text: Link arXiv
Heunen, Chris; Karvonen, Martti Limits in dagger categories. (English) Zbl 1412.18003 Theory Appl. Categ. 34, 468-513 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 18C15 18C20 18D10 18D15 18D35 PDF BibTeX XML Cite \textit{C. Heunen} and \textit{M. Karvonen}, Theory Appl. Categ. 34, 468--513 (2019; Zbl 1412.18003) Full Text: Link arXiv
López Hernández, Juan Luis; Turcio Cuevas, Luis Jesús; Vazquez-Marquez, Adrian Applications of the Kleisli and Eilenberg-Moore 2-adjunctions. (English) Zbl 1428.18038 Categ. Gen. Algebr. Struct. Appl. 10, No. 1, 117-156 (2019). Reviewer: Ramsès Fernàndez-València (Barcelona) MSC: 18N10 18C40 18M05 18A40 18C15 18C20 PDF BibTeX XML Cite \textit{J. L. López Hernández} et al., Categ. Gen. Algebr. Struct. Appl. 10, No. 1, 117--156 (2019; Zbl 1428.18038) Full Text: Link
Weiss, Ittay Mahavier limits: theory and applications. (English) Zbl 1417.54005 Topol. Proc. 53, 131-175 (2019). Reviewer: Willian Ribeiro (Coimbra) MSC: 54B30 54C60 18A05 18A30 18C20 54F15 54B35 PDF BibTeX XML Cite \textit{I. Weiss}, Topol. Proc. 53, 131--175 (2019; Zbl 1417.54005) Full Text: Link
Positselski, Leonid; Šťovíček, Jan Exactness of direct limits for abelian categories with an injective cogenerator. (English) Zbl 1436.18005 J. Pure Appl. Algebra 223, No. 8, 3330-3340 (2019). MSC: 18E10 18C20 18A30 PDF BibTeX XML Cite \textit{L. Positselski} and \textit{J. Šťovíček}, J. Pure Appl. Algebra 223, No. 8, 3330--3340 (2019; Zbl 1436.18005) Full Text: DOI
Böhm, Gabriella The formal theory of multimonoidal monads. (English) Zbl 1410.18007 Theory Appl. Categ. 34, 295-348 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 18D05 18D10 PDF BibTeX XML Cite \textit{G. Böhm}, Theory Appl. Categ. 34, 295--348 (2019; Zbl 1410.18007) Full Text: Link arXiv
Lucatelli Nunes, Fernando Pseudoalgebras and non-canonical isomorphisms. (English) Zbl 1411.18009 Appl. Categ. Struct. 27, No. 1, 55-63 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D05 18C15 18C20 18D10 PDF BibTeX XML Cite \textit{F. Lucatelli Nunes}, Appl. Categ. Struct. 27, No. 1, 55--63 (2019; Zbl 1411.18009) Full Text: DOI
Berger, Clemens; Ratkovic, Kruna Gabriel-Morita theory for excisive model categories. (English) Zbl 1428.18041 Appl. Categ. Struct. 27, No. 1, 23-54 (2019). Reviewer: Najib Idrissi (Paris) MSC: 18N40 18C15 18D25 55P42 PDF BibTeX XML Cite \textit{C. Berger} and \textit{K. Ratkovic}, Appl. Categ. Struct. 27, No. 1, 23--54 (2019; Zbl 1428.18041) Full Text: DOI arXiv
Fritz, Tobias; Perrone, Paolo A probability monad as the colimit of spaces of finite samples. (English) Zbl 1410.60007 Theory Appl. Categ. 34, 170-220 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 60A05 18C15 52A01 PDF BibTeX XML Cite \textit{T. Fritz} and \textit{P. Perrone}, Theory Appl. Categ. 34, 170--220 (2019; Zbl 1410.60007) Full Text: Link arXiv
Vasilakopoulou, Christina Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories. (English) Zbl 1419.18009 J. Pure Appl. Algebra 223, No. 7, 2889-2947 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18D05 18D10 18D15 18D20 18D30 18C15 PDF BibTeX XML Cite \textit{C. Vasilakopoulou}, J. Pure Appl. Algebra 223, No. 7, 2889--2947 (2019; Zbl 1419.18009) Full Text: DOI
Cottrell, Thomas A study of Penon weak \(n\)-categories. II: A multisimplicial nerve construction. (English. French summary) Zbl 1405.18006 Cah. Topol. Géom. Différ. Catég. 60, No. 1, 32-114 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 18D05 PDF BibTeX XML Cite \textit{T. Cottrell}, Cah. Topol. Géom. Différ. Catég. 60, No. 1, 32--114 (2019; Zbl 1405.18006) Full Text: Link
Kozen, Dexter Natural transformations as rewrite rules and monad composition. (English) Zbl 1405.68160 Log. Methods Comput. Sci. 15, No. 1, Paper No. 1, 12 p. (2019). MSC: 68Q42 18A23 18A40 18C15 PDF BibTeX XML Cite \textit{D. Kozen}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 1, 12 p. (2019; Zbl 1405.68160) Full Text: DOI arXiv
Durov, N. V. Homotopy theory of normed sets. II: Model categories. (English. Russian original) Zbl 1423.18058 St. Petersbg. Math. J. 30, No. 1, 25-71 (2019); translation from Algebra Anal. 30, No. 1, 32-95 (2018). MSC: 18G55 PDF BibTeX XML Cite \textit{N. V. Durov}, St. Petersbg. Math. J. 30, No. 1, 25--71 (2019; Zbl 1423.18058); translation from Algebra Anal. 30, No. 1, 32--95 (2018) Full Text: DOI
Bacci, Giorgio; Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon An algebraic theory of Markov processes. (English) Zbl 1453.08002 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 679-688 (2018). MSC: 08B05 08C15 08A70 18C15 68Q87 PDF BibTeX XML Cite \textit{G. Bacci} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 679--688 (2018; Zbl 1453.08002) Full Text: DOI
Venema, Yde Book review of: B. Jacobs, Introduction to coalgebra. Towards mathematics of states and observation. (Dutch) Zbl 1409.00055 Nieuw Arch. Wiskd. (5) 19, No. 4, 302-303 (2018). MSC: 00A17 68-01 68Q65 03B45 68Q85 18C15 18C20 18C50 PDF BibTeX XML Cite \textit{Y. Venema}, Nieuw Arch. Wiskd. (5) 19, No. 4, 302--303 (2018; Zbl 1409.00055)
Cottrell, Thomas A study of Penon weak \(n\)-categories. I: Monad interleaving. (English. French summary) Zbl 1405.18003 Cah. Topol. Géom. Différ. Catég. 59, No. 3, 197-259 (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 18C15 18D05 18D50 PDF BibTeX XML Cite \textit{T. Cottrell}, Cah. Topol. Géom. Différ. Catég. 59, No. 3, 197--259 (2018; Zbl 1405.18003) Full Text: Link
Henni, Abdelmoubine A.; Jardim, Marcos Commuting matrices and the Hilbert scheme of points on affine spaces. (English) Zbl 1403.14015 Adv. Geom. 18, No. 4, 467-482 (2018). Reviewer: Scott Nollet (Fort Worth) MSC: 14C05 PDF BibTeX XML Cite \textit{A. A. Henni} and \textit{M. Jardim}, Adv. Geom. 18, No. 4, 467--482 (2018; Zbl 1403.14015) Full Text: DOI
Sokolova, Ana; Woracek, Harald Termination in convex sets of distributions. (English) Zbl 1400.68146 Log. Methods Comput. Sci. 14, No. 4, Paper No. 17, 28 p. (2018). MSC: 68Q87 18B20 18C20 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. Sokolova} and \textit{H. Woracek}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 17, 28 p. (2018; Zbl 1400.68146) Full Text: DOI arXiv
Hess, Kathryn; Kędziorek, Magdalena The homotopy theory of coalgebras over simplicial comonads. (English) Zbl 1439.18006 Homology Homotopy Appl. 21, No. 1, 247-268 (2019). Reviewer: Tyrone Cutler (Bielefeld) MSC: 18C15 18N40 55P60 55U10 55U35 PDF BibTeX XML Cite \textit{K. Hess} and \textit{M. Kędziorek}, Homology Homotopy Appl. 21, No. 1, 247--268 (2018; Zbl 1439.18006) Full Text: DOI arXiv
Wisbauer, Robert A categorical approach to algebras and coalgebras. (English) Zbl 1404.18011 Sanada, Katsunori (ed.), Proceedings of the 50th symposium on ring theory and representation theory, University of Yamanashi, Yamanashi, Japan, October 7–10, 2017. Yamanashi: Symposium on Ring Theory and Representation Theory Organizing Committee. 190-206 (2018). MSC: 18C15 16T05 PDF BibTeX XML Cite \textit{R. Wisbauer}, in: Proceedings of the 50th symposium on ring theory and representation theory, University of Yamanashi, Yamanashi, Japan, October 7--10, 2017. Yamanashi: Symposium on Ring Theory and Representation Theory Organizing Committee. 190--206 (2018; Zbl 1404.18011)
Nestra, Härmel Double applicative functors. (English) Zbl 06983515 Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02507-6/pbk; 978-3-030-02508-3/ebook). Lecture Notes in Computer Science 11187, 333-353 (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{H. Nestra}, Lect. Notes Comput. Sci. 11187, 333--353 (2018; Zbl 06983515) Full Text: DOI
Hasegawa, Masahito; Lemay, Jean-Simon P. Linear distributivity with negation, star-autonomy, and Hopf monads. (English) Zbl 1403.18004 Theory Appl. Categ. 33, 1145-1157 (2018). Reviewer: Gabriella Böhm (Budapest) MSC: 18C20 18C15 18D10 18D15 16T05 PDF BibTeX XML Cite \textit{M. Hasegawa} and \textit{J.-S. P. Lemay}, Theory Appl. Categ. 33, 1145--1157 (2018; Zbl 1403.18004) Full Text: Link
Lemay, Jean-Simon P. A tangent category alternative to the Faà di Bruno construction. (English) Zbl 1402.18003 Theory Appl. Categ. 33, 1072-1110 (2018). MSC: 18A40 18C15 18D99 PDF BibTeX XML Cite \textit{J.-S. P. Lemay}, Theory Appl. Categ. 33, 1072--1110 (2018; Zbl 1402.18003) Full Text: Link
Sturtz, Kirk The factorization of the Giry monad. (English) Zbl 06975497 Adv. Math. 340, 76-105 (2018). MSC: 60A05 52A01 18C20 46M15 28A05 28A20 PDF BibTeX XML Cite \textit{K. Sturtz}, Adv. Math. 340, 76--105 (2018; Zbl 06975497) Full Text: DOI arXiv
Močkoř, J. Powerset operators of extensional fuzzy sets. (English) Zbl 1398.03185 Iran. J. Fuzzy Syst. 15, No. 2, 143-163 (2018). MSC: 03E72 18B05 PDF BibTeX XML Cite \textit{J. Močkoř}, Iran. J. Fuzzy Syst. 15, No. 2, 143--163 (2018; Zbl 1398.03185) Full Text: DOI
Hofmann, Dirk; Reis, Carla D. Convergence and quantale-enriched categories. (English) Zbl 1407.18002 Categ. Gen. Algebr. Struct. Appl. 9, No. 1, 77-138 (2018). Reviewer: Luciano Stramaccia (Perugia) MSC: 18B30 18B35 18C15 18C20 54A05 54A20 54E45 54E70 PDF BibTeX XML Cite \textit{D. Hofmann} and \textit{C. D. Reis}, Categ. Gen. Algebr. Struct. Appl. 9, No. 1, 77--138 (2018; Zbl 1407.18002) Full Text: Link
Lucatelli Nunes, Fernando On lifting of biadjoints and lax algebras. (English) Zbl 06970806 Categ. Gen. Algebr. Struct. Appl. 9, No. 1, 29-58 (2018). Reviewer: Laurent Poinsot (Villetaneuse) MSC: 18N10 18N15 18C15 18A40 18A30 PDF BibTeX XML Cite \textit{F. Lucatelli Nunes}, Categ. Gen. Algebr. Struct. Appl. 9, No. 1, 29--58 (2018; Zbl 06970806) Full Text: Link arXiv
Katsumata, Shin-Ya; Sato, Tetsuya; Uustalu, Tarmo Codensity lifting of monads and its dual. (English) Zbl 1398.18005 Log. Methods Comput. Sci. 14, No. 4, Paper No. 6, 31 p. (2018). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 18D30 PDF BibTeX XML Cite \textit{S.-Y. Katsumata} et al., Log. Methods Comput. Sci. 14, No. 4, Paper No. 6, 31 p. (2018; Zbl 1398.18005) Full Text: DOI arXiv
Komendantskaya, Ekaterina; Power, John Logic programming: laxness and saturation. (English) Zbl 1400.68049 J. Log. Algebr. Methods Program. 101, 1-21 (2018). MSC: 68N17 18C10 18C20 PDF BibTeX XML Cite \textit{E. Komendantskaya} and \textit{J. Power}, J. Log. Algebr. Methods Program. 101, 1--21 (2018; Zbl 1400.68049) Full Text: DOI
Janelidze, George; Street, Ross Infinitary addition, real numbers, and taut monads. (English) Zbl 06954315 Appl. Categ. Struct. 26, No. 5, 1047-1064 (2018); correction ibid. 26, No. 5, 1065 (2018). MSC: 08A65 18C15 20M14 20M50 40C99 18D10 PDF BibTeX XML Cite \textit{G. Janelidze} and \textit{R. Street}, Appl. Categ. Struct. 26, No. 5, 1047--1064 (2018; Zbl 06954315) Full Text: DOI
Janelidze, George A note on Colebunders-Lowen-Rosiers monads. (English) Zbl 06954314 Appl. Categ. Struct. 26, No. 5, 1041-1046 (2018). MSC: 18C15 18C20 18A40 08A65 54A20 PDF BibTeX XML Cite \textit{G. Janelidze}, Appl. Categ. Struct. 26, No. 5, 1041--1046 (2018; Zbl 06954314) Full Text: DOI
Janelidze, George; Street, Ross Correction to: “Infinitary addition, real numbers, and taut monads. (English) Zbl 06954301 Appl. Categ. Struct. 26, No. 5, 1065 (2018). MSC: 08A65 18C15 20M14 20M50 40C99 18D10 PDF BibTeX XML Cite \textit{G. Janelidze} and \textit{R. Street}, Appl. Categ. Struct. 26, No. 5, 1065 (2018; Zbl 06954301) Full Text: DOI
Garner, Richard; Hirschowitz, Tom Shapely monads and analytic functors. (English) Zbl 1444.18009 J. Log. Comput. 28, No. 1, 33-83 (2018). MSC: 18C15 18M60 18F20 PDF BibTeX XML Cite \textit{R. Garner} and \textit{T. Hirschowitz}, J. Log. Comput. 28, No. 1, 33--83 (2018; Zbl 1444.18009) Full Text: DOI
Milius, Stefan Proper functors and fixed points for finite behaviour. (English) Zbl 1448.18008 Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C20 68Q55 18C50 PDF BibTeX XML Cite \textit{S. Milius}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018; Zbl 1448.18008) Full Text: DOI arXiv
Durov, N. V. Homotopy theory of normed sets. I: Basic constructions. (English. Russian original) Zbl 1423.18057 St. Petersbg. Math. J. 29, No. 6, 887-934 (2018); translation from Algebra Anal. 29, No. 6, 35-98 (2017). MSC: 18G55 PDF BibTeX XML Cite \textit{N. V. Durov}, St. Petersbg. Math. J. 29, No. 6, 887--934 (2018; Zbl 1423.18057); translation from Algebra Anal. 29, No. 6, 35--98 (2017) Full Text: DOI
Ardizzoni, Alessandro; Goyvaerts, Isar; Menini, Claudia Restricted Lie algebras via monadic decomposition. (English) Zbl 1402.18006 Algebr. Represent. Theory 21, No. 4, 703-716 (2018). Reviewer: José Manuel Casas Mirás (Pontevedra) MSC: 18C15 17D99 16S30 18A40 PDF BibTeX XML Cite \textit{A. Ardizzoni} et al., Algebr. Represent. Theory 21, No. 4, 703--716 (2018; Zbl 1402.18006) Full Text: DOI arXiv
Böhm, Gabriella Hopf algebras and their generalizations from a category theoretical point of view. (English) Zbl 1417.16034 Lecture Notes in Mathematics 2226. Cham: Springer (ISBN 978-3-319-98136-9/pbk; 978-3-319-98137-6/ebook). xi, 163 p. (2018). Reviewer: Sonia Natale (Córdoba) MSC: 16T05 18D10 16T10 18C15 18D15 PDF BibTeX XML Cite \textit{G. Böhm}, Hopf algebras and their generalizations from a category theoretical point of view. Cham: Springer (2018; Zbl 1417.16034) Full Text: DOI
Wisbauer, Robert A categorical approach to algebras and coalgebras. (English) Zbl 1420.16012 Int. Electron. J. Algebra 24, 153-173 (2018). MSC: 16H05 16T05 18C15 18C20 PDF BibTeX XML Cite \textit{R. Wisbauer}, Int. Electron. J. Algebra 24, 153--173 (2018; Zbl 1420.16012) Full Text: DOI
Dell’Ambrogio, Ivo; Sanders, Beren A note on triangulated monads and categories of module spectra. (Une note sur les monades et les catégories triangulées de spectres en modules.) (English. French summary) Zbl 1401.18035 C. R., Math., Acad. Sci. Paris 356, No. 8, 839-842 (2018). Reviewer: Marco Armenta (Guanajuato) MSC: 18E35 18C20 PDF BibTeX XML Cite \textit{I. Dell'Ambrogio} and \textit{B. Sanders}, C. R., Math., Acad. Sci. Paris 356, No. 8, 839--842 (2018; Zbl 1401.18035) Full Text: DOI arXiv
Zhang, Shilong; Guo, Li; Keigher, William Extensions of operators, liftings of monads, and distributive laws. (English) Zbl 1396.18005 Appl. Categ. Struct. 26, No. 4, 747-765 (2018). MSC: 18C15 13N15 16W99 PDF BibTeX XML Cite \textit{S. Zhang} et al., Appl. Categ. Struct. 26, No. 4, 747--765 (2018; Zbl 1396.18005) Full Text: DOI
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
Aguiar, Marcelo; Haim, Mariana; López Franco, Ignacio Monads on higher monoidal categories. (English) Zbl 1400.18009 Appl. Categ. Struct. 26, No. 3, 413-458 (2018). Reviewer: Gabriella Böhm (Budapest) MSC: 18D10 18C15 18C20 PDF BibTeX XML Cite \textit{M. Aguiar} et al., Appl. Categ. Struct. 26, No. 3, 413--458 (2018; Zbl 1400.18009) Full Text: DOI arXiv
Fiore, M.; Gambino, N.; Hyland, M.; Winskel, G. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures. (English) Zbl 1427.18012 Sel. Math., New Ser. 24, No. 3, 2791-2830 (2018). Reviewer: Ross H. Street (North Ryde) MSC: 18M05 18C20 18M60 18C15 18N10 PDF BibTeX XML Cite \textit{M. Fiore} et al., Sel. Math., New Ser. 24, No. 3, 2791--2830 (2018; Zbl 1427.18012) Full Text: DOI