相关论文: Flatness, weakly lex colimits, and free exact comp…

In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown…

In this paper we introduce the notion of $\mathcal{I^*}\text{-}\alpha$-uniform equal convergence and $\mathcal{I^*}\text{-}\alpha$-strong uniform equal convergence of sequences of functions and then investigate some lattice properties of…

In this note we show Ahlfors-regularity for a large class of quasiminimizers of the Griffith functional. This allows us to prove that, for a range of free discontinuity problems in linear elasticity with anisotropic, cohesive, or…

We introduce geometric and homological finiteness properties for countable approximate groups via coarse geometry and then study these finiteness properties for S-arithmetic reductive approximate groups. For S-arithmetic approximate groups…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

We reformulate several basic notions of notions in finite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our examples include the notions being nilpotent, solvable, perfect,…

For alternate Cantor real base numeration systems we generalize the result of Frougny and~Solomyak on~arithmetics on the set of numbers with finite expansion. We provide a class of alternate bases which satisfy the so-called finiteness…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

Baker and Bowler defined a category of algebraic objects called tracts which generalize both partial fields and hyperfields. They also defined a notion of weak and strong matroids over a tract $F$, and proved that if $F$ is perfect, meaning…

We show that torsion pairs in Krull--Schmidt abelian categories induce an equivalence between the subcategory of torsion-free objects admitting universal extensions to the torsion subcategory, and a quotient of the ext-orthogonal complement…

This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity…

In this work, we study oplax normalised functors of $(\infty,2)$-categories. Our main theorem is a comparison between the notion of oplax normalised functor of scaled simplicial sets due to Gagna-Harpaz-Lanari and the corresponding notion…

We establish sufficient conditions for extension of weighted square integrable holomorphic functions from a possibly singular hypersurface to the ambient affine space. The norms we use are the so-called Bargmann-Fock norms, and thus there…

The notions of null-sets and nullity are present in all discourses of mathematics. They are based on the dual-pair of notions of "almost-every" and "almost none". A notion of nullity corresponds to a choice of subsets that one interprets as…

We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a…

The universal approximation theorem is generalised to uniform convergence on the (noncompact) input space $\mathbb{R}^n$. All continuous functions that vanish at infinity can be uniformly approximated by neural networks with one hidden…

We show how the existence of various free vector lattices and free vector lattice algebras can be derived from a theorem on equational classes in universal algebra. A discussion about free $f$-algebras over non-empty sets is given, where…

This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally…

Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between…

We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary endofunctors of Set. We identify finitary monads with…