Related papers: Torsion Theories in a Non-pointed Context

In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different…

We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the…

We study the category of wheeled PROPs using tools from Invariant Theory. A typical example of a wheeled PROP is the mixed tensor algebra ${\mathcal V}=T(V)\otimes T(V^\star)$, where $T(V)$ is the tensor algebra on an $n$-dimensional vector…

Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal…

This work presents the tessellations and polytopes from the perspective of both n-dimensional geometry and abstract symmetry groups. It starts with a brief introduction to the terminology and a short motivation. In the first part, it…

First, we show that a compact object $C$ in a triangulated category, which satisfies suitable conditions, induces a $t$-structure. Second, in an abelian category we show that a complex $P^{\centerdot}$ of small projective objects of term…

In order to better understand the structure of quantum theory, or speculate about theories that may supercede it, it can be helpful to consider alternative physical theories. ``Boxworld'' describes one such theory, in which all…

The Isomorphism Conjectures are translated into the language of homotopical algebra, where they resemble Thomason's descent theorems.

We give a complete classification of torsion pairs in the cluster categories associated to tubes of finite rank. The classification is in terms of combinatorial objects called Ptolemy diagrams which already appeared in our earlier work on…

We discuss gauge theories for commutative but non-associative algebras related to the $ SO(2k+1)$ covariant finite dimensional fuzzy $2k$-sphere algebras. A consequence of non-associativity is that gauge fields and gauge parameters have to…

We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, torsions, generalised torsions and cofinal elements.

Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…

This work explores the deformation theory of algebraic structures in a very general setting. These structures include commutative, associative algebras, Lie algebras, and the infinity versions of these structures, the strongly homotopy…

We study torsion torsionfree(=TTF) triples in abelian and triangulated categories. (Notice that TTF triples in a triangulated category are essentially in bijection with recollement data for this triangulated category.) In particular, we…

We study the gauge theories on noncommutative space. We employ the idea of the covariant position to understand the linear and angular momenta, the center of mass position, and to express all gauge invariant observables including the Wilson…

In order to extrincate the structure of corings with a finitely generated and projective generator we give the notion of a comatrix coring. As consequences we give generalizations of the main characterizations of faithfully flat Galois…

In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed…

In the preprint we present an outline of the one dimensional version of topological Galois theory. The theory studies topological obstruction to solvability of equations "in finite terms" (i.e. to their solvabilty by radicals, by elementary…

In this paper we introduce the notion of (pointed) prenormal category, modelled after regular categories, but with the key notions of coequaliser and kernel pair replaced by those of cokernel and kernel. This framework provides a natural…