منابع مشابه
Axiomatizing Category Theory in Free Logic
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and fo...
متن کاملSet Theory for Category Theory
Questions of set-theoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical constructions are permissible. In this expository paper we summarize and compare a number of such “set-theore...
متن کاملQuestions and Answers — a Category Arising in Linear Logic , Complexity Theory , and Set Theory
A category used by de Paiva to model linear logic also occurs in Vojtáš’s analysis of cardinal characteristics of the continuum. Its morphisms have been used in describing reductions between search problems in complexity theory. We describe this category and how it arises in these various contexts. We also show how these contexts suggest certain new multiplicative connectives for linear logic. ...
متن کاملCategory-based constraint logic
This research exploits the view of constraint programming as computation in a logical system, namely constraint logic. The basic ingredients of constraint logic are: constraint models for the semantics (they form a comma-category over a fixed model of “built-ins”), generalized polynomials in the rôle of basic syntactic ingredient, and a constraint satisfaction relation between semantics and syn...
متن کاملA category theory explanation for systematicity
Classical and Connectionist theories of cognitive architecture “explain” systematicity, whereby the capacity for some cognitive behaviors is intrinsically linked to the capacity for others, as a consequence of syntactically and functionally combinatorial representations, respectively. However, both theories depend on ad hoc assumptions to exclude specific architectures—grammars, or Connectionis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90188-y