Related papers: Toward the effective 2-topos
We prove that every 0/1-polytope has a unique Minkowski decomposition into indecomposable polytopes, up to translation of summands. The summands lie in pairwise orthogonal subspaces. Thus, every 0/1-polytope is the Cartesian product of…
We present some constructions of limits and colimits in pro-categories. These are critical tools in several applications. In particular, certain technical arguments concerning strict pro-maps are essential for a theorem about \'etale…
We prove the Tits Alternative for groups acting on $2$-dimensional $\mathrm{CAT}(0)$ complexes with a bound on the order of the cell stabilisers.
We define the notion of 2-filtered 2-category and give an explicit construction of the bicolimit of a category valued 2-functor. A category considered as a trivial 2-category is 2-filtered if and only if it is a filtered category, and our…
A strongly zero-dimensional topological group containing a closed subgroup of positive covering dimension is constructed.
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association…
We construct all possible Hamiltonian torus actions for which all the non-empty reduced spaces are two dimensional (and not single points) and the manifold is connected and compact, or, more generally, the moment map is proper as a map to a…
The main idea of the first order formalism is demonstrated on a toy example of spin-0 particle. The full formalism for spin-1 is applied to the vector formfactor of the pion and its high-energy behaviour is studied.
We generalize the classical definition of effectively closed subshift to finitely generated groups. We study classical stability properties of this class and then extend this notion by allowing the usage of an oracle to the word problem of…
We use quotients of span categories to introduce the language of a topos. We also study the logical relations and the quotients of span categories derived from them. As an application we show that the category of Boolean toposes is a…
The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.
We observe that successive applications of known results from the theory of positive systems lead to an {\it efficient general algorithm} for positive realizations of transfer functions. We give two examples to illustrate the algorithm, one…
We introduce a general class of symmetric polynomials that have saturated Newton polytope and their Newton polytope has integer decomposition property. The class covers numerous previously studied symmetric polynomials.
This paper develops a basic theory of H-groups. We introduce a special quotient of H-groups and extend some algebraic constructions of topological groups to the category of H-groups and H-maps. We use these constructions to prove some…
We construct approximately inner actions of discrete amenable groups on strongly amenable subfactors of type II_1 with given invariants, and obtain classification results under some conditions. We also study the lifting of the relative \chi…
We classify all $\pi_1$-injective proper maps between non-compact surfaces up to proper homotopy.
An technically interesting proof of a known theorem.
Assuming the obvious definitions (see paper) we show the a decidable model that is effectively prime is also effectively atomic. This implies that two effectively prime (decidable) models are computably isomorphic. This is in contrast to…
We apply the method of unitary transformations to a model two-nucleon potential and construct from it an effective potential in a subspace of momenta below a given cut-off $\Lambda$. The S-matrices in the full space and in the subspace are…