Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas. More specifically, we investigate whether the coalgebraic mu-calculus is the bisimulation-invariant fragment of the monadic second-order language for a given...

Discrete notions of behavioural equivalence sit uneasily with semantic models featuring quantitative data, like probabilistic transition systems. In this paper we present a pseudometric on a class of probabilistic transition systems yielding a quantitative notion of behavioural equivalence. The pseudometric is defined via the terminal coalgebra of a functor based on a metric on the space of Bor...

This paper proves that the functor C(∗) that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type — even inducing an equivalence of categories between the category of CW-complexes up to homotopy equivalence and a certain category of chain-complexes equipped with higher diagonals. Cons...

Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas. More specifically, we investigate whether the coalgebraic mu-calculus is the bisimulation-invariant fragment of the monadic second-order language for a given...

We construct a cofibrantly generated Thomason model structure on the category of small n-fold categories and prove that it is Quillen equivalent to the standard model structure on the category of simplicial sets. An n-fold functor is a weak equivalence if and only if the diagonal of its n-fold nerve is a weak equivalence of simplicial sets. We introduce an n-fold Grothendieck construction for m...

Theorem 1. The convolution ∗ admits a commutativity constraint making Sph into a rigid tensor category. There exists a faithful, exact tensor “fiber” functor Sat : Sph → Vect inducing an equivalence (modulo a sign in the commutativity constraint) of Sph with Rep(G) as tensor categories, where G is the Langlands dual group of the reductive group G, whose weights are the coweights of G and vice v...

Berger and Colmez introduced a theory of families of overconvergent étale (φ,Γ)-modules associated to families of p-adic Galois representations over p-adic Banach algebras. However, in contrast with the classical theory of (φ,Γ)-modules, the functor they obtain is not an equivalence of categories. In this paper, we prove that when the base is an affinoid space, every family of (overconvergent) ...

We prove that the simplicial cocommutative coalgebra of singular chains on a connected topological space determines homotopy type rationally and one prime at time, without imposing any restriction fundamental group. In particular, group homology groups with coefficients in arbitrary local systems vector spaces are completely determined by natural algebraic structure chains. The is presented as ...

Inspired by a very recent work of A. Đurić, S. Jevđenić and N. Stopar, we introduce new definition zero-divisor graphs attached to rings that includes all the classical definitions already known in literature. We provide an interpretation such means functor call which is associated with family special equivalence relations fixed beforehand. thus recover generalize many results for framework mig...

We prove in full generality that the generalized quantum affine Schur–Weyl duality functor, introduced by Kang–Kashiwara–Kim, gives an equivalence between category of finite-dimensional modules over a quiver Hecke algebra and certain subcategory which is generalization Hernandez–Leclerc's CQ. This was previously proved untwisted ADE types Fujita using geometry varieties, not applicable general....