Scoccola, Luis; Perea, Jose A. Approximate and discrete Euclidean vector bundles. (English) Zbl 1520.55013 Forum Math. Sigma 11, Paper No. e20, 48 p. (2023). Reviewer: My Ismail Mamouni (Rabat) MSC: 55R99 55N31 68W05 55U99 PDFBibTeX XMLCite \textit{L. Scoccola} and \textit{J. A. Perea}, Forum Math. Sigma 11, Paper No. e20, 48 p. (2023; Zbl 1520.55013) Full Text: DOI arXiv
de Felice, Giovanni; Toumi, Alexis; Coecke, Bob DisCoPy: monoidal categories in Python. (English) Zbl 1477.18002 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 183-197 (2021). Reviewer: Antonin Delpeuch (Oxford) MSC: 18-04 18M05 18M30 68T50 81P68 PDFBibTeX XMLCite \textit{G. de Felice} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 183--197 (2021; Zbl 1477.18002) Full Text: arXiv Link
Cang, Zixuan; Wei, Guo-Wei Persistent cohomology for data with multicomponent heterogeneous information. (English) Zbl 1484.55004 SIAM J. Math. Data Sci. 2, No. 2, 396-418 (2020). Reviewer: Jonathan Hodgson (Swarthmore) MSC: 55N31 55U30 55U10 92C40 PDFBibTeX XMLCite \textit{Z. Cang} and \textit{G.-W. Wei}, SIAM J. Math. Data Sci. 2, No. 2, 396--418 (2020; Zbl 1484.55004) Full Text: DOI arXiv
Genovese, Fabrizio; Gryzlov, Alex; Herold, Jelle; Knispel, Andre; Perone, Marco; Post, Erik; Videla, André idris-ct: a library to do category theory in Idris. (English) Zbl 07453982 Baez, John (ed.) et al., Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15–19, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 323, 246-254 (2020). MSC: 68-XX 18-XX PDFBibTeX XMLCite \textit{F. Genovese} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 323, 246--254 (2020; Zbl 07453982) Full Text: arXiv Link
Moss, Sean Another approach to the Kan-Quillen model structure. (English) Zbl 1437.55025 J. Homotopy Relat. Struct. 15, No. 1, 143-165 (2020). Reviewer: Marek Golasiński (Olsztyn) MSC: 55U10 18N40 18N50 55U35 PDFBibTeX XMLCite \textit{S. Moss}, J. Homotopy Relat. Struct. 15, No. 1, 143--165 (2020; Zbl 1437.55025) Full Text: DOI arXiv
Brun, Morten; Blaser, Nello Sparse Dowker nerves. (English) Zbl 1431.55004 J. Appl. Comput. Topol. 3, No. 1-2, 1-28 (2019). Reviewer: Henry Adams (Fort Collins) MSC: 55N05 55N99 55U10 55U99 PDFBibTeX XMLCite \textit{M. Brun} and \textit{N. Blaser}, J. Appl. Comput. Topol. 3, No. 1--2, 1--28 (2019; Zbl 1431.55004) Full Text: DOI arXiv
Ahrens, Benedikt; Lefanu Lumsdaine, Peter Displayed categories. (English) Zbl 1419.18001 Log. Methods Comput. Sci. 15, No. 1, Paper No. 20, 18 p. (2019). Reviewer: Marco Benini (Buccinasco) MSC: 18A15 03B15 PDFBibTeX XMLCite \textit{B. Ahrens} and \textit{P. Lefanu Lumsdaine}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 20, 18 p. (2019; Zbl 1419.18001) Full Text: arXiv
Ahrens, Benedikt; Matthes, Ralph Heterogeneous substitution systems revisited. (English) Zbl 1433.68220 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018). MSC: 68Q65 18C50 68V15 68V20 PDFBibTeX XMLCite \textit{B. Ahrens} and \textit{R. Matthes}, LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018; Zbl 1433.68220) Full Text: DOI arXiv
Ahrens, Benedikt; Lumsdaine, Peter LeFanu Displayed categories. (English) Zbl 1434.18002 Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 5, 16 p. (2017). MSC: 18A15 03B38 PDFBibTeX XMLCite \textit{B. Ahrens} and \textit{P. L. Lumsdaine}, LIPIcs -- Leibniz Int. Proc. Inform. 84, Article 5, 16 p. (2017; Zbl 1434.18002) Full Text: DOI
Robinson, Michael Sheaf and duality methods for analyzing multi-model systems. (English) Zbl 1404.93004 Pesenson, Isaac (ed.) et al., Recent applications of harmonic analysis to function spaces, differential equations, and data science. Novel methods in harmonic analysis. Volume 2. Cham: Birkhäuser/Springer (ISBN 978-3-319-55555-3/hbk; 978-3-319-55556-0/ebook; 978-3-319-55860-8/set). Applied and Numerical Harmonic Analysis, 653-703 (2017). MSC: 93A30 18A99 18F20 55N30 94C30 PDFBibTeX XMLCite \textit{M. Robinson}, in: Recent applications of harmonic analysis to function spaces, differential equations, and data science. Novel methods in harmonic analysis. Volume 2. Cham: Birkhäuser/Springer. 653--703 (2017; Zbl 1404.93004) Full Text: DOI arXiv
Voevodsky, Vladimir The \((\Pi,\lambda)\)-structures on the C-systems defined by universe categories. (English) Zbl 1383.03056 Theory Appl. Categ. 32, 113-121 (2017). Reviewer: Partha Ghosh (Johannesburg) MSC: 03F50 18C50 03B15 18D15 PDFBibTeX XMLCite \textit{V. Voevodsky}, Theory Appl. Categ. 32, 113--121 (2017; Zbl 1383.03056) Full Text: arXiv EMIS