Doctrines, modalities and comonads
نویسندگان
چکیده
Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn doctrines. Modal interior operators characterised as particular adjoints in Dtn. We show that they can be constructed from comonads well adjunctions it, and two constructions compare. Finally we amount information lost passage comonad, or an adjunction, modal operator. The basis for present work is provided by some seminal John Power.
منابع مشابه
Signals and Comonads
We propose a novel discipline for programming stream functions and for the semantic description of stream manipulation languages based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads. This seems to be a promising application for the old, but very little exploited idea that if monads abstract notions of computation of a value,...
متن کاملComonads and Galois Corings
The notion of a coring was introduced by M. E. Sweedler in [20] with the objective of formulating and proving a predual to the Jacobson-Bourbaki theorem for extensions of division rings. A fundamental argument in [20] is the following: given division rings E ⊆ A, each coideal J of the A–coring A ⊗E A gives rise to a factor coring C = A ⊗E A/J . If g ∈ C denotes the group-like element 1 ⊗E 1 + J...
متن کاملAzumaya Monads and Comonads
The definition of Azumaya algebras over commutative rings R requires the tensor product of modules over R and the twist map for the tensor product of any two R-modules. Similar constructions are available in braided monoidal categories, and Azumaya algebras were defined in these settings. Here, we introduce Azumaya monads on any category A by considering a monad (F,m, e) on A endowed with a dis...
متن کاملTwo radical neuron doctrines
Two radical neuron doctrines must be distinguished--strong and weak. G&S direct much of their attack at the former--but the Churchlands only hold the latter. The weak radical neuron doctrine remains a serious possibility. G&S describe the radical neuron doctrine in a number of slightly different ways, and we think this hides an important distinction. On the one hand, the radical neuron doctrine...
متن کاملA Notation for Comonads
The category-theoretic concept of a monad occurs widely as a design pattern for functional programming with effects. The utility and ubiquity of monads is such that some languages provide syntactic sugar for this pattern, further encouraging its use. We argue that comonads, the dual of monads, similarly provide a useful design pattern, capturing notions of context dependence. However, comonads ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2021
ISSN: ['1469-8072', '0960-1295']
DOI: https://doi.org/10.1017/s0960129521000207