×

Found 4,807 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

Stratification and duality for unipotent finite supergroup schemes. (English) Zbl 1478.18026

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, 241-275 (2022).
PDF BibTeX XML Cite
Full Text: arXiv Link

Norms on categories and analogs of the Schröder-Bernstein theorem. (English) Zbl 1483.18008

Walczak, Szymon (ed.), Proceedings of the contemporary mathematics in Kielce 2020, Kielce, Poland, February 24–27, 2021. Warsaw: De Gruyter/Sciendo. 157-177 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Compositional game theory, compositionally. (English) Zbl 1480.91052

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, 198-214 (2021).
MSC:  91A40 18M05 18D60
PDF BibTeX XML Cite
Full Text: arXiv 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

Symmetric monoidal categories with attributes. (English) Zbl 1477.18032

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, 33-48 (2021).
MSC:  18M05 18M30 68T40
PDF BibTeX XML Cite
Full Text: arXiv Link

The safari of update structures: visiting the lens and quantum enclosures. (English) Zbl 1477.18015

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, 1-18 (2021).
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

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