We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Quantaloidal Approach to Constraint Satisfaction

Abstract: The constraint satisfaction problem (CSP) is a computational problem that includes a range of important problems in computer science. We point out that fundamental concepts of the CSP, such as the solution set of an instance and polymorphisms, can be formulated abstractly inside the 2-category PFinSet of finite sets and sets of functions between them. The 2-category PFinSet is a quantaloid, and the formulation relies mainly on structure available in any quantaloid. This observation suggests a formal development of generalisations of the CSP and concomitant notions of polymorphism in a large class of quantaloids. We extract a class of optimisation problems as a special case, and show that their computational complexity can be classified by the associated notion of polymorphism.
Comments: In Proceedings ACT 2021, arXiv:2211.01102
Subjects: Category Theory (math.CT); Computational Complexity (cs.CC)
Journal reference: EPTCS 372, 2022, pp. 289-305
DOI: 10.4204/EPTCS.372.21
Cite as: arXiv:2107.01778 [math.CT]
  (or arXiv:2107.01778v2 [math.CT] for this version)

Submission history

From: EPTCS [view email]
[v1] Mon, 5 Jul 2021 04:00:17 GMT (37kb)
[v2] Thu, 3 Nov 2022 14:20:01 GMT (27kb)

Link back to: arXiv, form interface, contact.