Related papers: Selective Categories and Linear Canonical Relation…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
We survey some recent results concerning the so called Categorical Torelli problem. This is to say how one can reconstruct a smooth projective variety up to isomorphism, by using the homological properties of special admissible…
We consider all Bott-Samelson varieties ${\rm BS}(s)$ for a fixed connected semisimple complex algebraic group with maximal torus $T$ as the class of objects of some category. The class of morphisms of this category is an extension of the…
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…
Given a category $\mathcal{E}$, we establish sufficient conditions on a faithful isofibration $\mathcal{E}\rightarrow\operatorname{Mon}(\mathcal{V})$ valued in the category of monoids internal to a monoidal additive category $\mathcal{V}$…
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…
We construct a canonical correspondence from a wide class of reproducing kernels on infinite-dimensional Hermitian vector bundles to linear connections on these bundles. The linear connection in question is obtained through a pull-back…
We prove the Farrell-Jones Conjecture for (non-connective) $A$-theory with coefficients and finite wreath products for hyperbolic groups, CAT(0)-groups, cocompact lattices in almost connected Lie groups and fundamental groups of manifolds…
The concept of relative sectional category expands upon classical sectional category theory by incorporating the pullback of a fibration along a map. Our paper aims not only to explore this extension but also to thoroughly investigate its…
In this paper we define tensor modules(sheaves) of Schur type,or of generalized Schur type associated with the give module(sheaf), using the so-called Schur functors. Then using global method we construct canonical homomorphisms between…
We study structures which have arisen in recent work by the present author and Bob Coecke on a categorical axiomatics for Quantum Mechanics; in particular, the notion of strongly compact closed category. We explain how these structures…
Coarse geometry is the study of large-scale properties of spaces. In this paper we study group coarse structures (i.e., coarse structures on groups that agree with the algebraic structures), by using group ideals. We introduce a large class…
There are many ways to present model categories, each with a different point of view. Here we'd like to treat model categories as a way to build and control resolutions. This an historical approach, as in his original and spectacular…
In this Master's thesis, we consider the problem of classifying, up to conjugation by linear symplectomorphisms, linear canonical relations (lagrangian correspondences) from a finite-dimensional symplectic vector space to itself. We give an…
Process theories combine a graphical language for compositional reasoning with an underlying categorical semantics. They have been successfully applied to fields such as quantum computation, natural language processing, linear dynamical…
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…
We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as quantum theory. Unlike prior constructions within…
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
By analogy with the invariant Q-category defined by Scheerer, Stanley and Tanr\'e, we introduce the notions of Q-sectional category and Q-topological complexity. We establish several properties of these invariants. We also obtain a formula…