The development of arithmetic over Cartesian categories with natural numbers object is one
of the main purposes of this article. An early attempt to do this is contained in [6] but much of …

We present an internal language for symmetric monoidal closed (autonomous) categories
analogous to the typed lambda calculus as an internal language for cartesian closed …

The notion of a natural numbers object in a monoidal category is defined and it is shown that
the theory of primitive recursive functions can be developed. This is done by considering …

El advenimiento de la democracia en la década del ochenta ofreció un nuevo escenario
cultural en la Universidad Nacional de Córdoba (UNC) que facilitó la formación y multiplicación …

The notion of strong Barr dinatural transformation is introduced which, when taken between
Hom functors, gives a notion of natural number specifically adapted to the category under …

Let L be an arbitrary orthomodular lattice. There is a one to one correspondence between
orthomodular sublattices of L satisfying an extra condition and quantic quantifiers. The …

Let Q be an idempotent and right-sided quantale. There is a one to one correspondence
between quantifiers and non-commutative binary operations making Q an idempotent and right-…

top Given a generating family F of subgroups of a group G closed under conjugation and
with partial order compatible with inclusion, a new group S can be constructed, taking into …

Let L be a complete orthomodular lattice. There is a one to one correspondence between
complete Boolean subalgebras of L contained in the center of L and endomorphisms j of L …

Let Q a Gelfand quantale. If R (Q) denotes the subquantale of Q of the right-sided elements,
R (Q) turns out to be an idempotent, right-sided quantale. The non-commutative binary …