As the complexity and heterogeneity of a system grows, the challenge of specifying,
documenting and synthesizing correct, machine-readable designs increases dramatically …

We lift the standard equivalence between fibrations and indexed categories to an
equivalence between monoidal fibrations and monoidal indexed categories, namely weak …

This dissertation reports some first steps towards a compositional account of active inference
and the Bayesian brain. Specifically, we use the tools of contemporary applied category …

We define a thermostatic system to be a convex space of states together with a concave
function sending each state to its entropy, which is an extended real number. This definition …

Whither semantics? - ScienceDirect Skip to main contentSkip to article Elsevier logo
Journals & Books Search RegisterSign in View PDF Download full issue Search …

Network models, which abstractly are given by lax symmetric monoidal functors, are used to
construct operads for modeling and designing complex networks. Many common types of …

To properly understand the nature of the digital economy we need to investigate the
phenomenon of a" ubiquitous computing system"(UCS). As defined by Robin Milner, this …

The categorical compositional distributional (DisCoCat) model of meaning developed by
Coecke et al.(2010) has been successful in modeling various aspects of meaning. However …

A category of FI type is one which is sufficiently similar to finite sets and injections so as to
admit nice representation stability results. Several common examples admit a Grothendieck …

In the present paper we introduce a lattice-ordered partial monoid structure on a suitable set
of multilayer networks. We first study a kind of mappings that preserve the partial order and …