Various structures are studied in category theory using properties of objects and morphisms between them. Many constructions are special cases of categorical limits and colimits (e.g. products in various categories). The notions of functor and natural transformations are very important in category ...

learn more… | top users | synonyms (2)

1
vote
0answers
60 views

Topological insight on an algebraic theory.

I recently read about the marvelous bar construction. As far as I understand, it is something of a free resolution in an abstract setting. I'm wondering if it can be used to get topological insights ...
2
votes
1answer
31 views

Coherence result for (braided) monoidal functors

Is there any coherence result for (braided) monoidal functors? (like Mac Lane's coherence theorem for monoidal categories) What I have in mind is a theorem like the following: "Let F be a (braided) ...
7
votes
1answer
85 views

Motivation for the definition of an infinitesimal object

An infinitesimal object $D$ in a Cartesian closed category $\mathsf{C}$ is one for which the internal Hom functor $$(-)^D: \mathsf{C} \to \mathsf{C}$$ has a right adjoint. I am wondering what is the ...
1
vote
1answer
55 views

Examples of certain types of toposes

I'm looking for examples of (non-degenerate) categories $\mathcal{C}$ such that both $\mathcal{C}$ and $\mathcal{C}^{op}$ are toposes (assuming that such categories even exist). On a related note, ...
1
vote
1answer
40 views

Is Rel a topos?

Is the category Rel of sets and relations a topos? I've done a few Google searches about this question but I haven't found any answers either way. And I can't recall any answers either way in any of ...
0
votes
1answer
123 views

commutes homology

I am trying to prove the following: Let $R,A$ be rings and $\mathrm T:$$\mathscr M_R$ $\to $$\mathscr A_R$ such that $\mathscr M_R$ is category of left R modules and $\mathscr A_R$ is category of ...
4
votes
2answers
66 views

Adjoint functor to an R-algebra only “remembering” itself as a ring

I have been wondering this question while trying to comprehend adjoint functors and the various definitions. If you let $$F:\mathbf {R\text - Alg}\to \mathbf {Ring}$$ be the functor that sends ...
0
votes
2answers
45 views

Category Group has unique identity morphism

Let $\mathcal C$ be a category which as finite products and a terminal element $\ast$. A monoid is a pair $(G,e,m)$, where $m: G \times G \rightarrow G$ and $e: \ast \rightarrow G$ are morphisms ...
1
vote
0answers
27 views

Filtered colimits are exact in abelian categories

It is well known that filtered colimits commute with finite limits in $\mathsf{Set}$, and hence in every algebraic category - $R\mathsf{Mod}$ in particular. Unless I'm wrong, from the Mitchell ...
0
votes
1answer
38 views

Examples of thick subcategory

I'd like to know several examples of thick/Serre subcategory of an abelian category, I have no one in mind now. Help me please!
3
votes
3answers
61 views

Direct products, direct sums and coproducts in category of groups

I have couple questions about terms I mentioned in the title. Why we don't define direct sum of non-abelian groups (subset of direct products which consists of elements with almost every component ...
5
votes
1answer
237 views

What does “hom” stand for in hom-sets and hom-functors?

With given category $\mathcal{C}$ and its objects $A$ and $B$, a hom-set $\hom_\mathcal{C}(A, B)$ is the collection of all morphisms from $A$ to $B$. There is also a related notion of hom-functor ...
-1
votes
1answer
42 views

What are the objects and morphisms of the category $\operatorname{Vect}$?

What are the objects and morphisms of the category $\operatorname{Vect}$? I am trying to learn category theory, and it seems we have infinite objects in $\operatorname{Vect}$ being all of the finite ...
1
vote
1answer
57 views

List of universal properties

At the moment I am looking into category theory and I am wondering if there exists a list of universal properties? I couldn't seem to find one.
1
vote
1answer
30 views

Inductive limit of A-algebras

I try to compute a pushout in the category of commutative $A$-algebras, where $A$ is a commutative ring with unity. My question is if there is some abstract nonsense which gives me a simple ...
0
votes
1answer
70 views

About the definition of Day's convolution

I'm struggling with the definition of Day's convolution. Given a monoidal category $(\mathcal C,\otimes, I)$, there is a way to define a monoidal product on the category of presheaves ...
1
vote
2answers
19 views

Kernel of biproduct projection is the other biproduct injection

For some reason I'm unable to figure out what should be a trivial step in a proof.. Let $A\oplus B$ be a biproduct with injections $i_1,i_2$ and projections $p_1,p_2$. I aim to prove $i_1=\ker p_2$. ...
1
vote
0answers
45 views

Do functors that send direct sums to tensor products have a name?

Suppose a category $C$ is given with direct sums and tensor products, and let $F:C\to C$ be a functor with the property that $F(A\oplus B)\cong F(A)\otimes F(B)$. It would be tempting to call $F$ an ...
3
votes
0answers
140 views

A construction with homotopy colimits and homotopy pullbacks for descent.

I have some troubles in trying to give a meaningful interpretation to the following property which is stated in this preprint by professor Rezk (see Definition 6.5) as part of the requirement for a ...
0
votes
0answers
54 views

Inverse limit of isomorphic objects

Is the inverse limit of isomorphic objects isomorphic to each one of them? I know there is this question: inverse limit of isomorphic vector spaces but it seems that there they have a total order ...
1
vote
3answers
72 views

Generators and relations for $\mathbb{R}_{\geq 0} \cup \{\infty\}$ involving infinite sums

A countably-complete semiring is basically a semiring with some additional structure making infinite sums possible. Formally, it is a tuple $R=(|R|,\Sigma,\cdot,1)$, where $|R|$ is a set, ...
1
vote
1answer
31 views

Constructing a $G$-equivariant map from given set map.

In my category theory text I've come across a lot of questions where my own background is lacking in some topics. I have the following question I'm trying to work through: Describe nontrivial ...
0
votes
1answer
57 views

Given $A : \mathcal{C} \rightarrow \mathcal{E}$, when does $\operatorname{colim} A = A(1)$?

Suppose $\mathcal{C}$ a small category and $A$ : $\mathcal{C} \rightarrow \mathcal{E} $ where $\mathcal{E}$ is a cocomplete category and $\mathcal{C}$ has a terminal object $1$ When is the colimit ...
4
votes
0answers
95 views

Yoneda-type lemma for compositions on the hom-functor

The Yoneda lemma basically rephrases a rigidity property of natural transformations out of a covariant hom functor: A natural transformation $\psi : \mathsf{Hom}(Z,-)\Rightarrow F$ is determined by ...
2
votes
0answers
41 views

How to show that in the category of Hausdorff spaces every epimorphism is a continuous function with dense image? [duplicate]

How to show that in the category of Hausdorff spaces every epimorphism is a continuous function with dense image ? that is if $X,Y$ are Hausdorff spaces and $f:X \to Y$ is continuous such that for any ...
18
votes
6answers
558 views

Honest application of category theory

I believe that category theory is one of the most fundamental theories of mathematics, and is becoming a fundamental theory for other sciences as well. It allows us to understand many concepts on a ...
1
vote
1answer
26 views

A morphism to the mapping cone?

In the second part of the proof for the Proposition 2. in Derived Categories by Daniel Mufet, one finds the following: A collection of morphisms $f^n:Q^n\to X^n\oplus Y^{n-1}$ with components ...
1
vote
0answers
39 views

What does the statement “x is a diagram of classical logics” mean?

From the Wikipedia entry on quantum logic A more modern approach to the structure of quantum logic is to assume that it is a diagram – in the sense of category theory – of classical logics (see ...
1
vote
1answer
47 views

Limit as universal arrow

I was interested in the definition of limit as universal arrow from $\Delta$ to $F$ given in Mac Lane's CWM book. Let us begin with some notation: Let $C$ be a category, and $J$ be an index ...
1
vote
1answer
39 views

Functor from category of group representations to space of $G$ invariants

For a representation $(V,\rho)$ of a group $G$, define the subspace of $G$-invariants by $$ V^G=\{v\in V: \rho(g)v=v\quad \forall g\in G\} $$ and want to prove the following: $V\mapsto V^G$ ...
7
votes
1answer
60 views

Intuitive explanation of Four Lemma

In the Short Five Lemma where the rows are exact, it is a fact that $$\alpha \text{ and }\gamma \text{ injective (surjective) }\implies \beta \text{ injective (surjective)}.$$ I've heard this fact ...
5
votes
2answers
76 views

Examples of functors that preserves products but not equalizers, and vice versa.

What are simple examples, for student consumption, of A functor which preserves products (or at least finite products) but not equalizers. A functor which preserves equalizers but not products. ...
4
votes
2answers
39 views

About the presheaf used to define the inverse image sheaf.

Let $f \colon X \to Y$ be continuous and $\mathcal{F}$ be a sheaf on $Y$. Then the inverse image sheaf $f^*\mathcal{F}$ is defined to be the sheafification of the presheaf on $X$ given by $$ U \mapsto ...
0
votes
1answer
52 views

Every epimorphism in Sets is split: why is it equivalent to axiom of choice?

Suppose that $f: A \rightarrow B$ is epic in Sets. One can construct a section $s: B \rightarrow A$ of $f$ as follow: Let us define an equivalence relation $R$ on $A$ as follow: $aRa'$ iff $a, a' \in ...
-1
votes
1answer
35 views

Homotopy split monomorphisms [closed]

Let $C$ be a model category. Recall that a morphisme $f : X \to Y$ is called a homotopy monomorphism if the diagonal $X \to X \times^h_Y X$ induces an isomorphism in the homotopy category. Suppose ...
2
votes
1answer
54 views

How to “lift” a path to the tangent bundle?

Given a path $c: (-\epsilon,\epsilon)=I \to M$ in a manifold. Define $\widetilde c:I \to TM$ (a kind of "lift") as the curve $t_0 \mapsto [c(t+t_0)] \in T_{c(t_0)}M$. Is there a nice categorical ...
2
votes
1answer
48 views

When is an object in a linear or abelian category simple? Or: How should I define fusion categories?

I'm confused about the notion of simple objects. Now ncatlab says that an object is simple in an abelian category if it only has itself and 0 as subobjects. On another page, it says that the simple ...
3
votes
1answer
86 views

If the cohomology of two objects in the derived category are equal, are the objects isomorphic?

Let $\mathcal{A}$ be an abelian category. Given objects $A^\bullet,B^\bullet$ in the derived category $D(\mathcal{A})$. Assume that $H^n(A^\bullet)=H^n(B^\bullet)$ for all $n\in\mathbb{Z}$. Can we ...
2
votes
1answer
44 views

What does the notation $U(\frak{g})[[\hbar]]$ mean?

I'm reading the following motivation for studying quantum group but I'm unfamiliar with the double bracket notation in $$U(\frak{g})[[\hbar]].$$ Is this a special set of polynomials with coefficient ...
5
votes
2answers
225 views

Applications of Eckmann–Hilton argument

I am looking for applications of the Eckmann–Hilton argument. I found one application in Algebraic Topology where we show that the fundamental group is abelian in case of a topological group. Thank ...
0
votes
1answer
68 views

Universal Properties and Isomorphisms

If two objects satisfy the same universal property, we know that they are isomorphic in that category. Is the converse true? That is, if two objects are isomorphic in some category, can we construct ...
3
votes
1answer
47 views

Equivalence of category of cones

If $ E \colon I \rightarrow J $ is an equivalence of categories and $ D \colon J \rightarrow C $ is a diagram of shape $ J $ in $ C $, is the category of cones over $ D $ equivalent to the category of ...
4
votes
0answers
76 views

Spectral sequence $\bigoplus_{k-j=q}\mathrm{Ext}^p(\mathcal{H}^j,\mathcal{H}^k)\Rightarrow \mathrm{Hom}^{p+q}(P,P)$

Reading the proof in Bondal-Orlov reconstruction theorem (http://arxiv.org/pdf/alg-geom/9712029v1.pdf), I found the spectral sequence in the title ...
0
votes
0answers
47 views

How to prove that a functor factors through another functor under some certain conditions

Let $\mathcal C$ be an additive category, $B$ and $L$ two objects in $\mathcal C$, and $G$ a functor $\mathcal C^{op} \to \mathsf{Ab}$. Suppose there are morphisms $$\alpha \colon \hom_{\mathcal ...
1
vote
0answers
33 views

Subobject classifier in $Set^{C^{op}}$

I'm reading "Sheaves in geometry and logic" and I'm not sure if i'm understanding some definitions. We have our functor $\Omega$ defined on objects by $\Omega(C)$$=\{$$S|$ $S$ is a sieve on C in ...
4
votes
2answers
66 views

Equivalent categories are elementarily equivalent: Formalization?

Equivalent categories should be elementarily equivalent in the sense of mathematical logic. How to make this precise? Here is an attempt: Let $F : \mathcal{C} \to \mathcal{D}$ be an equivalence of ...
0
votes
0answers
26 views

Terminal object in $Set^{C^{op}}$ and subobject classifier.

This is from Sheaves in Geometry and Logic pg 38. I'm not sure if I understood it correctly but the subobject classifier in $Set^{C^{op}}$ when $C$ is a small category is a map (natural ...
10
votes
1answer
201 views

Does the vector space of compactly-supported continuous functions $X \rightarrow \mathbb{R}$ satisfy an interesting universal property?

Let $S$ denote a set. Then the vector space $FS$ freely generated by $S$ can be identified with the set of all finitely-supported functions $S \rightarrow \mathbb{R}$. This gave me the following idea; ...
1
vote
0answers
14 views

strong epis in the category of banach spaces with linear contractions

In Borceux's Handbook volume 1, page 145, the strong epis in the category of Banach spaces with bounded linear maps of norm <= 1 is characterized as the maps whose restriction on the unit balls is ...
5
votes
0answers
79 views

When does Sheafification commute with direct image?

Given a presheaf $\mathcal{F}$ on a space $X$ and a map $f: X \rightarrow Y$, when does $f_* A(\mathcal{F}) = A(f_* \mathcal{F})$, where $A$ is the associated sheaf/sheafification functor? Since ...