English
Related papers

Related papers: Polynomial and Analytic Functors and Monads, revis…

200 papers

Tnis paper deals with some special integral transforms in the setting of quaternionic valued slice polyanalytic functions. In particular, using the polyanalytic Fueter mappings it is possible to construct a new family of polynomials which…

Complex Variables · Mathematics 2022-01-03 Antonino De Martino , Kamal Diki

We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…

Category Theory · Mathematics 2018-02-23 Fosco Loregian

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

Category Theory · Mathematics 2025-10-31 Xavier Mary

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed…

Programming Languages · Computer Science 2015-09-14 Thosten Altenkirch , James Chapman , Tarmo Uustalu

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

Number Theory · Mathematics 2022-03-01 Joseph Burnett , Alex Taylor

We propose a categorical setting for the study of the combinatorics of rational numbers. We find combinatorial interpretation for the Bernoulli and Euler numbers and polynomials.

Combinatorics · Mathematics 2009-02-09 Hector Blandin , Rafael Diaz

The purpose of this article is to present, in a simple way, an analytic approach to special numbers and polynomials. The approach is based on the derivative polynomials. The paper is, to some extent, a review article, although it contains…

Classical Analysis and ODEs · Mathematics 2013-02-14 Grzegorz Rzadkowski

We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…

Algebraic Topology · Mathematics 2024-11-26 J. P. May , Ruoqi Zhang , Foling Zou

This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…

Category Theory · Mathematics 2023-03-21 Katerina Hristova , John Jones , Dmitriy Rumynin

This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a…

Category Theory · Mathematics 2012-10-05 Ross Street

In this document, we collect a list of categorical structures on the category $\mathbf{Poly}$ of polynomial functors. There is no implied claim that this list is in any way complete. It includes: infinitely many monoidal structures, all but…

Category Theory · Mathematics 2025-09-29 David I. Spivak

This lecture series is based on joint work in progress with Shaul Barkan, as well as work in progress of the author. The five sections of these notes correspond to the five lectures, but more details have been added. $2$-dimensional…

Category Theory · Mathematics 2025-06-30 Jan Steinebrunner

The theory developed by Gambino and Kock, of polynomials over a locally cartesian closed category E, is generalised for E just having pullbacks. The 2-categorical analogue of the theory of polynomials and polynomial functors is given, and…

Category Theory · Mathematics 2015-05-22 Mark Weber

It is known that factorisation systems in categories can be viewed as unitary pseudo algebras for the "squaring" monad in Cat. We show in this note that an analogous fact holds for proper (i.e., epi-mono) factorisation systems and a…

Category Theory · Mathematics 2007-05-23 Marco Grandis

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

Logic in Computer Science · Computer Science 2015-07-01 Hyvernat Pierre

State monads in cartesian closed categories are those defined by the familiar adjunction between product and exponential. We investigate the structure of their algebras, and show that the exponential functor is monadic provided the base…

Category Theory · Mathematics 2007-05-23 Francois Metayer

An overview of some basic notions is given, especially with an eye towards somewhat "fractal" examples, such as infinite products of cyclic groups, p-adic numbers, and solenoids.

Classical Analysis and ODEs · Mathematics 2012-12-03 Stephen Semmes

There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article we show that these three notions can be seen as monoids in a monoidal category. We demonstrate that at this level…

Logic in Computer Science · Computer Science 2014-06-19 Exequiel Rivas , Mauro Jaskelioff

This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections…

Category Theory · Mathematics 2016-09-13 Maria Manuel Clementino , Ignacio Lopez Franco

In this paper Hom-Lie algebras, Lie color algebras, Lie superalgebras and other type of generalized Lie algebras are recovered by means of an iterated construction, known as monadic decomposition of functors, which is based on…

Category Theory · Mathematics 2014-01-10 Alessandro Ardizzoni , Claudia Menini