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)

3
votes
1answer
72 views

Dualizing the statement “A functor is monadic”.

This is another example of my struggle with the dualizing principle in Category theory. There are two notions, monadicity and comonadicity. I want to see how exactly they are dual to each other. ...
4
votes
0answers
34 views

Some lemmas on overcategory adjunctions

I'm reading chapter 5 of Borceux and Janelidze's Galois Theories and I think the formulation of some lemmas in section 5.1 require unnecessary conditions. Let $F\dashv G$ where $\mathsf C \stackrel{F}...
0
votes
0answers
26 views

Retraction of a map

It's an exercise from Lawvere's book, "Sets for Mathematics" on page 53. Suppose S $\xrightarrow{i}$ B $\xrightarrow{j}$ E, $i$, $j$ are maps in category. Prove that $i$ has a retraction if $ji$ ...
1
vote
1answer
37 views

Functorial Morphism in Top / Topological Question

Is there any natural function which assignes to any function $f:X\to X$ a function $\epsilon_{\tau}(f):X\to X$ which is continuous in the topological space $(X,\tau)$?
2
votes
0answers
54 views

Forgetfull functor from Set and Top admits adjoints

Is there any book or article where I can find some completely explained examples of adjunctions? I just don't know how to make a complete prove that, for instance in $\mathbf{Set}$ and $\mathbf{Top}$ ...
7
votes
1answer
223 views

Is There a Concept of Fractional Composition?

Does there exist a concept of fractional composition for functions? Continuous or differentiable functions?
3
votes
0answers
61 views

How exactly do natural transformations relate to independence of choice of basis?

Let $V$ be a finite dimensional vector space over some field $K$. When I did not know anything about category theory, I learned about an isomorphism $(V^*)^* \cong V$ that 'does not depend on choice ...
2
votes
0answers
46 views

Difference between product projections and split epis in $\mathbf{Top}$

I don't understand the excerpt below. The trivial bundles were defined as split epimorphisms, and since the ground category was additive with kernels (in fact abelian), they are the same as ...
6
votes
1answer
114 views

map of hom-sets as morphism

I am an undergraduate math student, and while studying cartesian closed categories i encountered a problem i could not solve: Suppose we have a (locally small) cartesian closed category $C$, and let ...
4
votes
1answer
57 views

If $D$ is a triangulated category, and $E_i$ is a set of generators, then $D$ is equivalent to $D(End(\oplus E_i))$?

