Skip to main content

All Questions

10 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
9 votes
0 answers
393 views

When is an increasing union a colimit?

Let's consider a diagram $\Phi: \lambda \to \mathcal{T}_*$ $$ X_0 \to X_1 \to \cdots \to X_\xi \to X_{\xi+1} \to \cdots $$ of pointed spaces, indexed by some ordinal $\lambda$, in which each $X_\xi$ ...
Jeff Strom's user avatar
  • 12.5k
8 votes
0 answers
165 views

Original reference for the Fam construction

For a category $\mathbf C$, the category of families of $\mathbf C$, denoted $\mathrm{Fam}(\mathbf C)$ is the free coproduct completion of $\mathbf C$. Explicitly, the objects of $\mathbf C$ are given ...
varkor's user avatar
  • 10.6k
6 votes
0 answers
812 views

Limit of metric spaces

Let $\{X_n\}_{n\in \mathbb{N}}$ be a collection of T2 topological spaces, with maps $f_n\colon X_n \to X_{n+1}$. These maps are continuous and open. Let $X$ be the direct limit of this system. Assume ...
Giulio's user avatar
  • 2,384
4 votes
0 answers
131 views

Weakening of terminal object in a category

I’ve come across a category $\mathcal{C}$ recently with an object $T$ such that any other object $X$ has a map $f:X\rightarrow T$, and for any two maps $f,g:X\rightarrow T$, there exists a (not ...
Chris H's user avatar
  • 1,949
4 votes
0 answers
212 views

When does the canonical $t$-structure restrict to perfect complexes?

I am interested in non-Noetherian(!) rings such that the canonical $t$-structure on $D(R)$ (the derived category of left $R$-modules) restricts to perfect complexes i.e. to the subcategory of ...
Mikhail Bondarko's user avatar
3 votes
0 answers
385 views

How does one compute a colimit of monoidal categories?

The question is in the title. I'm also happy to get answers about (your favorite adjective) monoidal categories. Here's a guess: In order to compute a colimit of monoids we can push everything down ...
pnips's user avatar
  • 41
2 votes
0 answers
108 views

Characterization of inverse limits of finite-dimensional convex cones

Consider a countable inverse system $C_1\substack{f_1 \\ \leftarrow} C_2 \substack{f_2 \\ \leftarrow} C_3 \substack{f_3 \\ \leftarrow} \ldots$ where the $C_i$ are finite-dimensional convex cones of ...
postdoc's user avatar
  • 21
2 votes
0 answers
160 views

Universal property of limits of invertible sheaves

Let $R$ be a discrete valuation ring, $m$ the maximal ideal and $f:X \to \mathrm{Spec}(R)$ be a flat, proper morphism of relative dimension $1$. Assume further that $X$ is regular. For any $n>0$, ...
Jana's user avatar
  • 2,022
1 vote
0 answers
54 views

contravariant finiteness and limit closure: is there dual to a result of Crawley-Boevey?

Let $\mathcal A$ be a locally finitely presented category. Theorem 4.2 of https://doi.org/10.1080/00927879408824927 says that given a full additive subcategory $\mathcal D$ of finitely presented ...
Alex's user avatar
  • 480
1 vote
0 answers
90 views

Dual of essentially compactly supported functions on a hemi-compact Radon space

Let $X$ be a hemicompact Radon space and fix a $\sigma$-finite Radon measure $\mu$ on $X$. Let $L(X_n)$ denote the subspace of $L_{\mu}^1(X)$ of "functions" which are $\mu$-essentially ...
Catologist_who_flies_on_Monday's user avatar