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)

0
votes
1answer
58 views

A question regarding $Hom(X,X)$ (or $Mor(X,X)$)

I refer to Rankeya's answer on this question. Shouldn't $Mor(X,X)$ consist of monomorphisms only, for each morphism to have an inverse?
1
vote
1answer
60 views

A question about the category Grp

This is a question about the category Grp (groups). The book "Chapter 0" by Aluffi says that the objects of the category are groups, and the morphisms homomorphisms. He then says that we need not ...
1
vote
1answer
44 views

Set maps given by a polynomial & Yoneda Lemma

This Exercise 4.1. from the book Algebraic Geometry I, by Gortz. Problem Let $R$ be a ring, and for every $R$-algebra $A$ let $\alpha_A:A\rightarrow A$ be a map of sets such that for every ...
1
vote
0answers
180 views

Adjoint action of semi-direct product

Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions $\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
5
votes
1answer
91 views

Is there way to formalize the idea that a category can be “cocomplete from the inside”?

Let $\mathrm{KSet}$ denote the category of all countable sets, including the finite ones. Then $\mathrm{KSet}$ is finitely complete. Furthermore, $\mathrm{KSet}$ admits all countable colimits, or, ...
0
votes
1answer
57 views

Left & right adjoints in the context of complete lattices.

This is a follow-up question from this question of mine. In the same paper as the one mentioned in my previous post, it's stated that In the context of complete lattices, a monotone map has a ...
4
votes
1answer
101 views

How do you construct the lifted topology of a groupoid cover?

If I have a particularly nice space $X$ (Hausdorf, locally path connected, semi-locally 1-connected, I think), then then there is an equivalence of categories between the cover category over $X$ and ...
1
vote
2answers
97 views

Left & right adjoints in the context of posets.

Definition 1: A function $\theta: X\to Y$ between posets is monotone if whenever $x\le y$, we have $\theta (x)\le\theta (y)$. Definition 2: For any pair $f:A\to B$ and $g:B\to A$ of monotone maps, we ...
0
votes
2answers
69 views

If $g$ and $fg$ are isomorphisms, then so is $f$.

Let's say you have a category, and you are looking at two arrows, $f$ and $g$, such that $fg$ is defined. You know that $g$ and $fg$ are isomorphisms, meaning there are arrows that are both their ...
2
votes
1answer
83 views

Coarse moduli space and rational points

Let $K$ be a field (not necessarily algraically closed). Let $\mathcal{F}$ be a contravariant functor from the category of schemes over $K$ to sets and $M$ be a coase moduli space for the functor. So, ...
1
vote
1answer
118 views

Is there any relevance between Boolean Algebras and Fields?

In some sense Boolean Algebras and Fields have same operators and constants. In both structures there are operators addition ($+$ , $\vee$), multiplication ($\times$ , $\wedge$), inverse with respect ...
11
votes
3answers
427 views

Abstract nonsense proof

What is a simple example of an "abstract nonsense" proof in category theory. For a theorem you are proving, it doesn't matter if the category or regular proof came first, it is just that the category ...
1
vote
1answer
70 views

Rig categories concept which is equivalent to monoid concept in monoidal categories

In monoidal categories, there is a notion of monoid. Is there an "equivalent" concept in rig categories (i.e., categories with two monoidal structures which are related like + and * in a rig)?
2
votes
3answers
73 views

When are two morphisms the same?

Let $\mathcal{C}$ be a category and let $f,g:A\to B$ be two morphisms in $\mathcal{C}$. If for all $a\in A$ we have $f(a)=g(a)$, do we necessarily have $f=g$? Of course such a situation can make sense ...
5
votes
1answer
192 views

