Leach-Krouse, Graham Coalgebra and abstraction. (English) Zbl 1470.18002 Notre Dame J. Formal Logic 62, No. 1, 33-66 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A15 03E30 00A30 03A05 03E70 16T15 18A30 PDFBibTeX XMLCite \textit{G. Leach-Krouse}, Notre Dame J. Formal Logic 62, No. 1, 33--66 (2021; Zbl 1470.18002) Full Text: DOI
Lahtinen, Valtteri; Stenvall, Antti A category theoretical interpretation of discretization in Galerkin finite element method. (English) Zbl 1446.18013 Math. Z. 296, No. 3-4, 1271-1285 (2020). Reviewer: Dirk Werner (Berlin) MSC: 18M05 18M40 65M60 00A71 PDFBibTeX XMLCite \textit{V. Lahtinen} and \textit{A. Stenvall}, Math. Z. 296, No. 3--4, 1271--1285 (2020; Zbl 1446.18013) Full Text: DOI
Dewar, Neil; Fletcher, Samuel C.; Hudetz, Laurenz Extending List’s levels. (English) Zbl 1436.03033 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, 63-81 (2019). MSC: 03A05 00A30 18A15 91B14 PDFBibTeX XMLCite \textit{N. Dewar} et al., Springer Proc. Phys. 235, 63--81 (2019; Zbl 1436.03033) Full Text: DOI Link
Semadeni, Zbigniew Asymmetry of Cantorian mathematics from a categorial standpoint: is it related to the direction of time? (English) Zbl 1442.00009 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, 55-62 (2019). MSC: 00A30 00A79 18A15 PDFBibTeX XMLCite \textit{Z. Semadeni}, Springer Proc. Phys. 235, 55--62 (2019; Zbl 1442.00009) Full Text: DOI
Król, Zbigniew Category theory and philosophy. (English) Zbl 1442.00006 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, 21-32 (2019). MSC: 00A30 18A15 PDFBibTeX XMLCite \textit{Z. Król}, Springer Proc. Phys. 235, 21--32 (2019; Zbl 1442.00006) Full Text: DOI
Crespo, Ricardo; Tohmé, Fernando The future of mathematics in economics: a philosophically grounded proposal. (English) Zbl 1398.00036 Found. Sci. 22, No. 4, 677-693 (2017). MSC: 00A30 91B02 PDFBibTeX XMLCite \textit{R. Crespo} and \textit{F. Tohmé}, Found. Sci. 22, No. 4, 677--693 (2017; Zbl 1398.00036) Full Text: DOI
Lahtinen, Valtteri; Stenvall, Antti Towards a unified framework for decomposability of processes. (English) Zbl 1387.00027 Synthese 194, No. 11, 4411-4427 (2017). MSC: 00A71 00A30 18D10 18A15 PDFBibTeX XMLCite \textit{V. Lahtinen} and \textit{A. Stenvall}, Synthese 194, No. 11, 4411--4427 (2017; Zbl 1387.00027) Full Text: DOI arXiv
D’Ottaviano, Itala Maria Loffredo (ed.) XIV Latin American symposium on mathematical logic (SLALM), co-sponsored by the Association for Symbolic Logic, Paraty, Brazil, May 11-17, 2008. (English) Zbl 1170.03306 Bull. Symb. Log. 15, No. 3, 332-376 (2009). MSC: 03-06 00B05 PDFBibTeX XMLCite \textit{I. M. L. D'Ottaviano} (ed.), Bull. Symb. Log. 15, No. 3, 332--376 (2009; Zbl 1170.03306) Full Text: DOI
Trnková, Věra Categorical aspects are useful for topology-after 30 years. (English) Zbl 1131.54001 Topology Appl. 155, No. 4, 362-373 (2008). MSC: 54-02 00-02 18A22 54B10 54D80 PDFBibTeX XMLCite \textit{V. Trnková}, Topology Appl. 155, No. 4, 362--373 (2008; Zbl 1131.54001) Full Text: DOI
Michaelis, Walter Coassociative coalgebras. (English) Zbl 1078.16046 Hazewinkel, M. (ed.), Handbook of algebra. Volume 3. Amsterdam: Elsevier (ISBN 0-444-51264-0/hbk). 587-788 (2003). Reviewer: Earl J. Taft (New Brunswick) MSC: 16W30 16-02 00A20 PDFBibTeX XMLCite \textit{W. Michaelis}, in: Handbook of algebra. Volume 3. Amsterdam: Elsevier. 587--788 (2003; Zbl 1078.16046)