Category Theory

Authors and titles for recent submissions, skipping first 10

[ total of 13 entries: 1-10 | 11-13 ]
[ showing 10 entries per page: fewer | more | all ]

[11] arXiv:2405.06664 (cross-list from cs.LO) [pdf, other]: Title: A categorical account of composition methods in logic (extended version)

Authors: Tomáš Jakl, Dan Marsden, Nihil Shah

Comments: This is an extended version of arXiv:2304.10196 which, apart from providing full proofs of all statements, takes a more categorical point of view to tell the whole story. In particular, we highlight and explain the underlying categorical constructions in detail

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

[12] arXiv:2405.06475 [pdf, ps, other]: Title: Representability for small and big triangulated categories

Authors: George Ciprian Modoi

Comments: Comments are welcome

Subjects: Category Theory (math.CT)
[13] arXiv:2405.06043 (cross-list from cs.FL) [pdf, ps, other]: Title: Time complexity for deterministic string machines

Authors: Ali Cataltepe, Vanessa Kosoy

Comments: 14 pages, 1 figure

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Category Theory (math.CT)

[ total of 13 entries: 1-10 | 11-13 ]
[ showing 10 entries per page: fewer | more | all ]