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)

4
votes
0answers
24 views

Is composition of regular epimorphisms always regular?

In a finitely complete and cocomplete category. Does it always hold that the composition of two regular epimorphisms is regular? And if it's not the case, what kind of additional constraints can make ...
0
votes
1answer
25 views

Graded Vector Spaces (definition)

I am studying Algebraic Operads with the book Algebraic Operads, by Jean-Louis Loday and Bruno Vallette and I'm having a little problem with the definition of graded vector space. My advisor and I ...
0
votes
0answers
19 views

$K$-affine $Hom$ functor relating to Polynomial Maps (Exercise in _Algebra: Chapter 0_ by Aluffi)

I'm currently learning some category theory and algebraic geometry, the basics at least. In Algebra: Chapter 0 by Aluffi, there is an exercise describing the relationship between morphisms of affine ...
2
votes
3answers
84 views

Day convolution intuition

In the nLab, Day convolution is introduced as a generalisation of convolution of complex-valued functions, but I'm wondering how exactly to understand this. I can (just about) parse the definitions, ...
1
vote
0answers
33 views

Monomorphism in the category of schemes

Let $(f, f^{\#}): X \rightarrow Y$ be a map of schemes. The stacks project gives a criterion for $f$ to be a monomorphism (see lemma 25.23.6): if (a): $f$ is a monomorphism in the category of ...
3
votes
2answers
98 views

Is category theory ambiguous? or it just is the case for beginners? [on hold]

First of all, I have to say that I'm not going to offend anyone/anything here; I just need some clarification/studying tips about category theory. I'm totally new in category theory and this happens ...
9
votes
1answer
106 views

What's an Isomorphism?

I'm familiar with the definition (inverses and bijections, preserving operations) in the context of groups and vector spaces, the hoeomorphism of topological spaces, and have some feeling for the ...
3
votes
2answers
56 views

subobject classifier for partial orders

Does the category of partial orders have a subobject classifier? (Edit: No, see Eric's answer.) If not, what is a category which is "close" to the category of partial orders (e.g. it should consists ...
3
votes
1answer
57 views

Why $C(X,Y)$ ,namely the morphisms between $X$ and $Y$, is assumed to be a set rather than a class?

I understand that we introduce the notion of class to bypass the paradox of the "set of all sets". However, shouldn't $C(X,Y)$ considered to be the set of all morphisms between $X$ and $Y$, thus not a ...
2
votes
0answers
37 views

Metrics and Measures on a Category of Cats : a cauchy complete category of categories

Is there a suitable way to restrict the functors between objects (and I suppose the objects themselves) of a category of categories such that we have a cauchy complete category. Can we find a ...
0
votes
0answers
14 views

Modular tensor category and the pivotal or shperical condition

I have two related questions: 1) Is a modular tensor category always pivotal? 2) Is a modular tensor category always spherical?
0
votes
0answers
29 views

Categorically deducding measurability of sections

Two lemmas which are often proved in elementary measure theory courses are that sections of measurable sets are measurable, and sections of measurable functions are measurable. Note $E_x= \left\{y\in ...
3
votes
1answer
22 views

On the definition of double categories?

I'm trying to understand double categories but I'm having a hard time. A preliminary definition is: Definition. Let $\mathscr{C}$ be a category. We say $\mathscr{I}$ is an internal category to ...
1
vote
2answers
35 views

Adjoint pair of functors and cogenerator elements

Let $F:\mathcal{A} \rightarrow \mathcal{B}$ and $G:\mathcal{B} \rightarrow \mathcal{A}$ be additive functors between abelian categories, such that $(F,G)$ is an adjoint pair. If $B \in \mathcal{B}$ is ...
0
votes
3answers
35 views

universal property of product: must any map satisfying it be a morphism

I am thinking about the universal property of products: Let $X$ and $Y$ be objects of a category $D$. The product of $X$ and $Y$ is an object $X \times Y$ together with two morphisms $\pi_1 : X ...
1
vote
3answers
65 views

How do we view natural transformations as functions

1.The definition asserts that natural transformation is a map of two functors. However, from the definition, given tow functors $F,G:C,D$, we associate every element $x$ in $Obj(C)$ a morphism $F(x) ...
1
vote
2answers
68 views

What is so special about categories that lead people to use them to “formalize math”?

There are countless interesting structures - lists, trees, maps, graphs. Yet, categories - which, if I understand, is just a graph with some constraints on its shape - are apparently special somehow, ...
1
vote
1answer
81 views

The magic of the morphisms

Given a set $X$. Let $S\subseteq X$ and consider $(X,S)$ as a very simple mathematical structure, lets call it a spotted set. Given two spotted sets, then a morphism $\alpha ...
1
vote
1answer
28 views

A complete category of categories and embeddings

I have a theory that you should be able to construct a category of categories and embeddings that is complete. Someone already pointed out that if the functors are full and faithful, your cat is not ...
3
votes
1answer
34 views

Is $\mathsf{nCob}$ bicomplete?

Let $\mathsf{nCob}$ be the category of $n$-cobordisms, whose objects are $(n-1)$-dimensional closed manifolds and morphisms are bordisms. Is this category bicomplete, or even finitely bicomplete? ...
0
votes
1answer
25 views

Is this category complete or Cauchy complete?

Define a category as follows: the objects are categories and the arrows are embeddings (full and faithful functors). Is this category Cauchy complete or complete?
1
vote
1answer
71 views

What functors are these?

The category of "just arrow" categories is equivalent to Cat as we see here. If we have a "just arrow" category $C$, I think we can also have the set of equations, $EQ_C$, over the (compositions of) ...
2
votes
2answers
171 views

Is the category of monoids cartesian closed? Why?

Is the category of monoids cartesian closed? Why? I read Steve Awodey's "Category Theory", and could not solve the exercise in chapter 6, stated above. Here I speak of the "category of monoids" ...
4
votes
1answer
61 views

Calculating (co)limits of ringed spaces in $\mathbf{Top}$

Let $\mathbf{Top}$ be the category of topological spaces, $\mathbf{RS}$ the category of ringed spaces and $\mathbf{LRS}$ the category of locally ringed spaces. There are forgetful functors $$ ...
1
vote
1answer
41 views

Tor amplitude of dual complex

Let $E^\bullet$ be a perfect complex of $R$-modules (where $R$ comm. ring). So $E^\bullet$ is quasi-isomorphic to a bounded complex of finitely generated projective R-modules. Now $E^\bullet$ has ...
1
vote
1answer
46 views

Understanding the Gluing axiom of the Structure Sheaf on $Spec(R)$

Let $X = Spec(R)$ be an affine scheme for some commutative ring $R$. The structure sheaf $\mathscr{O}_{X}$ is a contravariant functor (I think) $\text{Open}(X) \leadsto \text{Ring}$ from the category ...
3
votes
1answer
34 views

How do dependent products in category theory relate to type theory?

I feel like I understand the construction of dependent product types relatively well, it makes sense to me how the introduction and elimination rules work together to create the concept of a function ...
2
votes
1answer
51 views

Can we define structures like groups or monoids in the context of pure category theory?

In a category $\mathcal C$ with terminal object $1$ and objects $A$, $B$, $C$ we have $\quad$ $A\times (B \times C) \cong (A\times B) \times C$; $\quad$ $1 \times A \cong A \cong A\times 1$; ...
2
votes
0answers
58 views

Correct definition of model category

When answering this question, In a model category, is the full subcategory of fibrant objects a reflective subcategory? I realized that I wasn't even sure what the correct definition of a model ...
9
votes
3answers
423 views

Is every monomorphism an injection?

We say a morphism is a monomorphism if $fg=fh$ implies $g=h$. So if $f$ is a monomorphism, is it necessarily an injection? i.e. $f(x)=f(y)$ implies $x=y$. My approach is to consider a specific ...
2
votes
1answer
46 views

Turning Preordered Sets into Preordered Monoids (Constructing Preordered Monoids from Preordered Sets)

Question: Referring to the Wikipedia article on Adjoint Functors in Section 2 (Motivation), they talk about "turning rngs into rings" (can be rephrased as "constructing rings from rngs"). I do not ...
1
vote
0answers
33 views

Is there a reasonable Grothendieck topology on the category of modules over a ring?

How about over a field (i.e. f.d vector spaces)? Can these categories be considered as a site?
4
votes
2answers
97 views

Does $\operatorname{Spec}$ preserve pushouts?

The spectrum-functor $$ \operatorname{Spec}: \mathbf{cRng}^{op}\to \mathbf{Set} $$ sends a (commutative unital) ring $R$ to the set $\operatorname{Spec}(R)=\{\mathfrak{p}\mid \mathfrak{p} \mbox{ is a ...
1
vote
2answers
51 views

motivation for the direct limit [closed]

I know just the very basics on Category Theory and that's why I'm going to ask a stupid question. I'm trying to get an intuition for direct limits for my course on Commutative Algebra. All the books ...
2
votes
2answers
43 views

Morphisms of a category with one object, which is a group

I've read two articles(1,2), but still have a question about structure of group, say $G$, as an one-object category. Let's call this category $C$. I understand that morphisms of $G$, which is ...
1
vote
1answer
70 views

limits' definition

Please, can somebody help me? I was given the following definition of the LIMIT: Let $I$ be a small category and $F:I \to C$ a covariant functor ( where $C$ is a category), $K \in Ob(C)$, ...
1
vote
0answers
20 views

When does the first cohomology group commute with inverse limit?

Let $M_i,i\in\mathbb{N}$ be an inverse system of continous, discrete G-modules and let $M=\varprojlim M_i$. Under what conditions on $M$ and $M_i$ do we have $\varprojlim H^1(G, M_i) \cong H^1(G, M)$? ...
0
votes
0answers
30 views

cokernel in the pointed set category $Set.$ [closed]

Please, can someone give me an example of cokernel in the pointed set category? Thanks!
2
votes
1answer
34 views

Quasicoherent sheaf on the functor of points is the same as on the scheme itself

I've seen the definition of a quasicoherent sheaf $\mathcal{F}$ on an arbitrary functor $$ X : CRing \to Sets $$ as a specification of an $R$-module $\mathcal{F}(x)$ for each $R$-point $x \in X(R)$ ...
8
votes
1answer
59 views

Is I-adic completion a ring epimorphism?

Let $R$ be a commutative ring and let $I \subset R$ be an ideal. For any $n \ge 1$, the ring homomorphism $R \rightarrow R/I^n$ is surjective, hence an epimorphism in the category of rings. What about ...
3
votes
2answers
44 views

Definition of the $\mathrm{hom}$ functor in category theory

I am going through some notes Physics, Topology, Logic and Computation: A Rosetta Stone, on category theory. We first define the opposite category: Given a category $C$, we define the opposite ...
1
vote
0answers
40 views

Frobenius-Perron dimension on a fusion category

Let $C$ be a fusion category with simple objects $V_i\in I$. The fusion rule is $V_i\otimes V_j \cong N_{i,j}^k V_k$. The Frobenius-Perron dimension of a simple object $V_i$, $\mathrm{FPdim}(i)$, is ...
4
votes
1answer
43 views

Tensor of cocomplete categories

Let $C$, $D$ and $E$ be cocomplete categories. Is there a construction $C \otimes D$ such that there is a correspondence between functors $C \otimes D \to E$ preserving colimits and functors $C ...
1
vote
0answers
32 views

an example of direct product in Ab

Can someone help me with this? Are there direct products in the category $Ab$ (the category of the abelian groups)? If yes, please, can you give me an example? Thank you?
2
votes
1answer
53 views

“Coforgetful” functors?

Let $F : \mathbf{Sets} \to \mathbf{Cat}$ be the free functor that takes the elements of a set to the objects of a discrete category. Does it has a left adjoint? Awodey (2010 p.249 ex.8) says it does, ...
5
votes
1answer
1k views

Which is the most powerful language, set theory or category theory? [closed]

As far as I know, mathematics is written based on a language which can be for example set theory or category theory. My concern is about the power of these languages. How can we realize which language ...
1
vote
2answers
80 views

Is there any comprehensive definition of the opposite category $\mathcal C^{op}$ of a category $\mathcal C$?

In the definition of the opposite category $\mathcal C^{op}$ of a category $\mathcal C$, it is said that : objects remain the same and arrows' directions are changed (that is, and arrow $f:A \to B$ in ...
0
votes
0answers
64 views

Order-Preserving Bijection $f:A\to A^*$?

Let $A$ be a well-quasi-ordered infnite set. Does there exist an order-preserving bijection $f:A\to A^*$, where $A^*$ is the free monoid over $A$ under the subword ordering? Would this subword ...
1
vote
1answer
47 views

Exactness of a right adjoint functor

Let $F: \mathcal{A} \longrightarrow \mathcal{B}$, $G: \mathcal{B} \longrightarrow \mathcal{A}$ be two additive functors between abelian categories, such that $(F, G)$ is an adjoint pair. I want to ...
10
votes
0answers
93 views

Category Theory Zoo

There are a few very useful websites when it comes to either finding a specific object with certain properties (and maybe lacking other properties) or finding out which properties a certain object ...