Related papers: Stratified Toposes
The structure of almost topological space is a variation of the concept of topological space. It emerged as a formalization of a quantifier first order not definable from the usual existential and universal operators, named the quantifier…
We construct $W$-types in the category of coalgebras for a cartesian comonad. It generalizes the constructions of $W$-types in presheaf toposes and gluing toposes.
We suggest a generalization of \pi_0 for topological groupoids, which encodes incidence relations among the strata of the associated quotient object, and argue for its utility by example, starting from the orbit categories of the theory of…
We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…
We construct completely integrable systems on the dual of the Lie algebra of any compact Lie group $K$ with respect to the standard Lie-Poisson structure. These systems generalize key properties of Gelfand-Zeitlin systems: A) the pullback…
Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…
Topological quivers are generalizations of directed graphs in which the sets of vertices and edges are locally compact Hausdorff spaces. Associated to such a topological quiver Q is a C*-correspondence, and from this correspondence one may…
Topological statistical theory provides the foundation for a modern mathematical reformulation of classical statistical theory: Structural Statistics emphasizes the structural assumptions that accompany distribution families and the set of…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
Two-dimensional conformal field theory (CFT) can be defined through its correlation functions. These must satisfy certain consistency conditions which arise from the cutting of world sheets along circles or intervals. The construction of a…
We construct bases of the simple modules for partition algebras which are indexed by paths in an alcove geometry. This allows us to give a concrete interpretation (and new proof) of the monotone convergence property for Kronecker…
The notion of Poisson dialgebras was introduced by Loday. In this article, we propose a new definition with some modifications that is supported by several canonical examples coming from Poisson algebra modules, averaging operators on…
We investigate graded retracts of polytopal algebras (essentially the homogeneous rings of affine cones over projective toric varieties) as polytopal analogues of vector spaces. In many cases we show that these retracts are again polytopal…
In [1] we introduced the notion of 'structured space', i.e. a space which locally resembles various algebraic structures. In [2] and [3] we studied some cohomology theories related to these space. In this paper we continue in this…
We show that if a Lie group acts properly on a co-oriented contact manifold preserving the contact structure, then the contact quotient is topologically a stratified space (in the sense that a neighborhood of a point in the quotient is a…
We introduce an information-theoretic framework for smooth structures on topological manifolds, replacing coordinate charts with small-scale entropy data of local probability probes. A concise set of axioms identifies admissible coordinate…
We study compactifications of subvarieties of algebraic tori defined by imposing a sufficiently fine polyhedral structure on their non-archimedean amoebas. These compactifications have many nice properties, for example any k boundary…
We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal logic. This allows for a uniform treatment of model theoretic…
Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in particular, to the definition of weak $\omega$-categories,…
We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…