×

Found 646 Documents (Results 1–100)

The Sierpinski carpet as a final coalgebra. (English) Zbl 07804585

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 249-261 (2022).
MSC:  18C20 16T15 28A80
PDFBibTeX XMLCite
Full Text: arXiv Link

Towards foundations of categorical cybernetics. (English) Zbl 07804584

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 235-248 (2022).
MSC:  18C20 93A05
PDFBibTeX XMLCite
Full Text: arXiv Link

Category theory and applications. A textbook for beginners. 2nd edition. (English) Zbl 1457.18003

Hackensack, NJ: World Scientific (ISBN 978-981-12-3608-2/hbk; 978-981-12-3610-5/ebook). xi, 377 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

Quantitative foundations for resource theories. (English) Zbl 1528.18008

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 32, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories. (English) Zbl 1469.03167

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 21, 20 p. (2018).
MSC:  03F52 03G30 18C20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software