Related papers: Several adjoint constructions for biset functors v…
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type…
A Mackey type decomposition for group actions on abelian categories is described. This allows us to define new Mackey functors which associates to any subgroup the $K$-theory of the corresponding equivariantized abelian category. In the…
We characterize cofibrant objects in the category of functors indexed in a filtered poset and we show that these objects are acyclic. As a consequence, we show that Mackey functors over posets are also acyclic, where we define this type of…
In this paper we construct an analogue of Lurie's "unstraightening" construction that we refer to as the "comprehension construction". Its input is a cocartesian fibration $p \colon E \to B$ between $\infty$-categories together with a third…
Let $R$ be a commutative unital ring. We construct a category $\mathcal{C}_R$ of fractions $X/G$, where $G$ is a finite group and $X$ is a finite $G$-set, and with morphisms given by $R$-linear combinations of spans of bisets. This category…
In this chapter, starting from some results obtained in the papers [FV; 19], [FHSV; 19], we provide some examples of finite bounded commutative BCK- algebras, using the Wajsberg algebra associated to a bounded commutative BCK- algebra. This…
The $q$ analog of Modified Bessel functions and Bessel-Macdonald functions, were defined in our previous work (q-alg/950913) as general solutions of a second order difference equations. Here we present a collection of their representations…
In this paper, I give several characterizations of {\em rational biset functors over $p$-groups}, which are independent of the knowledge of genetic bases for $p$-groups. I also introduce a construction of new biset functors from known ones,…
We compare the bicategory of spans with that of bisets (a.k.a. bimodules, distributors, profunctors) in the context of finite groupoids. We construct in particular a well-behaved pseudo-functor from spans to bisets. This yields an…
We introduce the notion of infinitary interpretation of structures. In general, an interpretation between structures induces a continuous homomorphism between their automorphism groups, and furthermore, it induces a functor between the…
We define a q-analog of the modified Bessel and Bessel-Macdonald functions. As for the q-Bessel functions of Jackson there is a couple of functions of the both kind. They are arisen in the Harmonic analysis on quantum symmetric spaces…
A new method for the construction of Fock-adapted operator Markovian cocycles is outlined, and its use is illustrated by application to a number of examples arising in physics and probability. The construction uses the Trotter-Kato Theorem…
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial…
In this paper we give a definition of (centric) Mackey functor over a fusion system which generalizes the notion of Mackey functor over a group. In this context we prove that, given some conditions on a related ring, the centric Burnside…
For a Green biset functor $A$, we define the commutant and the center of $A$ and we study some of their properties and their relationship. This leads in particular to the main application of these constructions: the possibility of splitting…
Functions of several octonion variables are investigated and integral representation theorems for them are proved. With the help of them solutions of the ${\tilde {\partial}}$-equations are studied. More generally functions of several…
In this short note we explain in detail the construction of a $O(n)$-equivariant isomorphism of topological operads $F_n \cong WF_n$ , where $F_n$ is the Fulton Mac Pherson operad and $W$ is the Boardman-Vogt construction
We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…
The aim of this work is to study new functions arising from the limit transition of the Jackson's $q$-Bessel functions when $q\rightarrow -1$. These functions coincide with the $cas$ function for particular values of their parameters. We…