×

Found 2,303 Documents (Results 1–100)

100
MathJax

Homotopy limits of model categories, revisited. (English) Zbl 1482.55021

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 314-338 (2022).
PDF BibTeX XML Cite
Full Text: Link

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).
PDF BibTeX XML Cite
Full Text: arXiv Link

Wiring diagrams as normal forms for computing in symmetric monoidal categories. (English) Zbl 1477.18003

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, 49-64 (2021).
MSC:  18-04 18M05
PDF BibTeX XML Cite
Full Text: arXiv Link

Categories with families: unityped, simply typed, and dependently typed. (English) Zbl 1478.18001

Casadio, Claudia (ed.) et al., Joachim Lambek: the interplay of mathematics, logic, and linguistics. Cham: Springer. Outst. Contrib. Log. 20, 135-180 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Hopf algebras and tensor categories. International workshop, Nanjing University, Nanjing, China, September 9–13, 2019. (English) Zbl 1472.16001

Contemporary Mathematics 771. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5624-5/pbk; 978-1-4704-6427-1/ebook). x, 359 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

A string diagrammatic axiomatisation of finite-state automata. (English) Zbl 07410439

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 469-489 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Derived algebraic geometry. (English) Zbl 1471.14005

Panoramas et Synthèses 55. Paris: Société Mathématique de France (SMF) (ISBN 978-2-85629-938-8/pbk). xvi, 230 p. (2021).
PDF BibTeX XML Cite

Action functor formalism. (English) Zbl 1469.18009

Asashiba, Hideto (ed.) et al., Ring theory 2019. Proceedings of the eighth China-Japan-Korea international symposium on ring theory. Nagoya University, Nagoya, Japan, August 26–31, 2019. Hackensack, NJ: World Scientific. 113-132 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Dualizable tensor categories. (English) Zbl 07363185

Memoirs of the American Mathematical Society 1308. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4361-0/pbk; 978-1-4704-6347-2/ebook). vii, 88 p. (2021).
MSC:  57-02 57R56 18D10 55U30 16D90 57M27 17B37 18E10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software