Related papers: Saturated Kripke Structures as Vietoris Coalgebras

We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of…

In this paper we give conditions under which a topological semigroup can be embedded algebraically and topologically into a compact topological group. We prove that every feebly compact regular first countable cancellative commutative…

We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…

Let $K$ be a sub-$p$-adic field. We show that the functor sending a finite type $K$-scheme to its \'etale topos is fully faithful after localizing at the class of universal homeomorphisms. This generalizes a result of Voevodsky, who proved…

We study Ginzburg dg algebras which appear at the intersection of representation theory and symplectic topology. First, we provide a collection of proper modules that generates all proper modules over a Ginzburg dg algebra, without assuming…

We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…

We prove the relative index conjecture, which in turn implies that the set of embeddable deformations of a strictly pseudoconvex CR-structure on a compact 3-manifold is closed in the C\infty-topology.

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…

We introduce a tower of localizing subcategories in Voevodsky's big (closed under infinite coproducts) triangulated category of motives. We show that the tower induces an interesting finite filtration on the motivic cohomology groups of…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

I show that simple finite vertex algebras are commutative, and that the Lie conformal algebra structure underlying a reduced (i.e., without nilpotent elements) finite vertex algebra is nilpotent.

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…

We answer two questions about the topology of end spaces of infinite type surfaces and the action of the mapping class group that have appeared in the literature. First, we give examples of infinite type surfaces with end spaces that are…

We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we…

We study the $2$-categories BIon, of (generalized) bounded ionads, and $\text{Acc}_\omega$, of accessible categories with directed colimits, as an abstract framework to approach formal model theory. We relate them to topoi and (lex)…

In this paper, we study the structure theory of a class of not-finitely graded Lie algebras related to generalized Virasoro algebras. In particular,the derivation algebras, the automorphism groups and the second cohomology groups of these…

We show that the category of mixed Hodge complexes admits a Cartan-Eilenberg structure, a notion introduced in [GNPR10] leading to a good calculation of the homotopy category in terms of (co)fibrant objects. This result provides a…

The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…