Related papers: Cartesian Differential Storage Categories
We give a mathematical framework to describe the evolution of an open quantum systems subjected to finitely many interactions with classical apparatuses. The systems in question may be composed of distinct, spatially separated subsystems…
Classical block designs are important combinatorial structures with a wide range of applications in Computer Science and Statistics. Here we give a new abstract description of block designs based on the arrow category construction. We show…
Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalization of the theory of canonical extension to the setting of first order logic. We define a notion of…
A tangent category is a categorical abstraction of the tangent bundle construction for smooth manifolds. In that context, Cockett and Cruttwell develop the notion of differential bundle which, by work of MacAdam, generalizes the notion of…
Differential calculus on Euclidean spaces has many generalisations. In particular, on a set $X$, a diffeological structure is given by maps from open subsets of Euclidean spaces to $X$, a differential structure is given by maps from $X$ to…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
Tangent categories were introduced by Rosicky as a categorical setting for differential structures in algebra and geometry; in recent work of Cockett, Crutwell and others, they have also been applied to the study of differential structure…
We study algebraic aspects of generalized Legendrian racks, which are nonassociative structures based on the Legendrian Reidemeister moves. We answer an open question characterizing the group of GL-structures on a given rack. As…
Can the direction of time and the causal structure of space-time be inferred from operational principles? Causal models and tensor networks offer complementary perspectives: the former encodes cause-effect relations via directed graphs,…
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the…
A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…
Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work…
Causal structure learning with data from multiple contexts carries both opportunities and challenges. Opportunities arise from considering shared and context-specific causal graphs enabling to generalize and transfer causal knowledge across…
We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…
Notions of guardedness serve to delineate the admissibility of cycles, e.g. in recursion, corecursion, iteration, or tracing. We introduce an abstract notion of guardedness structure on a symmetric monoidal category, along with a…
Many critical EDA problems suffer from the curse of dimensionality, i.e. the very fast-scaling computational burden produced by large number of parameters and/or unknown variables. This phenomenon may be caused by multiple spatial or…
Recursive coalgebras provide an elegant categorical tool for modelling recursive algorithms and analysing their termination and correctness. By considering coalgebras over categories of suitably indexed families, the correctness of the…
A non-self-contained gathering of notes on category theory, including the definition of locally cartesian closed category, of the cartesian structure in slice categories, or of the pseudo-cartesian structure on Eilenberg-Moore categories.…
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoretic version of the classical area of algebraic semantics. The…
The spacetime discreteness of causal set theory has enabled the formulation of novel spacetime dynamics. In these so-called "growth" dynamics, a causal set spacetime is generated probabilistically by means of a random walk on certain tree…