Related papers: Goursat completions

In this paper, we provide equivalent characterizations of weak $G$-complete fuzzy metric spaces. Since such spaces are complete, we also characterize fuzzy metric spaces that have weak $G$-complete fuzzy metric completions. Moreover we…

In this short note, we describe the finite groups $G$ having $|G|-1$ cyclic subgroups. This leads to a nice characterization of the symmetric group $S_3$.

We classify Galois objects for the dual of a group algebra of a finite group over an arbitrary field.

An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these…

This paper introduces the construction of a weakly globular double category of fractions for a category and studies its universal properties. It shows that this double category is locally small and considers a couple of concrete examples.

In this paper we define (special) GLIT classes and (special) GLIT algebras. We prove that GLIT algebras, which generalise Lat-Igusa-Todorov algebras, satisfy the finitistic dimension conjecture and give several properties and examples. In…

In this paper, we determine the descriptive complexity of subsets of the Polish space of marked groups defined by various group theoretic properties. In particular, using Grigorchuk groups, we establish that the sets of solvable groups,…

We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…

In this paper, we will prove some sufficient conditions for the solvability of groups.

Using the relative derived categories, we prove that if an Artin algebra $A$ has a module $T$ with ${\rm inj.dim}T<\infty$ such that $^\perp T$ is finite, then the bounded derived category $D^b({\rm mod}A)$ admits a categorical resolution;…

We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations.

We consider the coset poset associated with the families of proper subgroups, proper subgroups of finite index, and proper normal subgroups of finite index. We investigate under which conditions those coset posets have contractible…

We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…

Several important types of categories have been shown to be both exact and coexact (in the sense of Barr). The first type consists of abelian categories, which due to their self-dual definition, can be seen to be both exact and coexact by…

We introduce a new class of higher categorical structures called weakly globular Tamsamani n-categories. These generalize the Tamsamani-Simpson model of higher categories by using the new paradigm of weak globularity to weaken higher…

Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a…

We classify simple finite Jordan conformal superalgebras and establish preliminary results for the classification of simple finite Jordan pseudoalgebras.

We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.

In a general triangulated category, the finiteness of the finitistic dimension serves as a prerequisite for a categorical obstruction, via the singularity category, to the existence of bounded $t$-structures. In this paper, we investigate…

We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \D$, where $G$ is a finite group. We show that, under suitable assumptions, there exists a group $\Gamma$ and mutual actions by permutations $\rhd: \Gamma…