Related papers: Lawvere theories and C-systems
This paper brings together C*-algebras and algebraic topology in terms of viewing a C*-algebraic invariant in terms of a topological spectrum. E-theory, E(A,B), is a bivariant functor in the sense that is a cohomology functor in the first…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
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,…
Cosheaves are a dual notion of sheaves. In this paper, we prove existence of a dual of sheafifications, called \textit{cosheafifications}, in the $\infty$-category theory. We also prove that the $\infty$-category of $\infty$-cosheaves is…
It is shown that every linear surjective isometry between two right, full, Hilbert C*-modules is a sum of two maps : a (bi-) module map (which is completely isometric and preserves the inner product) and a map that reverses the (bi-) module…
We review the geometric definition of C-function in the context of field theories that admit a holographic gravity dual.
We prove in this paper that the types of system F inhabited uniquely by ?I-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
The aim of this paper is to study categorified algebraic structures and their pseudo- and lax homomorphisms using the framework of Lawvere $2$-theories, and more generally, (enhanced) $2$-dimensional sketches. The key notion we focus on is…
Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…
We define E-theory for separable C*-algebras over second countable topological spaces and establish its basic properties. This includes an approximation theorem that relates the E-theory over a general space to the E-theories over finite…
The category of matchings between finite sets extends to the category of cobordisms of signed sets. A chain of cobordisms that starts and ends with unsigned sets A and B yields a matching from A to B. This is a convenient way to package the…
Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive…
Small B\'{e}nabou's bicategories and, in particular, Mac Lane's monoidal categories, have well-understood classifying spaces, which give geometric meaning to their cells. This paper contains some contributions to the study of the…
In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…
We define and prove isomorphisms between three combinatorial classes involving labeled trees. We also give an alternative proof by means of generating functions.
The aim of this paper is to study co-prolongations of central extensions. We construct the obstruction theory for co-prolongations and classify the equivalence classes of these by kernels of a homomorphisms between 2-dimensional cohomology…
Around 2001 we classified the Leonard systems up to isomorphism. The proof was lengthy and involved considerable computation. In this paper we give a proof that is shorter and involves minimal computation. We also give a comprehensive…
This work proves that the process of gluing finite lattices to form a larger lattice is bijective, that is each lattice is the glued sum of a unique system of finite lattices, provided the class of lattices is constrained to modular,…
Given a category $\mathcal C$ and a directed partially ordered set $J$, a certain category $pro^J -\mathcal C$ on inverse systems in $\mathcal C$ is constructed such that the ordinary pro-category $pro-\mathcal C$ is the most special case…
Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms $A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$, for…