相关论文: Januarials of simple and general type

We propose an abstract notion of a type theory to unify the semantics of various type theories including Martin-L\"{o}f type theory, two-level type theory and cubical type theory. We establish basic results in the semantics of type theory:…

This article proposes a generalization of tautological rings introduced by Beauville and Moonen for Jacobians. The main result is that, under certain hypotheses, the special subvarieties of Prym varieties are algebraically equivalent and…

A ring $R$ is periodic provided that for any $a\ in R$ there exist distinct elements $m,n \in {\Bbb N}$ such that $a^m=a^n$. We shall prove that periodicity is inherited by a type of generalized matrix rings.We define strongly periodic…

In 1981, Andr\'e Joyal provided a combinatorial interpretation of the algebra of formal power series, a central gadget in the toolkit of enumerative combinatorics. In Joyal's theory of species of structures, combinatorial species (like…

The paper introduces in a new although maybe unusual form the examples of types provided by J. von Neumann and F.J. Murray in their outstanding papers on algebraic factorization (1936-1943)pursuing three main aims: speculating about the…

After reviewing a universal characterization of the extended positive real numbers published by Denis Higgs in 1978, we define a category which provides an answer to the questions: \begin{itemize} \item what is a set with half an element?…

In this paper we express some simple random tensor models in a Givental-like fashion i.e. as differential operators acting on a product of generic 1-Hermitian matrix models. Finally we derive Hirota's equations for these tensor models. Our…

The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enought when the periods are written in terms of coarse granularities…

It is shown how to extend the formal variational calculus in order to incorporate integrals of divergences into it. Such a generalization permits to study nontrivial boundary problems in field theory on the base of canonical formalism.

We consider ideals arising in the context of conditional independence models that generalize the class of ideals considered by Fink [7] in a way distinct from the generalizations of Herzog-Hibi-Hreinsdottir-Kahle-Rauh [13] and Ay-Rauh [1].…

We provide a generalized treatment of (co)cartesian arrows, fibrations, and functors. Compared to the classical conditions, the endpoint inclusions get replaced by arbitrary shape inclusions. Our framework is Riehl--Shulman's simplicial…

The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of…

The main goal of these lectures is to introduce and review the Hamiltonian formalism for classical constrained systems and in particular gauge theories. Emphasis is put on the relation between local symmetries and constraints and on the…

We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher…

We characterize, by easily verifiable properties, abstract ternary relations isomorphic to the causal betweenness introduced by Hans Reichenbach.

We discuss algebraic and combinatorial aspects of the Hamiltonian normal form theory. The main objective is to describe the normal form near a singular point purely in terms of the original Hamiltonian, avoiding the normalization procedure.…

In this course we introduce the main notions relative to the classical theory of modular forms. A complete treatise in a similar style can be found in the author's book joint with F. Str{\"o}mberg [1].

We provide direct elementary proofs of several explicit expressions for Bernoulli numbers and Bernoulli polynomials. As a byproduct of our method of proof, we provide natural definitions for generalized Bernoulli numbers and polynomials of…

We introduce orbifolds from the classical point of view, using charts, and present orbifold versions of elementary objects from Algebraic Topology, such as the fundamental group, coverings and Euler characteristic; Differential…

We consider a class of generalized binomials emerging in fractional calculus. After establishing some general properties, we focus on a particular yet relevant case, for which we provide several ready-for-use combinatorial identities,…