English
Related papers

Related papers: Polynomial Functors: A Mathematical Theory of Inte…

200 papers

We study monoidal profunctors as a tool to reason and structure pure functional programs both from a categorical perspective and as a Haskell implementation. From the categorical point of view we approach them as monoids in a certain…

Programming Languages · Computer Science 2022-07-05 Alexandre Garcia de Oliveira , Mauro Jaskelioff , Ana Cristina Vieira de Melo

The "theory of open sub-functorial dynamics" is a new theory that defines interacting generalized dynamical systems. The interactions between these dynamics produce new dynamics which, of course, can then enter into other interactions. A…

Dynamical Systems · Mathematics 2016-08-31 Stéphane Dugowson

The unprecedented pace of machine learning research has lead to incredible advances, but also poses hard challenges. At present, the field lacks strong theoretical underpinnings, and many important achievements stem from ad hoc design…

Machine Learning · Computer Science 2024-10-16 Francesco Riccardo Crescenzi

The subject of Polynomiography deals with algorithmic visualization of polynomial equations, having many applications in STEM and art, see [Kal04]. Here we consider the polynomiography of the partial sums of the exponential series. While…

History and Overview · Mathematics 2017-08-01 Bahman Kalantari

After two decades of a development of the unitary and analytic models of the electromagnetic structure of hadrons and nuclei their main principles are briefly formulated, then a general scheme of their applications to the electromagnetic,…

High Energy Physics - Phenomenology · Physics 2007-05-23 S. Dubnicka , A. Z. Dubnickova , P. Strizenec

The Frobenius-Perron theory of an endofunctor of a category was introduced in recent years [12, 13]. We apply this theory to monoidal (or tensor) triangulated structures of quiver representations.

Rings and Algebras · Mathematics 2021-11-03 J. J. Zhang , J. -H. Zhou

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

Logic in Computer Science · Computer Science 2007-05-23 J. Adamek , S. Milius , J. Velebil

This paper focuses on polynomial dynamical systems over finite fields. These systems appear in a variety of contexts, in computer science, engineering, and computational biology, for instance as models of intracellular biochemical networks.…

Algebraic Geometry · Mathematics 2008-03-13 Abdul S. Jarrah , Reinhard Laubenbacher

This is a research monograph on constructions of and group actions on countable homogeneous graphs, concentrating particularly on the simple random graph and its edge-coloured variants. We study various aspects of the graphs, but the…

Combinatorics · Mathematics 2014-07-03 Sam Tarzi

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.…

Category Theory · Mathematics 2016-07-12 Robert Paré , Marco Grandis

In order to provide a good categorical setting to the many different spaces of fields arising in the description of physical theories, a pedagogical introduction to the categorical notion of smooth sets is provided and some simple…

Mathematical Physics · Physics 2025-10-24 Alberto Ibort , Arnau Mas

This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories.

Algebraic Topology · Mathematics 2007-10-01 L. Gaunce Lewis , Michael A. Mandell

We study experimentally systems of orthogonal polynomials with respect to self-similar measures. When the support of the measure is a Cantor set, we observe some interesting properties of the polynomials, both on the Cantor set and in the…

Classical Analysis and ODEs · Mathematics 2009-10-06 Steven M. Heilman , Philip Owrutsky , Robert S. Strichartz

In 1981, Andr\'e Joyal provided a combinatorial interpretation of the algebra of formal power series, a central gadget in the toolkit of enumerative combinatorics. In Joyal's theory of species of structures, combinatorial species (like…

Combinatorics · Mathematics 2023-06-07 Arthur Gonçalves Fidalgo

Coalgebras for an endofunctor provide a category-theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired…

Category Theory · Mathematics 2020-01-15 Thorsten Wißmann , Stefan Milius , Shin-ya Katsumata , Jérémy Dubut

This work is devoted to the study of the relationships between graph theory and the qualitative analysis of ordinary differential equations, with a special focus on two-dimensional systems. In particular, we reinterpret classical results…

Dynamical Systems · Mathematics 2026-04-01 Marcos Masip

Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…

Algebraic Topology · Mathematics 2015-05-28 Tilman Bauer

This paper is a short introduction to orthogonal polynomials, both the general theory and some special classes. It ends with some remarks about the usage of computer algebra for this theory.

Classical Analysis and ODEs · Mathematics 2021-11-12 Tom H. Koornwinder

In this paper we provide an overview of category theory, focussing on applications in physics. The route we follow is motivated by the final goal of understanding anyons and topological QFTs using category theory. This entails introducing…

This chapter describes interrelations between: (1) algebraic structure on sets of scalars, (2) properties of monads associated with such sets of scalars, and (3) structure in categories (esp. Lawvere theories) associated with these monads.…

Rings and Algebras · Mathematics 2011-11-01 Dion Coumans , Bart Jacobs