I am looking for a result along the lines of the following statement: If $D$ is a triangulated category, and $E_i$ is a set of generators (every object can be obtained up to isomorphism by shifts and ...
4
votes
0answers
109 views

Visualizing co-Yoneda lemma

I am studying the Yoneda and co-Yoneda lemmas, and in order to understand them well I am trying to develop particular cases. This one is getting me in trouble (it must be easy, but I cannot get it): ...
1
vote
0answers
41 views

Localization and the universal property

I've been trying to get to grips with the universal property and was looking at the localization of a commutative ring $A$ at some multiplicative set $S$, denoted $S^{-1}A$, to get an idea of what the ...
1
vote
1answer
28 views

Abelian subcategory which is not a Serre subcategory

Is there an example of an abelian subcategory $\mathcal{B}$ of an abelian category $\mathcal{A}$ such that : The inclusion functor $\mathcal{B}\to \mathcal{A}$ is exact. $\mathcal{B}$ is not closed ...
1
vote
0answers
32 views

Smallness and Yoneda extension of categories

I have read in Sheaves in Geometry and Logic by Maclane the following theorem: Given a small category and a functor $F: \mathcal{C} \to \mathcal{A}$ with $\mathcal{A}$ cocomplete we can construct ...
4
votes
3answers
341 views

Covariance, contravariance and all that jazz

For the love of God, can someone explain to me the difference between functors of the form $\mathcal{C}^{\text{op}}\to \mathcal{D}$, $\mathcal{C}\to \mathcal{D}^{\text{op}}$ and $\mathcal{C}^{\text{op}...
4
votes
1answer
34 views

Fiber bundles with varying fibers via pullbacks along étale surjections

Suppose $\mathsf C$ is a complete extensive category. I managed to prove that a bundle $\alpha$ is a fiber bundle with fiber $F$ if there exists an associated cover $p:\coprod_iU_i\rightarrow B$ such ...
7
votes
2answers
139 views

In category theory: What is a fibration and why should I care about them?

I stumbled upon the "fibration of points" in the definition of a protomodular category and apparently this is indeed an instance of a fibration. What are fibrations intuition-wise and how are they ...
3
votes
1answer
66 views

Dual statements involving functors

I know how to construct the dual of a statement concerning objects and morphisms of a category, and understand the duality principle associated, but I am having trouble when various categories and ...
0
votes
2answers
83 views

Reference for Algebraic Topology

I know undergraduate algebra (groups, rings, fields, Galois etc), undergraduate differential geometry, undergraduate real/complex analysis and now I feel as though to get to the next level, i should ...
0
votes
2answers
68 views

What happens with the empty set in the categorical definition of a presheaf?

I've found in Hartshorne's book on Algebraic Geometry a categorical definition of a presheaf (Ch. 2.1, just after the first definition). He there defines for a topological space $X$ the category $\...
2
votes
1answer
47 views

Amalgam of trees

Definition A tree is a partially ordered set $(T, <)$ such that for each $t \in T$, the set $\{s \in T : s < t\}$ is well-ordered by the relation $<$. For trees $(T,<_T)$, $(S,<_S)$, $...
4
votes
0answers
67 views

What is so special about natural isomorphism?

We know that all finite dimensional vector spaces of the same dimension are isomorphic. In particular, if $V$ is of finite dimension, then $(\star)$$V^{**} \cong V \cong V^{*}$. However, we know that ...
4
votes
1answer
57 views

Natural isomorphism are base independent isomorphisms?

In Linear Algebra courses, often one hears the term "natural isomorphism" to designate isomorphism which behave like $V \cong V^{**}$ (in the finite dimensional case). Usually, one comes across the ...
1
vote
1answer
58 views

Show that if $A$ is free on a set $S$ in Ab is a coproduct of $|S|$ copies of $\mathbb{Z}$

I am working on the following problem: Show that if $A$ is free on a set $S$ in Ab, with map $\mathrm{\Phi}:S \rightarrow A$, then $A$ is also a coproduct of $|S|$ copies of $\mathbb{Z}$, where each $...
6
votes
0answers
59 views

Proving étale maps have discrete fibers by abstract nonsense?

I'm trying to prove that an étale map of spaces has discrete fibers. The first diagram I drew is: $$\require{AMScd} \begin{CD} f^\ast\coprod_i \left\{ x \right\} @>>> f^\ast \coprod_i U_i @&...
6
votes
2answers
774 views

Is TOP a small category?

A quick question... is the category of topological spaces and continuous maps a small category? If so how do we know and if not how do we know not?
1
vote
0answers
25 views

Isomorphism of Filtered Objects?

Let $\mathscr{C}$ be a category and let $Filt(\mathscr{C})$ denote the category of filtered objects in $\mathscr{C}$. So an object $X$ in $Filt(\mathscr{C})$ look something like $X_0\subset X_1\subset ...
2
votes
0answers
34 views

Fixed point set as an inverse limit

We can regard a group action on a set as a functor $$ F: BG \to Set\;, $$ where $BG$ is the category with one object and a morphism for each element of $G$, and $Set$ the category of sets. Now, is ...
2
votes
0answers
57 views

Can you prove that modules over a field are vector spaces in a categorical way?

Let $\mathcal{C}$ be the category of abelian groups endowed with tensor product. It is a monoidal category with unit object the integers. Given a monoid $(R, \mu_R , \iota_R)= R$ in this category (i.e....
1
vote
1answer
45 views

Is $Set$ a 2-category?

I've read that $Rel$ (the category of sets and relations) is a 2-category by considering 2-morphisms to be inclusion of relations. Is $Set$ also a 2-category by considering 2-morphisms to be inclusion ...
1
vote
0answers
46 views

Locality and base change along effective descent morphisms

Definition. Let $\mathcal M$ be a class of arrows in a site $\mathsf{C}$. An arrow $\pi:E\rightarrow B$ is said to be locally in $\mathcal M$ if there's a covering ${u_i:U_i\rightarrow B}$ such that $...
4
votes
1answer
71 views

What is a composition in category theory?

I'm just beginning to learn category theory. So far, the basic examples (like Set) are making sense. But I'm having a little trouble getting my head around the fundamentals. Suppose I try to define a ...
3
votes
1answer
58 views

When the empty family of arrows to an object is epimorphic, that object must be initial?

Is it true that when the empty family of arrows to an object $E$ in some category is epimorphic, that object $E$ must be the initial object $0$? This is a claim on page 433 (eq. 22) of Mac Lane and ...
0
votes
1answer
36 views

Projective Module equivalence [closed]

I'm trying to prove that given an $A-module$: $P$ The functor $Hom(P,-)$ is exact $\implies$ $\exists Q (A-module): P\oplus Q$ is free Can anyone guide me with some hints? It's the first time I'...
5
votes
0answers
160 views

Can we somehow use the functor $\mathbf{Set}(\mathbb{N},-)$ to define $\mathbb{N}$?

Hom functors can be used define coproducts in terms of products. In particular: $$\mathbf{Set}(A \sqcup B,X) \cong \mathbf{Set}(A,X) \times \mathbf{Set}(B,X)$$ To oversimplify a little: "a function ...
2
votes
0answers
37 views

Characterization of split mono- and split epimorphisms of algebras

Given a concrete category $(\mathcal{A}, U : \mathcal{A} \to \mathsf{Set})$ of universal algebras, obviously if a morphism $f$ in $\mathcal{A}$ is split mono / split epi, then so is $U(f)$. What is ...
0
votes
1answer
34 views

Pullback of a function along identity?

If $f:A\rightarrow B$ is a function, then $A\times _BB= \left\{ (a,b)\mid f(a)=b\right\}$. Isn't this the preimage of the image of $f$? I.e is $A\times_BB\cong f^\ast f_\ast(A)$? If working with ...
5
votes
1answer
79 views

In an algebraic category a morphism is a regular epi iff it is surjective

According to the nLab (see the 4th point under "Examples") in an "algebraic category" a morphism is a regular epi if and only, if it is surjective. Here a morphism $e$ is said to be surjective, if its ...
2
votes
3answers
62 views

Examples for the fact that a pullback of an epimorphism is not necessarily an epimorphism.

I'm reading in Borceux' book Basic Category Theory about pullbacks. It turns out that the pullback of an epimorphism is not necessarily an epimorphism. On the linked page, Borceux gives a ...
2
votes
1answer
32 views

Enough projectives and $F$ preserves limits implies $G$ preserves epi's.

Exercise: Let $\mathcal{C}, \mathcal{D}$ be categories, $G : \mathcal{C} \to \mathcal{D}$ and $F : \mathcal{D} \to \mathcal{C}$ an adjunction $F \dashv G$. Suppose $\mathcal{D}$ has enough projectives ...
3
votes
3answers
98 views

Strange question about free abelian group

I was given the following question for homework, but it makes no sense to me. Since when are free abelian groups constructed w.r.t maps? Isn't the set $S$ all that matters? I don't understand what ...
0
votes
1answer
53 views

post composition as a functor?

For every arrow $f$, we have a post composition functor $f_\ast$. However, one often uses the equality $(gf)_\ast=g_\ast\circ f_\ast$. I was wondering, what's the actual definition of this functor $(-)...
1
vote
0answers
22 views

Modal extensions (operators) for monoidal (categorical) logics

There is nice generalization of first order logic to monoidal (categorical) logics http://www.springer.com/us/book/9783642128202 which has recently been applied extensively as replacement for deontic ...
1
vote
0answers
50 views

Existence of pullback of fiber bundles from abstract nonsense?

Let $\mathsf C$ be a superextensive site with products. A trivial fiber bundle is a bundle $\pi:E\rightarrow B$ which is isomorphic to $\pi_1:B\times F\rightarrow B$ in $\mathsf{C}/B$. Let $\mathcal ...
2
votes
1answer
57 views

Does the homotopy category functor $\mathsf{Top}_\ast\rightarrow \mathsf{hTop}_\ast$ create products?

Does the homotopy category functor $\mathsf{Top}_\ast\rightarrow \mathsf{hTop}_\ast$ create products? I know it preserves products, but it seems to actually create them.
4
votes
0answers
45 views

How to recover a $K$-algebra from endomorphism algebra of forgetful functor?

I'm trying to work out how a finite-dimensional $K$-algebra $B$ can be recovered from the algebra of endomorphisms of the forgetful functor $\omega$ from the category of finitely generated left $B$-...
3
votes
0answers
40 views

Explicit unit/counit of inverse image/direct image adjunction.

Is there a nice explicit description for the unit and counit of the inverse image/direct image adjunction $f^{-1} \dashv f_*$ between sheaves of rings (and in the version $f^* \dashv f_*$ for $\...
9
votes
1answer
408 views

Why is the homotopy category actually important?

Since the homotopy category (of whatever) generally has very few limits and colimits, and these don't coincide with homotopy limits and colimits in the lifted model structure, why do we care about the ...
3
votes
1answer
90 views

“Representability” of $\pi_1:\mathsf{hTop}_\ast \longrightarrow \mathsf{Grp}$?

In this MO question, Qiaochu Yuan asks about limit preservation of "representable" functors which are not $\mathsf{Set}$-valued. The answer gives a simple sufficient condition, possessed by monadic ...
0
votes
1answer
23 views

G adjoint iff initial object in $(D\downarrow G)$

$\def\D{\mathcal{D}}\def\C{\mathcal{C}}$ Let $G: \C \rightarrow \D$ be a functor. For each $D \in \D$ define the category $(D \downarrow G)$ which has as objects pairs $(C,g)$ with $C \in \C$ and $g: ...