We gratefully acknowledge support from
the Simons Foundation and member institutions.

Category Theory

Authors and titles for recent submissions

[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 17 May 2022

[1]  arXiv:2205.07760 [pdf, ps, other]
Title: Propification and the Scalable Comonad
Authors: Titouan Carette
Subjects: Category Theory (math.CT); Quantum Physics (quant-ph)
[2]  arXiv:2205.07664 [pdf, other]
Title: Promonads and String Diagrams for Effectful Categories
Authors: Mario Román
Comments: 14 pages, 29 pages including bibliography and appendix, 28 figures. Submitted to ACT 2022
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[3]  arXiv:2205.07093 [pdf, ps, other]
Title: Dialectica Principles via Gödel Doctrines
Comments: arXiv admin note: text overlap with arXiv:2109.08064
Subjects: Category Theory (math.CT); Logic (math.LO)
[4]  arXiv:2205.07644 (cross-list from math.RT) [pdf, ps, other]
Title: Localization of n-exangulated categories
Comments: 20 pages. arXiv admin note: text overlap with arXiv:2103.16907, arXiv:1709.06689 by other authors
Subjects: Representation Theory (math.RT); Category Theory (math.CT)
[5]  arXiv:2205.06892 (cross-list from cs.LO) [pdf, other]
Title: Completeness and expressiveness for gs-monoidal categories
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[6]  arXiv:2205.06874 (cross-list from math.QA) [pdf, other]
Title: State sum models with defects based on spherical fusion categories
Comments: 67 pages
Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Category Theory (math.CT); Geometric Topology (math.GT)

Mon, 16 May 2022

[7]  arXiv:2205.06651 [pdf, ps, other]
Title: Univalent typoids
Authors: Iosif Petrakis
Subjects: Category Theory (math.CT); Logic (math.LO)
[8]  arXiv:2205.06589 [pdf, ps, other]
Title: Discrete density comonads and graph parameters
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[9]  arXiv:2205.06453 (cross-list from math.QA) [pdf, other]
Title: Rigid and Separable Algebras in Compact Semisimple Monoidal 2-Categories
Comments: Many figures. Comments very welcome!
Subjects: Quantum Algebra (math.QA); Category Theory (math.CT)

Fri, 13 May 2022

[10]  arXiv:2205.06068 [pdf, ps, other]
Title: On the Lambek embedding and the category of product-preserving presheaves
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

Thu, 12 May 2022

[11]  arXiv:2205.05382 [pdf, ps, other]
Title: Generalizations of Bilinear Maps -- Technical Report
Subjects: Category Theory (math.CT)
[12]  arXiv:2205.05310 [pdf, ps, other]
Title: Hopf Monads: A Survey with New Examples and Applications
Authors: Aryan Ghobadi
Comments: 59 pages. Comments are more than welcome!
Subjects: Category Theory (math.CT); Quantum Algebra (math.QA)
[13]  arXiv:2205.05178 [pdf, other]
Title: Magnitude and topological entropy of digraphs
Authors: Steve Huntsman
Subjects: Category Theory (math.CT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[14]  arXiv:2205.05565 (cross-list from cond-mat.str-el) [pdf, ps, other]
Title: An invitation to topological orders and category theory
Comments: 137 pages, 72 figures. Comments are welcome
Subjects: Strongly Correlated Electrons (cond-mat.str-el); High Energy Physics - Theory (hep-th); Category Theory (math.CT); Quantum Algebra (math.QA)
[15]  arXiv:2205.05392 (cross-list from cs.LO) [pdf, ps, other]
Title: Algebraic Presentation of Semifree Monads
Comments: In Proceedings of CMCS 2022
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[16]  arXiv:2205.05387 (cross-list from cs.LO) [pdf, other]
Title: A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[17]  arXiv:2205.05364 (cross-list from math.RA) [pdf, ps, other]
Title: An effective criterion for Nielsen-Schreier varieties
Comments: 29 pages, comments are welcome
Subjects: Rings and Algebras (math.RA); Category Theory (math.CT); K-Theory and Homology (math.KT)

Wed, 11 May 2022

[18]  arXiv:2205.04890 [pdf, ps, other]
Title: Formal category theory in augmented virtual double categories
Comments: 97 pages. Comprises a streamlined and much expanded version of Sections 4 and 5 of the draft paper arXiv:1511.04070
Subjects: Category Theory (math.CT)
[19]  arXiv:2205.04954 (cross-list from math.AT) [pdf, ps, other]
Title: Symmetries of a rigid braided category
Comments: 20 pages, preliminary version, comments and suggested citations are welcome
Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); Quantum Algebra (math.QA)
[20]  arXiv:2205.04545 (cross-list from cs.AI) [pdf, other]
Title: A Probabilistic Generative Model of Free Categories
Comments: Submitted to International Conference on Applied Category Theory 2022 (ACT 2022)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Category Theory (math.CT); Machine Learning (stat.ML)
[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2205, contact, help  (Access key information)