Related papers: Coherence for Modalities
The notion of a Frobenius manifold appears in relation to various topics in algebraic and analytic geometry, such and quantum cohomology, deformation of meromorphic connections, unfolding of singularities and others. In the local setting…
This paper studies nested sequents for quantified modal logics. In particular, it considers extensions of the propositional modal logics definable by the axioms D, T, B, 4, and 5 with varying, increasing, decreasing, and constant domains.…
In the context of protomodular categories, several additional conditions have been considered in order to obtain a closer group-like behavior. Among them are locally algebraic cartesian closedness and algebraic coherence. The recent notion…
This paper explores goal-directed proof search in first-order multi-modal logic. The key issue is to design a proof system that respects the modularity and locality of assumptions of many modal logics. By forcing ambiguities to be…
In this short note we will explore some recent connections between positivity, singularities, and boundedness in various contexts focusing on birational geometry.
We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules…
We give the theorem of coincidence of a class of functions defined by a generalised modulus of smoothness with a class of functions defined by the order of the best approximation by algebraic polynomials. We also prove the appropriate…
An algebraic formalism for the study of a system of charged particles interacting with an external quantum field is developed. The notion of monoidal categories with duality is used for the description of composite systems and corresponding…
This note investigate some finiteness properties of the category U of unstable modules. One shows finiteness properties for the injective resolution of finitely generated unstable modules. One also shows a stabilization result under…
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
We consider certain categorical structures that are implicit in subfactor theory. Making the connection between subfactor theory (at finite index) and category theory explicit sheds light on both subjects. Furthermore, it allows various…
This is a part of an ongoing research project, with the aim of finding the connections between properties related to theory combination in Satisfiability Modulo Theories. In previous work, 7 properties were analyzed: convexity, stable…
This paper presents four theorems that connect continuity postulates in mathematical economics to solvability axioms in mathematical psychology, and ranks them under alternative supplementary assumptions. Theorem 1 connects notions of…
We review some important results by Gross, Hacking, Keel, and Kontsevich on cluster algebra theory, namely, the column sign-coherence of $C$-matrices and the Laurent positivity, both of which were conjectured by Fomin and Zelevinsky. We…
We study some aspects of the functor of parabolic induction within the context of reduced group C*-algebras and related operator algebras. We explain how Frobenius reciprocity fits naturally within the context of operator modules, and…
We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…
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…
This paper consists of three results on Frobenius categories: (1) we give sufficient conditions on when a factor category of a Frobenius category is still a Frobenius category; (2) we show that any Frobenius category is equivalent to an…
The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced proof theoretic techniques. In particular, consider the…