Related papers: Extending Fubini Measures
If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…
Let $G$ be a finite solvable group and $H$ be a subgroup of $Aut(G)$. Suppose that there exists an $H$-invariant Carter subgroup $F$ of $G$ such that the semidirect product $FH$ is a Frobenius group with kernel $F$. We prove that the terms…
"Unidirectional channel systems" (Chambart & Schnoebelen, CONCUR 2008) are finite-state systems where one-way communication from a Sender to a Receiver goes via one reliable and one unreliable unbounded fifo channel. While reachability is…
Motivated by applications in robotics, we investigate a discrete control system related Fibonacci sequence and we characterize its reachable set.
A (discrete) group is called amenable whenever there exists a finitely additive right invariant probablity measure on it. For Thompson's group $F$ the problem whether it is amenable is a long-standing open question. We consider presentation…
Multiparameter persistent homology has emerged as a powerful generalization of topological data analysis, capable of encoding multivariate filtrations. However, the algebraic complexity of multiparameter persistence modules, marked by wild…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
We obtain a characterisation of confined subgroups of Thompson's group $F$. As a result, we deduce that orbital graph of a point under action of $F$ has uniformly subexponential growth if and only if this point is fixed by the commutator…
In order to study the problems of extending an action along a quotient of the acted object and along a quotient of the acting object, we investigate some properties of the fibration of points. In fact, we obtain a characterization of…
Let $f\colon\mathbb{R}^2\to\mathbb{R}$. The notions of feebly continuity and very feebly continuity of $f$ at a point $\langle x,y\rangle\in\mathbb{R}^2$ were considered by I. Leader in 2009. We study properties of the sets $FC(f)$…
Akin's notion of good measure, introduced to classify measures on Cantor sets has been translated to dimension groups and corresponding traces by Bezuglyi and the author, but emphasizing the simple (minimal dynamical system) case. Here we…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined…
In this paper we consider a general way of constructing profinite struc- tures based on a given framework - a countable family of objects and a countable family of recognisers (e.g. formulas). The main theorem states: A subset of a family…
In this short note we prove a sector counting lemma for a class of Fermi surface on the plane which are $C^2$-differentiable and strictly convex. This result generalizes the one proved in \cite{FKT} for the class of…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
We propose a conjectural extension to positive characteristic case of a well known Deligne's theorem on the existence of super fiber functors. We prove our conjecture in the special case of semisimple categories with finitely many…
One of Courcelle's celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic is fixed-parameter tractable on C by linear time parameterised algorithms. An immediate…
Monod proved that any continuous cohomology of a semisimple Lie group $G$ can be represented by a measurable cocycle on the associated Furstenberg boundary, which we upgraded to an alternating cocycle. In the current paper we improve that…
We give a new characterization of silting subcategories in the stable category of a Frobenius extriangulated category, generalizing the result of Di et al. (J. Algebra 525 (2019) 42-63) about the Auslander-Reiten type correspondence for…