639 research outputs found
Operadic categories and Duoidal Deligne's conjecture
The purpose of this paper is two-fold. In Part 1 we introduce a new theory of
operadic categories and their operads. This theory is, in our opinion, of an
independent value.
In Part 2 we use this new theory together with our previous results to prove
that multiplicative 1-operads in duoidal categories admit, under some mild
conditions on the underlying monoidal category, natural actions of contractible
2-operads. The result of D. Tamarkin on the structure of dg-categories, as well
as the classical Deligne conjecture for the Hochschild cohomology, is a
particular case of this statement.Comment: 54 pages, to appear in Advances in Mathematic
An infinite natural sum
As far as algebraic properties are concerned, the usual addition on the class
of ordinal numbers is not really well behaved; for example, it is not
commutative, nor left cancellative etc. In a few cases, the natural Hessemberg
sum is a better alternative, since it shares most of the usual properties of
the addition on the naturals.
A countably infinite version of the natural sum has been used in a recent
paper by V\"a\"an\"anen and Wang, with applications to infinitary logics. We
provide an order theoretical characterization of this operation. We show that
this countable natural sum differs from the more usual infinite ordinal sum
only for an initial finite "head" and agrees on the remaining infinite "tail".
We show how to evaluate the countable natural sum just by computing a finite
natural sum. Various kinds of infinite mixed sums of ordinals are discussed.Comment: v3 added a remark connected with surreal number
Inductive-data-type Systems
In a previous work ("Abstract Data Type Systems", TCS 173(2), 1997), the last
two authors presented a combined language made of a (strongly normalizing)
algebraic rewrite system and a typed lambda-calculus enriched by
pattern-matching definitions following a certain format, called the "General
Schema", which generalizes the usual recursor definitions for natural numbers
and similar "basic inductive types". This combined language was shown to be
strongly normalizing. The purpose of this paper is to reformulate and extend
the General Schema in order to make it easily extensible, to capture a more
general class of inductive types, called "strictly positive", and to ease the
strong normalization proof of the resulting system. This result provides a
computation model for the combination of an algebraic specification language
based on abstract data types and of a strongly typed functional language with
strictly positive inductive types.Comment: Theoretical Computer Science (2002
- …