Related papers: Functorial Semantics for Relational Theories
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
Using a relative version of Auslander's formula, we give a functorial approach to show that the bounded derived category of every Artin algebra admits a categorical resolution. This, in particular, implies that the bounded derived…
We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…
In the present paper by Frobenius algebra Y we mean a finite dimensional algebra possessing an associative and invertible (nondegenerate) form a scalar product, referred to as the Frobenius structure. The nondegenerate form has an inverse.…
Metaphysical interpretations of set theory are either inconsistent or incoherent. The uses of sets in mathematics actually involve three distinct kinds of collections (surveyable, definite, and heuristic), which are governed by three…
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical…
The main result of this paper may be stated as a construction of "almost representations" for the canonical presheaves of object extensions of length n on the C-systems defined by locally cartesian closed universe categories with binary…
The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic…
We give criteria for the existence of a Serre functor on the derived category of a gauged Landau-Ginzburg model. This is used to provide a general theorem on the existence of an admissible (fractional) Calabi-Yau subcategory of a gauged…
We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional, i.e., for which the ternary relations associated to the expanded operations admit an interpretation as…
Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of…
We construct a functor that gives a dynamics to an algebraic model of interacting components. The construction generalises a computational model of Fontana and Buss in the field of artificial life known as AlChemy, in which molecules and…
We present a thorough introduction to the tools of category theory required for formulating gauge theories based on 2-connections. We provide a detailed construction of the categorical generalization of BF theory, dubbed BFCG, also known as…
Ehresmann's introduction of differentiable groupoids in the 1950s may be seen as a starting point for two diverging lines of research, many-object Lie theory (the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis…
Distributions, i.e., subsets of tangent bundles formed by piecing together subspaces of tangent spaces, are commonly encountered in the theory and application of differential geometry. Indeed, the theory of distributions is a fundamental…
For any set representation (permutation representation) of the symmetric group $S_n$, we give combinatorial interpretation for coefficients of its Frobenius character expanded in the basis of monomial symmetric functions.
We consider a family of generic weighted arrangements of $n$ hyperplanes in $\C^k$ and show that the Gauss-Manin connection for the associated hypergeometric integrals, the contravariant form on the space of singular vectors, and the…
We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may…
We introduce the homotopy surface category of a space which generalizes the 1+1-dimensional cobordism category of circles and surfaces to the situation where one introduces a background space. We explain how for a simply connected…
Given a tensor functor between tensor categories $\mathcal{C}$ and $\mathcal{D}$, we give criteria that, under certain assumptions, the Frobeniusness of $\mathcal{C}$ or $\mathcal{D}$ implies the Frobeniusness of the other one. We also give…