×

Found 11 Documents (Results 1–11)

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).
PDFBibTeX XMLCite
Full Text: arXiv Link

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
Full Text: arXiv Link

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software