Is $ L^{\infty} $ a direct limit or inverse limit of the directed system $ (L^p , i_{p}^q )_{p,q \in [1 , + \infty [ } $?

Let $X$ be a finite measure space. Then, for any $ 1≤p<q≤+∞ $ : $ L^q(X,B,m)⊂L^p(X,B,m) $. I would like to know if the space $ L^{\infty} ( X , B , m ) $ is the direct limit or the inverse limit of ...
2
votes
1answer
73 views

Action of the functor Ext$_1(-,-)$ on extensions

Suppose we have an exact sequence of $R$-modules \begin{array}{ccccccccc} 0 & \longrightarrow & L & \overset{f}{\longrightarrow} & M & \overset{g}{\longrightarrow} & E & ...
2
votes
1answer
71 views

Uniqueness of the Comparison Functor

Suppose $F:C\rightarrow D$ and that $F\dashv U$ is an adjunction and $C^{T}$ the Eilenberg–Moore category for the monad $T=U◦F$, with the corresponding functors $F^{T}:C\rightarrow C^{T}$ and ...
1
vote
1answer
94 views

Typed Category Theory?

This small book (or long paper) describes objects and morphisims in a cateogry as having types. He also talks about pre-categories as categories with typeless objects and morphisims. While I am ...
7
votes
0answers
128 views

Origins of the name “Q” and “R” for cofibrant and fibrant replacement functors.

In a model category $\mathscr M$ (in the modern sense, i.e. closed and with functorial factorizations), there is a notion of fibrant and cofibrant replacement functors. Specifically, for any object ...
3
votes
1answer
59 views

Quasi-isomorphisms not localizing in Kom(A)

I've been reading up on the construction of derived categories. I understand why we prefer localizing with respect to a localizing class of morphisms (to get a nice representation of morphisms as ...
2
votes
1answer
70 views

An equivalence of categories of presheaves.

Let $C$ and $D$ be two small categories. Consider the corresponding categories of presheaves $PSh(C)$ and $PSh(D)$. Suppose we have an equivalence of categories $F: PSh(C) \to PSh(D)$. Asking for an ...
2
votes
1answer
31 views

Is the class of principal $G$-bundles over $M$ a set?

Let $G$ be a Lie group and $M$ a manifold. Question: Is the class of principal $G$-bundles over $M$ a set? This question came up when I was thinking about the classifying stack of $G$. It is the ...
3
votes
1answer
55 views

Definition of subobject

In the definition of subobject there is an equivalence relation defined on monomorphisms into a fixed codomain. My question is that how do we know that the collection of monomorphisms into a fixed ...
6
votes
3answers
205 views

Types, Sets and Categories

I am learning Category Theory and at first I just pictured a category like a class in object oriented programming: type definition + methods (morphisms). However the author I am reading uses maps ...
7
votes
1answer
110 views

Center of the categories $\mathbf{Grp}$ and $\mathbf{Ab}$.

This is Exercise II.5.8 from Mac Lane, Categories for the Working Mathematician. For the identity functor $I_C$ of any category, the natural transformations $\alpha:I_C\dot{\to}I_C$ form a ...
2
votes
0answers
238 views

Algebraic theory and definition of multiplication: tensor product v.s. Cartesian product

In a monoidal category, one can define multiplication on a object $M$ as a morphism \begin{equation} M\otimes M\longrightarrow M, \end{equation} or a morphism \begin{equation} M\times ...
1
vote
0answers
62 views

What is the opposite of category of schemes

The category of schemes sits between $Aff=CRing^\text{op}$ and its free cocompletion $\hom(Aff^\text{op},Sets)$, as the locally representable functors. Dualizing, we have $CRing\subseteq ...
1
vote
1answer
35 views

Coproduct of $(0,1)$-Algebras

I am trying to find the coproduct of $(\mathbb {Z},0,+1) $ with itself in the category of $(0,1) $-Algebras. Finding $\mathbb {N}\sqcup\mathbb {N} $ was easy, since $\mathbb{N} $ is initial. But I ...
1
vote
1answer
150 views

Pushout of an injective map is injective

This is an exercise from Rotman , Introduction to homological algebra. Given a pushout diagram in $R$-Mod $$\begin{array} AA & \stackrel{g}{\longrightarrow} & C \\ \downarrow{f} & & ...
3
votes
0answers
60 views

Topological characterisations of freeness and separability?

According to wikipedia, a spectral space is defined to be homeomorphic to the spectrum of some commutative ring. They form a category $Spec$ where we take morphisms to be those whose preimage of open ...
4
votes
0answers
68 views

Closure operators and complete lattices.

A closure operator on a set $A$ is a function $C: \mathcal{P}(A) \to \mathcal{P}(A)$ satisfying following axioms: $X ⊆ Y \implies C(X) ⊆ C(Y)$ $X ⊆ C(X)$ It may also satisfy some additional ...
2
votes
1answer
49 views

Algebraic Compact manifold originates from a proper scheme?

If $M$ is a compact complex manifold, which is the analytification of some scheme $X$ of finite type over $\operatorname{Spec}(\mathbb{C})$, then must $X$ be proper over ...
1
vote
0answers
28 views

Is $\operatorname{Fib}(B)$ cartesian closed when $B$ is?

Is the ($2$-)category $\operatorname{Fib}(B)$ of fibrations over $B$ cartesian closed whenever $B$ is? If not, are there some restrictions that would make it so? For example, consider restricting to ...
3
votes
1answer
93 views

Colimit of the sequence $X\to FX\to FFX\to\dots$

I'm interested in saying something about the colimit $$ T_F(X):=\varinjlim\Big(X\to FX\to FFX\to\dots\Big) $$ taken starting from a pointed endofunctor $F\colon\cal C\to C$; fiddling a little with ...
0
votes
1answer
50 views

Is the topology on the tangent bundle initial wrt projection map to the base manifold?

Given a manifold $M$, and the tangent bundle over it: $\pi:TM\rightarrow M$; is it correct to say that the topology on $TM$ is the intial one induced by the projection map $\pi$?
0
votes
1answer
64 views

Applying an additive covariant functor to a sequence

Let $F$ be an additive covariant functor and $0→A_1→A_1⊕A_2→A_2→0$ be the usual exact sequence in the category of $R$-modules with the first map injection on the first, and the second map the ...
2
votes
1answer
91 views

Newbie into categorical proofs

Let $$ F:Mod_A \to Mod_B $$ an aditive , exact and covariant functor and $$ M ∈ Mod_A $$ and $$M_1 , M_2 $$ submodules of M . Show that $$ F( M_1\cap M_2)=F(M_1)\cap F(M_2 ) $$ $$ F( M_1+ ...
16
votes
0answers
177 views

Semirings induced by symmetric monoidal categories with finite coproducts

A symmetric monoidal category with finite coproducts is by definition a symmetric monoidal category $(\mathcal{C},\otimes,1,\dotsc)$ such that the underlying category $\mathcal{C}$ has finite ...
2
votes
2answers
113 views

What's the name of a morphism the morphism category of the category of categories?

Let $Cat$ be the category of categories, then its morphism category consists of functors as objects and morphism between functors as morphisms. If we restrict to the case where the two functors ...
11
votes
2answers
192 views

Is there a concept of a “free Hilbert space on a set”?

I am looking for a "good" definition of a Hilbert space with a distinct orthonormal basis (in the Hilbert space sense) such that each basis element corresponds to an element of a given set $X$. Before ...
5
votes
1answer
116 views

Which mathematical structures are particular cases of small categories?

In what follows, all categories are assumed to be small (classes of objects and morphisms are sets). Which mathematical structures $X$ can be seen as particular cases of small categories ...
1
vote
0answers
121 views

n-globular sets and n-categories

Is the forgetfull functor between the category of n-categories and the category of n-globular sets always monadic? It's seems so, but, in nLab, they are talking only about "2-globular sets and ...
2
votes
0answers
150 views

What are the prerequisites for reading SGA 1?

My question concerns, basically, scheme theory. If there is someone who has actually read SGA 1, I would really like to hear what their opinion is on that. For example, is EGA in its entirety a ...
4
votes
2answers
192 views

Examples of useful Category theory results?

I'm layman to Category theory. Trying to understand it, I just read a bit briefing on it and wiki pages of Category, Functor, Morphism. However I still could not see the merits of it. Category ...
3
votes
2answers
237 views

Category with no product?

Is there a family of objects in some category which has no product? If so is there a simple reason for it?
5
votes
1answer
96 views

Category Cat and set theory

My doubt is simple. I have some possible foundations for category theory. If i'm doing category with NBG as a foundation, and if i define Cat as the category of all small categories i have in ...
9
votes
1answer
183 views

How to construct a quasi-category from a category with weak equivalences?

Let $(\mathcal{C},W)$ be a pair with $\mathcal{C}$ a category and $W$ a wide (containing all objects) subcategory. Such a pair represents an $(\infty,1)$-category. One model for such gadgets is a ...
8
votes
2answers
451 views

Trying to understand the use of the “word” pullback/pushforward.

Essentially, my question is the following : Is everything we call "pullback" or "pushforward" an actual categorical pullback/pushout? I have seen tons of pullbacks in differential geometry but we ...
4
votes
1answer
182 views

Compact subsets of an inverse limit of topological spaces

Denote by $\mathcal C(X)$ be the space of compact subsets of a topological space X. Let $(X_\alpha)_\alpha$ be an inverse system of topological spaces, then $(\mathcal C(X_\alpha))_\alpha$ is also an ...
6
votes
3answers
234 views

Why is the 'mapping space' between two objects in a quasi-category a Kan complex?

Let $X$ be a quasi-category. (i.e. a simplicial set satisfying the weak Kan extension condition). Given two 'objects' $a,b\in X_0$ in $X$, one defines the mapping space $X(a,b)$ to be the pullback of ...