274 research outputs found
Coalgebraic Geometric Logic
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor T on some full subcategory of the category Top of topological spaces and continuous functions. We compare the notions of modal equivalence, behavioural equivalence and bisimulation on the resulting class of models, and we provide a final object for the corresponding category. Furthermore, we specify a method of lifting an endofunctor on Set, accompanied by a collection of predicate liftings, to an endofunctor on the category of topological spaces
Coalgebraic Geometric Logic: Basic Theory
Using the theory of coalgebra, we introduce a uniform framework for adding
modalities to the language of propositional geometric logic. Models for this
logic are based on coalgebras for an endofunctor on some full subcategory of
the category of topological spaces and continuous functions. We investigate
derivation systems, soundness and completeness for such geometric modal logics,
and we we specify a method of lifting an endofunctor on Set, accompanied by a
collection of predicate liftings, to an endofunctor on the category of
topological spaces, again accompanied by a collection of (open) predicate
liftings. Furthermore, we compare the notions of modal equivalence, behavioural
equivalence and bisimulation on the resulting class of models, and we provide a
final object for the corresponding category
Coalgebraic Fuzzy geometric logic
The paper aims to develop a framework for coalgebraic fuzzy geometric logic
by adding modalities to the language of fuzzy geometric logic. Using the
methods of coalgebra, the modal operators are introduced in the language of
fuzzy geometric logic. To define the modal operators, we introduce a notion of
fuzzy-open predicate lifting. Based on coalgebras for an endofunctor on the
category of fuzzy topological spaces and fuzzy continuous
maps, we build models for the coalgebraic fuzzy geometric logic. Bisimulations
for the defined models are discussed in this work
Monoidal computer III: A coalgebraic view of computability and complexity
Monoidal computer is a categorical model of intensional computation, where
many different programs correspond to the same input-output behavior. The
upshot of yet another model of computation is that a categorical formalism
should provide a much needed high level language for theory of computation,
flexible enough to allow abstracting away the low level implementation details
when they are irrelevant, or taking them into account when they are genuinely
needed. A salient feature of the approach through monoidal categories is the
formal graphical language of string diagrams, which supports visual reasoning
about programs and computations.
In the present paper, we provide a coalgebraic characterization of monoidal
computer. It turns out that the availability of interpreters and specializers,
that make a monoidal category into a monoidal computer, is equivalent with the
existence of a *universal state space*, that carries a weakly final state
machine for any pair of input and output types. Being able to program state
machines in monoidal computers allows us to represent Turing machines, to
capture their execution, count their steps, as well as, e.g., the memory cells
that they use. The coalgebraic view of monoidal computer thus provides a
convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi
Categories for Dynamic Epistemic Logic
The primary goal of this paper is to recast the semantics of modal logic, and
dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We
first review the category of relations and categories of Kripke frames, with
particular emphasis on the duality between relations and adjoint homomorphisms.
Using these categories, we then reformulate the semantics of DEL in a more
categorical and algebraic form. Several virtues of the new formulation will be
demonstrated: The DEL idea of updating a model into another is captured
naturally by the categorical perspective -- which emphasizes a family of
objects and structural relationships among them, as opposed to a single object
and structure on it. Also, the categorical semantics of DEL can be merged
straightforwardly with a standard categorical semantics for first-order logic,
providing a semantics for first-order DEL.Comment: In Proceedings TARK 2017, arXiv:1707.0825
Relation Liftings on Preorders and Posets
The category Rel(Set) of sets and relations can be described as a category of
spans and as the Kleisli category for the powerset monad. A set-functor can be
lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that
these results extend to the enriched setting, if we replace sets by posets or
preorders. Preservation of weak pullbacks becomes preservation of exact lax
squares. As an application we present Moss's coalgebraic over posets
- …