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
2answers
142 views

A Function as a collection of Arrows

Normally you define a function to be a map on a set. But how about defining a function, in Category Theory, as a collection of arrows? Take this cateogry Objects: true, false. Arrows: ...
3
votes
0answers
137 views

Paper, Scissors, Rock, Category Theory! [closed]

I like to understand something about Category Theory and I think "paper scissors rock" might help. Category Data Objects: paper, scissors, rock Arrows: beats ...
6
votes
1answer
106 views

Are there categorifications of prime or irreducible elements (of a ring, say)?

I'm very sorry if this is a duplicate in any way or is otherwise a stupid question. I've looked around (for quite a while) but . . . no luck. There's a categorification of what it means to be an ...
3
votes
1answer
46 views

A question about $A\times B\times C$ and $(A\times B)\times C$.

Let $\mathcal C$ be a category with products. Find a reasonable candidate for the universal property that the product $A\times B\times C$ of three objects of $\mathcal C$ ought to satisfy, and ...
3
votes
1answer
84 views

Infinite Direct Sums Vs. Infinite Direct Products

Let $|R|=|S|=\infty$. In very many concrete categories, I know $R^S$ can be identified as the set of all functions from S to R, and the much "smaller" $R^{\oplus S}$ can be identified as the subset of ...
3
votes
0answers
32 views

Motivation of Strong Monics

Strong monics are defined as: A monic $m$ is strong iff every commutative square $mu=ve$, in $E$ with $e$ epi, has a diagonal i.e. there is a morphism $t$ such that $u=te$ and $v=mt$ in $E$. (where ...
3
votes
0answers
66 views

Weil restriction - from abstract nonsense to a practical procedure

Let $L/K$ be a finite field extension. Let $X$ be a $L$-scheme, that is $\exists$ a morphism of schemes $\pi : X \to \operatorname{Spec} L$. The Weil restriction of $X$ is a $K$-scheme $W_{L/K}X$ ...
2
votes
1answer
41 views

Defining a monoidal category without elements

I am trying to generalize the notion of monoid object internal to a (not necessarily strict) monoidal category, by weakening the associativity and unitarity diagrams (see this nlab entry.) Of course ...
3
votes
3answers
122 views

Learning the topology needed for topos theory.

I have just started learning topos theory and I am going through Mac Lane and Moerdijk's book, "Sheaves in Geometry and Logic". I have, unfortunately, very little experience with topology. I started ...
0
votes
1answer
51 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
44 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
40 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
145 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
74 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
38 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 ...
3
votes
1answer
48 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
1answer
49 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
55 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
56 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
102 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 ...
8
votes
3answers
177 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
41 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
60 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 ...
2
votes
0answers
54 views

How to prove that $\mathcal{Y}_X$ is a sheaf by using epimorphic families

I'm trying to prove this: Let $(\mathcal{C}, J)$ be a site and suppose that for every $X\in ob(\mathcal{C})$ and $R\in J(X)$ the family $\{ \bar{f}_Y: \mathcal{Y}_Y\rightarrow \mathcal{Y}_X \}_{Y\in ...
4
votes
1answer
107 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
51 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
59 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
64 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 ...
6
votes
0answers
69 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
39 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
57 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
27 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
39 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 ...
5
votes
3answers
90 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
71 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
61 views

Algeraic 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
41 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
29 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
55 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
56 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
46 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
44 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
71 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
40 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
35 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
72 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+ ...
13
votes
0answers
119 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
84 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
134 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 ...