Related papers: Saturated Kripke Structures as Vietoris Coalgebras

In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This…

In this paper we study the topology of the space $\I_\omega$ of complex structures compatible with a fixed symplectic form $\omega$, using the framework of Donaldson. By comparing our analysis of the space $\I_\omega$ with results of McDuff…

We give a concrete description of a strict totally coordinatized version of Kapranov and Voevodsky's 2-category of finite dimensional 2-vector spaces. In particular, we give explicit formulas for composition of 1-morphisms and the two…

We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…

In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and…

In this paper we show that, after completing in the $I$-adic topology, the Turaev cobracket on the vector space freely generated by the closed geodesics on a smooth, complex algebraic curve $X$ with an algebraic framing is a morphism of…

We demonstrate that any full and faithful $*$-functor between approximable categories of locally finite coarse spaces induces a coarse embedding between the underlying spaces. Furthermore, we establish a general characterisation of such…

Using the set-up of deformation categories of Talpo and Vistoli, we re-interpret and generalize, in the context of cartesian morphisms in abstract categories, some results of Rim concerning obstructions against extensions of group actions…

We adapt the definition of the Vietoris map to the framework of finite topological spaces and we prove some coincidence theorems. From them, we deduce a Lefschetz fixed point theorem for multivalued maps that improves recent results in the…

Given a limit sketch in which the cones have a finite connected base, we show that a model structure of "up to homotopy" models for this limit sketch in a suitable model category can be transferred to a Quillen equivalent model structure on…

We study the relationship between metric thickenings and simplicial complexes associated to coverings of metric spaces. Let $\mathcal{U}$ be a cover of a separable metric space $X$ by open sets with a uniform diameter bound. The Vietoris…

We show that compact complex manifolds of algebraic dimension zero bearing a holomorphic Cartan geometry of algebraic type have infinite fundamental group. This generalizes the main Theorem in [DM] where the same result was proved for the…

We prove an orbifold conjecture for a solvable automorphism group. Namely, we show that if V is a C_2-cofinite simple vertex operator algebra and G is a finite solvable automorphism group of V, then the fixed point vertex operator…

We continue the study of non-invertible topological dynamical systems with expanding behavior. We introduce the class of {\em finite type} systems which are characterized by the condition that, up to rescaling and uniformly bounded…

In this paper, for any Shimura datum $(G,\mathcal{D})$ satisfying reasonable conditions so that many interesting cases satisfy, we prove some finiteness theorems for any graded vector space consisting of automorphic forms on $\mathcal{D}$…

In this paper, we give a finiteness result on the diffeomorphism types of curvature-adapted equifocal hypersurfaces in a simply connected compact symmetric space. Furthermore, the condition curvature-adapted can be dropped if the symmetric…

In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…

We present several naturally occurring classes of spectral spaces using commutative algebra on pointed monoids. For this purpose, our main tools are finite type closure operations and continuous valuations on monoids which we introduce in…

Given a compact, connected Lie group $K$, we use principal $K$-bundles to construct manifolds with prescribed finite-dimensional algebraic models. Conversely, let $M$ be a compact, connected, smooth manifold which supports an almost free…

Suppose $V^G$ is the fixed-point vertex operator subalgebra of a compact group $G$ acting on a simple abelian intertwining algebra $V$. We show that if all irreducible $V^G$-modules contained in $V$ live in some braided tensor category of…