The tag has no usage guidance.

learn more… | top users | synonyms

9
votes
0answers
80 views

How “nondegenerate” are amalgamated free products of C*-algebras?

In the following, I assume all algebras are unital. Let $A$ and $B$ be C*-algebras that each contain (isomorphic copies of) a common C*-subalgebra $C$. Let $A *_C B$ denote the amalgamated free ...
0
votes
1answer
121 views

colimits in Cat via coproducts and coequalizers

I am attempting to do a calculation of a colimit in $Cat$, the category of small categories. To this end, people have suggested that I do this by calculating coproducts and using coequalizers. I ...
2
votes
1answer
74 views

What do you get when you apply a universal cocone to a colimit functor

Any colimit can be represented as a functor $F$ left adjoint to a particular diagonal functor $\Delta: C \rightarrow C^J$. The unit of this adjunction is the natural transformation $\eta_K: K ...
3
votes
1answer
111 views

What is an example of a colimit-dense generator which is not dense?

An object $G$ of a category $\mathcal{C}$ is a dense generator if every object $X$ is the colimit of the canonical diagram of copies of $G$ mapping to $X$. (This canonical diagram is indexed by the ...
2
votes
0answers
74 views

Inverse limits of schemes and open subsets

Let $R$ be a discrete valuation ring, $\{A_i\}_{i \in I}$ be a direct system of $R$-algebras and $A$ the limit of the system. Let $X$ be a noetherian projective scheme over $\mathrm{Spec}(R)$. ...
1
vote
0answers
109 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 ...
1
vote
1answer
97 views

Groups arising as direct limits of a stationary system of primitive matrices over the integers

I am interested in the kinds of groups of the form $\displaystyle\lim_{\longrightarrow}(\mathbf{Z}^k,M)$ where $M$ is a primitive (some power of $M$ has strictly positive components) $k\times k$ ...
5
votes
0answers
98 views

Contractibility of a poset-indexed colimit

Let $(X,\leq)$ be a poset with distinguished element $p$, and let $P'$ be the poset of "finite chains which weakly descend to $p$" given by all $\sigma = (x_0 \geq x_1 \geq \cdots \geq x_k \geq p)$ ...
1
vote
0answers
94 views

Pre-Order induced by continuous functions

I'm an newbie in category theory, but I want use it to solve a pre-order question I encountered in my research: Let $X$ be a convex&compact subset of $\mathbb{R}^n$. $f,g: X \rightarrow [0,1]$ ...
3
votes
0answers
144 views

Which reflexive coequalizer diagrams are projectively cofibrant?

Consider the walking reflexive pair category W, which consists of two objects 0 and 1 and three generating morphisms f: 0→1, g: 0→1, and h: 1→0 satisfying the relation fh=gh=id₁. Consider the ...
0
votes
1answer
163 views

Direct limit of primitive integral matrices

I'm interested in computing the direct limit of an arbitrary $2\times 2$ primitive matrix over $\mathbf{Z}$. That is for a fixed primitive matrix $M$, the colimit ...
1
vote
0answers
138 views

Continuity of Kan extension along the Yoneda embedding

Let $\mathcal{C}$ be a category and $h_-: \mathcal{C} \to \mathrm{Set}^{\mathcal{C}^{op}}$ be the Yoneda embedding. Let $\mathcal{A}$ be a cocomplete category and $F: \mathcal{C} \to \mathcal{A}$ a ...
4
votes
0answers
177 views

Reference request: colimits of locally presentable categories

Consider the 2-category of locally presentable categories, cocontinuous functors, and natural transformations. I believe that this 2-category is 2-cocomplete in the sense of containing all small ...
3
votes
1answer
109 views

Co-completeness of differential stacks?

I once heard a rumour that various nice categories of stacks were co-complete. Gepner and Henriques, working from the groupoids point of view, give a construction [link] of 2-colimits of topological ...
4
votes
2answers
338 views

grothendieck construction for profunctors

Given categories $X$ and $Y$ and a strong functor $$D:X^{op}\times Y\to Cat$$ we can of course build the oplax colimit $$\mathrm{colim}^{oplax}_{X^{op}\times Y}D$$ via the usual (covariant) ...
1
vote
0answers
135 views

Composition of Cat-valued distributors - compatible with grothendieck construction?

Let $C$ be a category and $F\in[C^{op}, Cat]$ be a strong functor. (1) There are functors $$hom_C(c',c)\times F(c)\to F(c').$$ (2) The grothendieck construction gives a 2-equvalence $$\int_C: ...
4
votes
1answer
482 views

Which E_∞-spaces are homotopy colimits of k-truncated E_∞-spaces?

This question is closely related to my previous question about modules over truncated sphere spectra, in particular, it has the same motivation. Recall that every space (or ∞-groupoid) can be ...
5
votes
0answers
387 views

Constructing pointwise Kan extensions as adjoints to some functor

Background I'm working on formalizing some category theory in Coq at https://bitbucket.org/JasonGross/catdb. Currently, I'm in the process of formalizing pointwise Kan extensions. Partly because ...
4
votes
1answer
379 views

When do reflexive coequalizers preserve weak equivalences?

In my work I've run into the following situation. In a model category, I have two reflexive coequalizers $A_i \stackrel{\to}{\to} B_i \to C_i$ and a map of diagrams which is levelwise a weak ...
1
vote
2answers
322 views

Cech cohomology as a colimit over maps to a CW complex

Given a topological space $X$, we consider the following category $\mathsf{CW}_{X\to}$. The objects are finite CW complexes $Y$ equipped with a continuous map $X\to Y$. The morphisms are continuous ...
1
vote
1answer
269 views

Colimit notation

In Wikipedia's article on Kan extensions 1, in the view of Kan extensions as colimits, I am confused about the notation: $(Lan_F X)(b) = \varinjlim_{f:Fa \to b} X(a)$. Wikipedia says that the colimit ...
5
votes
1answer
405 views

The crude monadicity theorem

In order to test the monadicity of a functor, there is a precise monadicity theorem (PM) as well as a crude monadicity theorem (CM), see the nlab. In CM, the forgetful functor should create reflexive ...
5
votes
2answers
179 views

Local finality condition (for re-indexing parameterized colimits)

I'm in need of a condition that is analogous to the "finality" condition in the following lemma: Lemma: A functor $F\colon A\to B$ is final if and only if for any functor $x\colon B\to Set$, the ...
10
votes
2answers
516 views

Fubini theorem for hocolim.

I wanted to ask the following question, Suppose $\mathbf{M}$ a cof generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it ...
0
votes
0answers
194 views

how many ways can an algebra be a weighted colimit of free algebras?

For a given weight $W : \mathcal{S}^{op} \to \mathcal{V}$ and diagram $D : \mathcal{S} \to \mathcal{A}$, the weighted colimit is an object $W \cdot D$ together with an isomorphism $$\mathcal{A}(W\cdot ...
6
votes
1answer
396 views

What is a (partial) left adjoint of the Yoneda embedding called?

It is a fairly special property for the Yoneda embedding $A \hookrightarrow \mathcal{P}A$ of a category to have a left adjoint defined everywhere (this happens just when $A$ is total). However, a ...
7
votes
2answers
1k views

Is Sheafification Functor Exact?

I know that sheafification functor from the category of abelian presheaves on $C$ to the category of abelian sheaves on $C$. Here, $C$ is a category with Grothendieck pretopology. My question is: ...
5
votes
1answer
470 views

permutation of projective limits with inductive limits

Hi everybody, I have a lack of references concerning projective limits and injective limits. Up to my faults in Bourbaki there are only proj and inj limits indexed by a partially ordered set (not a ...
5
votes
2answers
679 views

Is the category of small categories locally presentable?

I was wondering whether the various model structures on the category of small categories are combinatorial. I think that the ones I know are at least cofibrantly generated. In order to be ...
9
votes
1answer
271 views

Given a small category with some colimits, can the rest of the colimits be added?

Let $\mathcal{A}$ be a small category with some ( maybe no) colimits. What I would like to be able to do is add the rest of the colimits in a universal way. The Yoneda lemma will not work, since this ...
4
votes
2answers
355 views

Where can I find an explicit description of the pseudocolimit of a small pseudofunctor to Cat?

Given a functor from a small category to $Set$, we can describe the colimit set as a quotient of the disjoint union of image sets by an equivalence relation arising from morphisms in the source ...
1
vote
0answers
335 views

Direct Limits and Limits of Nets

A net is a function from a directed set into a topological space, and it is said to converge to a point if certain conditions are satisfied. Similarly, a direct system is a function from a directed ...
3
votes
2answers
506 views

Is the category of toposes cocomplete ?

Hello. [Edits between brackets.] Does the [1-]category of [elementary] toposes [with logical morphisms] admit any [1-]colimits ? [By colimit I mean initial object in the category of outgoing ...
1
vote
1answer
169 views

Aspherical amalgamations without injective maps

The situation I find myself in is as follows: I have a CW complex $X$ which is covered by two subcomplexes $A$ and $B$ and I know that $A$, $B$ and $A \cap B$ are connected and aspherical. The term ...
3
votes
1answer
228 views

Can cones (toric monoids) be built as colimits of their faces?

Suppose $L$ is a lattice (free abelian group) and $\sigma$ is a (pointed) spanning rational cone in $L\otimes\mathbb Q$. Then $M=L\cap \sigma$ is a monoid with $M^{gp}=L$. A monoid of this form is ...
39
votes
2answers
2k views

Why do filtered colimits commute with finite limits?

It's not hard to show that this is true in the category Set, and proofs have been written down in many places. But all the ones I know are a bit fiddly. Question 1: is there a soft proof of this ...
8
votes
1answer
363 views

Comparing colimits in schemes with colimits in sheaves of sets

Suppose I have a diagram of schemes, and I know that the colimit exists in the category of schemes. How does this colimit compare with the colimit of the corresponding sheaves (I'm being nonspecific ...
7
votes
5answers
2k views

motivation of filtered colimits

I am trying to move in categorical algebra beyond the basics. A Lawvere theory L is a small category with finite products. (I know that there also is a functor $(skeleton(FinSet))^{op}\to L$, which ...
11
votes
1answer
1k views

Is every ring the direct limit of Noetherian rings?

Are there any examples of commutative rings that do not occur as direct limits of Noetherian rings?
3
votes
3answers
733 views

Unions of sets exist? [closed]

Hello, Probably this questions is very stupid, but anyway: It usually said that the category of sets is cocomplete, in particular meaning that we have disjoint unions of arbitrary families of sets, ...
6
votes
1answer
488 views

How does Berger-Moerdijk's relative Boardman-Vogt work?

In "The Boardman-Vogt resolution of operads in monoidal model categories," the authors construct factorizations of sufficiently nice operad maps $P\to Q$ into a cofibration followed by a weak ...
9
votes
2answers
676 views

Colimits of manifolds

This question tells us that in general colimits do not exist in the category of manifolds. However, this negative answer is not very satisfying. A manifold can be considered as a colimit of its ...
13
votes
3answers
607 views

Is there a tricategory of bicategories and biprofunctors?

Background There is a bicategory where the objects are categories, the 1-morphisms are profunctors, and the 2-morphisms are morphisms of profunctors. The non-obvious part of this assertion is that ...
7
votes
1answer
353 views

Decomposing a large colimit as a pushout of smaller colimits

I would like to find a reference in the literature for the following result. I have it on high authority that it isn't in 'Categories for the Working Mathematician' and I can't find it in Borceux's ...
2
votes
0answers
232 views

Colimit of an etale diagram of schemes

It is known that the category of schemes is not cocomplete (e.g. see this question: Colimits of schemes). However, do diagrams of schemes for which every morphism is etale have colimits? More ...
4
votes
1answer
491 views

colimits of spectral sequences

I'm looking for some references about colimits of spectral sequences. More precisely: let $X : I \longrightarrow \cal{C}$ be a functor from a filtered category $I$ to the category of double cochain ...
1
vote
2answers
411 views

Tot and colimits

This must be a well-known exercise with spectral sequences, but I don't know a reference for it. I'm trying to figure out when does $Tot$ commute with colimits. More precisely, let $X$ be a double ...
3
votes
2answers
1k views

Simple examples of homotopy colimits

I am following the explicit construction of homotopy colimits as described by Dugger in the paper: "Primer on homotopy colimits", which can be found here: http://www.uoregon.edu/~ddugger/hocolim.pdf ...
7
votes
2answers
537 views

Coend computation continued

This is a follow-up question to this coend computation. Here's an attempt at a slightly simpler computation: $\int^{a \in A} \mbox{hom_A(a,a)}$ This should be similar to the trace operator. In ...
12
votes
1answer
1k views

Coend computation

Let $F:A^{\mbox{op}} \to \mbox{Set}$ and define $G_a:A\times A^{\mbox{op}} \to \mbox{Set}$ $G_a(b,c) = \mbox{hom}(a,b) \times F(c)$. I think the coend of $G_a$, $\int^AG_a$, ...