arXiv subjects

Robert Paré

Publications and source records attributed to Robert Paré.

6 recordsLinked to original sources

arXiv2026

Multivariate functorial difference

Partial difference operators for a large class of functors between presheaf categories are introduced, extending our difference operator from \cite{Par24} to the multivariable case. These combine into the Jacobian profunctor which provides the setting for a lax chain rule. We introduce a functorial version of multivariable Newton series whose aim is to recover a functor from its iterated differences. Not all functors are recovered but we get a best approximation in the form of a left adjoint, and the induced comonad is idempotent. Its fixed points are what we call soft analytic functors, a generalization of the multivariable analytic functors of Fiore et al.~\cite{FioGamHylWin08}.

math.CT↗

arXiv2025

Multiple categories of general quintets

We construct various multiple categories, based on generalised Ehresmann quintets. The main construction is a multiple category whose objects are all the `lax' multiple categories; the transversal arrows are their strict multiple functors while the arrows in a positive direction are multiple functors of a `mixed laxity', varying from the lax ones (in direction 1) to the colax ones (in direction \infty).

math.CT↗

arXiv2024

Taut functors and the difference operator

We establish a calculus of differences for taut endofunctors of the category of sets, analogous to the classical calculus of finite differences for real valued functions. We study how the difference operator interacts with limits and colimits as categorical versions of the usual product and sum rules. The first main result is a lax chain rule which has no counterpart for mere functions. We also show that many important classes of functors (polynomials, analytic functors, reduced powers, ...) are taut, and calculate explicit formulas for their differences. Covariant Dirichlet series are introduced and studied. The second main result is a Newton summation formula expressed as an adjoint to the difference operator.

math.CT↗

arXiv2023

Retrocells

The notion of retrocell in a double category with companions is introduced and its basic properties established. Explicit descriptions in some of the usual double categories are given. Monads in a double category provide an important example where retrocells arise naturally. Cofunctors appear as a special case. The motivating example of vertically closed double categories is treated in some detail.

math.CT↗

arXiv2016

Intercategories: A framework for three-dimensional category theory

We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories. Variations on the notion of span provide further examples of interest, an important one being the intercategory of sets. We consider the three kinds of morphism of intercategory as well as the cells binding them with applications to the above structures. In particular hom functors are studied.

math.CT↗

arXiv2015

Intercategories

We introduce a 3-dimensional categorical structure which we call intercategory. This is a kind of weak triple category with three kinds of arrows, three kinds of 2-dimensional cells and one kind of 3-dimensional cells. In one dimension, the compositions are strictly associative and unitary, whereas in the other two, these laws only hold up to coherent isomorphism. The main feature is that the interchange law between the second and third compositions does not hold, but rather there is a non invertible comparison cell which satisfies some coherence conditions. We introduce appropriate morphisms of intercategory, of which there are three types, and cells relating these. We show that these fit together to produce a strict triple category of intercategories.

math.CT↗