Category Theory

Authors and titles for math.CT in May 2022, skipping first 15

[16]  arXiv:2205.06589 [pdf, ps, other]

Title: Discrete density comonads and graph parameters

Authors: Samson Abramsky, Tomáš Jakl, Thomas Paine

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[17]  arXiv:2205.06651 [pdf, ps, other]

Title: Univalent typoids

Authors: Iosif Petrakis

Subjects: Category Theory (math.CT); Logic (math.LO)

[18]  arXiv:2205.07093 [pdf, ps, other]

Title: Dialectica Principles via Gödel Doctrines

Authors: Davide Trotta, Matteo Spadetto, Valeria de Paiva

Comments: arXiv admin note: text overlap with arXiv:2109.08064

Subjects: Category Theory (math.CT); Logic (math.LO)

[19]  arXiv:2205.07664 [pdf, other]

Title: Promonads and String Diagrams for Effectful Categories

Authors: Mario Román

Comments: 15 pages, 28 pages including bibliography and appendix, 28 figures. Presented at ACT 2022. Referee's suggestions incorporated, minor fixes, added references for related work

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

[20]  arXiv:2205.07760 [pdf, ps, other]

Title: Propification and the Scalable Comonad

Authors: Titouan Carette

Subjects: Category Theory (math.CT); Quantum Physics (quant-ph)