Related papers: Biased elementary doctrines and quotient completio…

Inspired by the study of vertex operator algebra extensions, we answer the question of when the category of local modules over a commutative exact algebra in a braided finite tensor category is a (non-semisimple) modular tensor category.…

We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a…

This paper investigates almost o-minimal structures, a weakening of o-minimality introduced by Fujita to capture structures that lie outside the classical o-minimal framework. In contrast to o-minimality and local o-minimality, almost…

We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of…

We characterize the equational theories and Lawvere theories that correspond to the categories of analytic and polynomial monads on Set, and hence also the categories of the symmetric and rigid operads in Set. We show that the category of…

We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for…

Quantitative algebras are $\Sigma$-algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of quantitative algebras presented by quantitative equations.…

In this paper, we study metric completions of triangulated categories in a representation-theoretic context. We provide a concrete description of completions of bounded derived categories of hereditary finite dimensional algebras of finite…

In "Homotopy decomposition of classifying spaces via elementary Abelian subgroups", Stephan Jackowski and James McClure show, for functors admitting a Mackey complement over categories holding a direct product, a general result on vanishing…

This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to…

We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable and tractable logics in team semantics that are closed under…

Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…

By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly…

We introduce a monoidal category whose morphisms are finite partial orders, with chosen minimal and maximal elements as source and target respectively. After recalling the notion of presentation of a monoidal category by the means of…

The goal of the paper is to relate complexity measures associated with the evaluation of Boolean functions (certificate complexity, decision tree complexity) and learning dimensions used to characterize exact learning (teaching dimension,…

Examples of exact categories in representation theory are given by the category of Delta-filtered modules over quasi-hereditary algebras, but also by various categories related to matrix problems, such as poset representations or…

Tight and essentially tight modules generalize weakly injective modules. Essential tightness requires embeddings to be essential. This restriction makes the two notions totally different. In this note, we investigate cases when those two…

A complete contraction on a C*-algebra A, which preserves all closed two sided ideals J, can be approximated pointwise by elementary complete contractions if and only if the induced map on the tensor product of B with A/J is contractive for…

In 1994, Sule presented the necessary and sufficient conditions of the feedback stabilizability of systems over unique factorization domains in terms of elementary factors and in terms of reduced minors. Recently, Mori and Abe have…

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…