Related papers: Positive Opetopes with Contractions form a Test Ca…
We define the concept of stronger forms of positively expansive map and name it as $p \:\mathscr{F}-$expansive maps. Here $\mathscr{F}$ is a family of subsets of $\mathbb{N}$. Examples of positively thick expansive and positively syndetic…
We introduce orbitopes as the convex hulls of 0/1-matrices that are lexicographically maximal subject to a group acting on the columns. Special cases are packing and partitioning orbitopes, which arise from restrictions to matrices with at…
We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterizations of protomodular, unital and subtractive varieties as well…
We show that the classifying space functor $B: Mon \to Top*$ from the category of topological monoids to the category of based spaces is left adjoint to the Moore loop space functor $\Omega': Top*\to Mon$ after we have localized $Mon$ with…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct…
Let C and D be quasi-categories (a.k.a. infinity-categories). Suppose also that one has an assignment sending commutative diagrams of C to commutative diagrams of D which respects face maps, but not necessarily degeneracy maps. (This is…
Assume that a basic algebra $A$ over an algebraically closed field $\Bbbk$ with a basic set $A_0$ of primitive idempotents has the property that $eAe=\Bbbk$ for all $e \in A_0$. Let $n$ be a nonzero integer, and $\phi$ and $\psi$ two…
Colimits are a fundamental construction in category theory. They provide a way to construct new objects by gluing together existing objects that are related in some way. We introduce a complementary notion of anticolimits, which provide a…
We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a…
We produce a class of $\omega$-categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to $\omega$-categorical structures in a possibly infinite signature. We…
Let $G$ be a Lie group over a totally disconnected local field and $\alpha$ be an analytic endomorphism of $G$. The contraction group of $\alpha$ ist the set of all $x\in G$ such that $\alpha^n(x)\to e$ as $n\to\infty$. Call sequence…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
In this article, we introduce a notion of polygraphic homology of a strict $\omega$-category with coefficients in a local system, generalizing the polygraphic homology with coefficients in $\mathbb Z$, introduced by Fran\c{c}ois M\'etayer.…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…
We consider polynomials expressing the cohomology classes of subvarieties of products of projective spaces, and limits of positive real multiples of such polynomials. We study the relation between these covolume polynomials and Lorentzian…
Soft set theory can deal uncertainties in nature by parametrization process. In this paper, we explore the objects and morphisms of category of soft sets, Sset(U) in detail. Also, gives characterizations of monomorphisms and epimorphisms in…
We offer a criterion for showing that the automorphism group of an ultrahomogeneous structure is topologically 2-generated and even has a cyclically dense conjugacy class. We then show how finite topological rank of the automorphism group…
We construct recursion categories from categories of coalgebras. Let $F$ be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the category $\textbf{Set}_F$ of $F$-coalgebras is complete. The…