Related papers: A C-system defined by a universe category
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when…
If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We formulate a theory of shape valid for objects of arbitrary dimension whose contours are path connected. We apply this theory to the design and modeling of viable trajectories of complex dynamical systems. Infinite families of…
Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has…
We have another look at the construction by Hofmann and Streicher of a universe $(U,{\mathsf{E}l})$ for the interpretation of Martin-L\"of type theory in a presheaf category $\psh{\C}$. It turns out that $(U,{\mathsf{E}l})$ can be described…
Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the…
Recall that the definition of the $K$-theory of an object C (e.g., a ring or a space) has the following pattern. One first associates to the object C a category A_C that has a suitable structure (exact, Waldhausen, symmetric monoidal, ...).…
We construct models, by three-dimensional arrays of ccc posets, where many classical cardinal characteristics of the continuum are pairwise different.
We continue our earlier investigation on generalized reproducing kernels, in connection with the complex geometry of $C^*$- algebra representations, by looking at them as the objects of an appropriate category. Thus the correspondence…
For a category $\mathbb{C}$, a small category $\mathbb{I}$, and a pre-cover relation $\sqsubset$ on $\mathbb C$ we prove, under certain completeness assumptions on $\mathbb C$, that a morphism $g: B\to C$ in the functor category $\mathbb…
Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$.…
We describe a new method for constructing a weight structure $w$ on a triangulated category $C$. For a given $C$ and $w$ it allow us to give a fairly comprehensive (and new) description of those triangulated categories consisting of…
We examine various categorical structures that can and cannot be constructed. We show that total computable functions can be mimicked by constructible functors. More generally, whatever can be done by a Turing machine can be constructed by…
We define a unified categorical framework for studying six subproblems arising from the classical Four Subspace Problem. For each subproblem, we construct a functor from its associated category to the category of representations of the…
Given a model $\mathcal{M}$ of set theory, and a nontrivial automorphism $j$ of $\mathcal{M}$, let $\mathcal{I}_{\mathrm{fix}}(j)$ be the submodel of $\mathcal{M}$ whose universe consists of elements $m$ of $\mathcal{M}$ such that $j(x)=x$…
Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…
An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which…
We consider the functor C that to a unital C*-algebra A assigns the partial order set C(A) of its commutative C*-subalgebras ordered by inclusion. We investigate how some C*-algebraic properties translate under the action of C to…