相关论文: Januarials of simple and general type

In this article, we first give a short introduction to conformal algebras. Then we present three families of simple conformal algebras finite growth generated by simple Jordan algebras of types A, B, C.

If every point of a unital is fixed by a non-trivial translation and at least one translation has order two then the unital is classical (i.e., hermitian).

The authors present concepts and mathematical developments which give rise to the Hamiltonian formulation of Einstein's general relativity, first introduced by Arnowitt, Deser, and Misner. All the geometrical quantities needed for the…

A general simplicity problem in category theory is proposed. A particular example, the simplest choice of generators of an algebra is specified and illustrated by an example.

We give an informal introduction to model categories, and treat three important examples in some details: the category of small categories, the category of dg algebras, and the category of small dg categories.

In 2005, M. Behboodi introduced the notion of a classical prime ring module, which he showed is, in general, nonequivalent to a (Dauns) prime ring module. In this paper, we extended the idea of classical primeness to near-ring module.…

An isomorphism between two hermitian unitals is proved, and used to treat isomorphisms of classical groups that are related to the isomorphism between certain simple real Lie algebras of types A and D (and rank 3).

We characterize the extendibility of the normal curvature on frontals and we give a representation formula of this type of frontals. Also we give representation formulas for wavefronts on all types of singularities and others sub classes of…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…

We give an ADHM type description of instantons on ALE spaces for classical groups as an extension of the description in [KN90] for unitary groups.

This text is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory section, we present a number of examples that illustrate and…

This paper proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the…

In this paper, we will define general Eulerian numbers and Eulerian polynomials based on general arithmetic progressions. Under the new definitions, we have been successful in extending several well-known properties of traditional Eulerian…

We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification…

We introduce regular languages of morphisms in free monoidal categories, with their associated grammars and automata. These subsume the classical theory of regular languages of words and trees, but also open up a much wider class of…

We classify two-variable polynomials which are rational of simple type. These are precisely the two-variable polynomials with trivial homological monodromy.

Univalence was first defined in the setting of homotopy type theory by Voevodsky, who also (along with Kapulkin and Lumsdaine) adapted it to a model categorical setting, which was subsequently generalized to locally Cartesian closed…

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…

A type analysable in one-based types in a simple theory is itself one-based.