Related papers: Januarials of simple and general type
We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by G\"odel,…
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…
We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we…
In this work we define formal grammars in terms of free monoidal categories, along with a functor from the category of formal grammars to the category of automata. Generalising from the Booleans to arbitrary semirings, we extend our…
The notion of a $v$-palindrome is recently introduced by the author. Later, the author defined the notion of the type of a $v$-palindrome $n$ with respect to a number $m$ which can be repeatedly concatenated to form $n$. We prove that this…
In this paper, we will give a natural definition for morphisms between multiplicative unitaries. We will then discuss some equivalences of this definition and some interesting properties of them. Moreover, we will define normal…
We define a general class of dependent type theories, encompassing Martin-L\"of's intuitionistic type theories and variants and extensions. The primary aim is pragmatic: to unify and organise their study, allowing results and constructions…
We define natural classes of rational and polynomial representations of the Yangian of the general linear Lie algebra. We also present the classification and explicit realizations of all irreducible rational representations of the Yangian.
In this short survey we give a non-technical introduction to some main ideas of the theory of $\infty$-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides the basic $\infty$-categorical…
In this paper we consider noetherianity for formulas of propositional and predicate calculus over different fields. Three types of noetherianity are considered: standard noetherianity, logical noetherianity and denumerable noetherianity.
This article is an introduction to formal languages from the point of view of combinatorial group theory. Group theoretic applications are included and language classes are defined algebraically.
We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to model-companions and to amalgamation constructions \'a la Hrushovski-Fra\"iss\'e. Another notion of generic…
Semi-abelian and finitely cocomplete homological categories are characterized in terms of four resp. three simple axioms, in terms of the basic categorical notions introduced in the first few chapters of MacLane's classical book. As an…
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…
The paper gives two approaches to write explicit presentations for the class of Dehn quandles using presentations of their underlying groups. The first approach gives finite presentations for Dehn quandles of a class of Garside groups and…
We define a type of biquandle which is a generalization of symplectic quandles. We use the extra structure of these bilinear biquandles to define new knot and link invariants and give some examples.
Trivial second-order Lagrangians are studied and a complete description of the dependence on the second-order derivatives is given. This extends previous work of Olver and others. In particular, this description involves some polynomial…
The extension of ordinary category theory to $\infty$-categories at the start of the 21st century was a spectacular achievement pioneered by Joyal and Lurie with contributions from many others. Unfortunately, the technical arguments…
The purpose of this paper is to both survey and offer some new results on the non-triviality of the characteristic classes of Riemannian foliations. We give examples where the primary Pontrjagin classes are all linearly independent. The…
This article is preface to the SIGMA special issue "Tensor Models, Formalism and Applications", http://www.emis.de/journals/SIGMA/Tensor_Models.html. The issue is a collection of eight excellent, up to date reviews on random tensor models.…