Constraints, Adjunctions and (Co)algebras
نویسندگان
چکیده
منابع مشابه
Dual Adjunctions Between Algebras and Coalgebras
It is shown that the dual algebra functor from coalgebras to algebras has a left adjoint even if the base ring is not a field but an arbitrary commutative ring with 1. This result is proved as a corollary to a more general theorem on adjunctions between comonoids and monoids over suitable symmetric monoidal categories. MSC 2000: Primary 16B50, Secondary 18A40
متن کاملConstraints, Adjunctions and (Co)algebras
The connection between constraints and universal algebra has been looked at in, and has given interesting results. Since the connection between universal algebra and category theory is so obvious, we will in this paper investigate if the usage of category theory has any impact on the results and/or reasoning and if anything can be gained from this approach. We construct categories of problem in...
متن کاملLifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions
It is a well-known fact that a nondeterministic automaton can be transformed into an equivalent deterministic automaton via the powerset construction. From a categorical perspective this construction is the right adjoint to the inclusion functor from the category of deterministic automata to the category of nondeterministic automata. This is in fact an adjunction between two categories of coalg...
متن کاملCategories Enriched over a Quantaloid: Isbell Adjunctions and Kan Adjunctions
Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphi...
متن کاملNegation and Involutive Adjunctions
This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction. The notion of involutive adjunction amounts in a precise sense to adjunction where an endofunctor is ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80341-x