Related papers: Coend calculus

In this paper we introduce the theory of ends and coends in the context of enriched bicategories. This will be an enriched version of the theory introduced in [Cor16], and a bicategorical version of the classical theory of enriched…

Computations in the cohomology of finite groups.

Gives an elementary exposition of the twisted group algebra rep- resentation of simple Clifford algebras

Work in progress concerning alternative formalizations of arithmetic.

This book is a short introduction into dyadic analysis with applications to classical weighted norm inequalities.

This article is a draft of a book chapter of the book entitled "Quantum Percolation and Breakdown", to appear 2008.

We tell the story of the discovery of an interesting bound on finite sums and its application to comparison of Ising models.

We present a new calculus which is well-adapted to quadratic algebras. This calculus consists in Koszul (co)homology, together with Koszul cup and cap products. Some applications are given. Koszul duality for Koszul (co)homology is proved…

We give an introduction to the concept of Kan extensions, and study its relation with the notions of coend and adjoint functors. We state and prove in detail a well known formula to compute Kan extensions by using coends: a certain colimit…

This work is a collection of old and new aplications of Galois cohomology to the clasification of algebraic and arithmetical objects.

This book is devoted to an informal discussion of patterns constructed for treating physical problems. Such patterns, when sufficiently formalized, are usually referred as "models", and tents to be applied not only in physics, but conquer…

This paper constructs a cirquent calculus system and proves its soundness and completeness with respect to the semantics of computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html). The logical vocabulary of the system consists of…

A mostly expository account of old questions about the relationship between polyhedra and topological manifolds. Topics are old topological results, new gauge theory results (with speculations about next directions), and history of the…

This collection of sums and integrals has been harvested from the mathematical and physical literature in unstructured ways. Its main use is backtracking the original sources whenever an integral of the reader's application resembles one of…

Final version to appear in Archiv der Mathematik.

We consider Tuenter polynomials as linear combinations of descending factorials and show that coefficients of these linear combinations are expressed via a Catalan triangle of numbers. We also describe a triangle of coefficients in terms of…

This manuscript is a self-contained overview of essential results of stochastic calculus and stochastic differential equations, and their connection with final-value problems for second order linear PDEs.

See math-ph/0205036 for an expanded version.

This is in some sense an addendum to the book Relational Mathematics by the first-named author. It originated from work on diverse other topics during which a lot of purely relational results with broad applicability have been produced.…

This document introduces a generalization of calculus that treats both continuous and discrete variables on an equal footing. This generalization of calculus was developed independently of the "Calculus on Time Scales" literature but may be…