Related papers: Algebraic logoi
We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are…
We introduce the notion of an enriched fibration, i.e. a fibration whose total category and base category are enriched in those of a monoidal fibration in an appropriate way. Furthermore, we provide a way to obtain such a structure,…
Let $\sR$ be an epireflective category of $\topo$ and let $F_\sR$\, be the epireflective functor associated with $\sR$. If $\sA$ denotes a (semi)topological algebraic subcategory of $\topo$, we study when $F_\sR\,(A)$ is an epireflective…
In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and…
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…
In this paper, we find a criterium for universal equivalence of partially commutative Lie algebras whose defining graphs are trees. Besides, we obtain bases for partially commutative metabelian Lie algebras.
We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an \'etale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
Two algebroid branches are said to be equivalent if they have the same multiplicity sequence. It is known that two algebroid branches $R$ and $T$ are equivalent if and only if their Arf closures, $R'$ and $T'$ have the same value semigroup,…
A connected component of an affine algebraic group is called periodic if all its elements have finite order. We give a characterization of periodic components in terms of automorphisms with finite number of fixed points. It is also…
With distributed computing and mobile applications, synchronizing diverging replicas of data structures is a more and more common problem. We use algebraic methods to reason about filesystem operations, and introduce a simplified definition…
Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the…
A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper provides an existence theorem for such fields over global fields with enough roots…
This text gives a construction of a differential graded Lie algebra in Nori's category of effective homological motives. In fact the construction works in more a general setting than that of an Abelian category. This allows us to give the…
In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…
The syntactic nature of logic and computation separates them from other fields of mathematics. Nevertheless, syntax has been the only way to adequately capture the dynamics of proofs and programs such as cut-elimination, and the finiteness…
This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent…
We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$,…
It is known that graphs cellularly embedded into surfaces are equivalent to ribbon graphs. In this work, we generalize this statement to broader classes of graphs and surfaces. Half-edge graphs extend abstract graphs and are useful in…
Cellular categories are a generalization of cellular algebras, which include a number of important categories such as (affine)Temperley-Lieb categories, Brauer diagram categories, partition categories, the categories of invariant tensors…