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
0answers
39 views

Exact adjoint functors of triangulated categories

Let $T$ and $S$ be triangulated categories. Let $F:T\rightarrow S$ and $G:S\rightarrow T$ be two adjoint functors. Assume that one of them is exact (i.e. sends exact triangles to exact triangles and ...
3
votes
3answers
217 views

Why does the name “epimorphism” refer to a surjective homorphism?

The wikipedia page talks about epimorphisms with category theory in mind, but I have no experience with this and ask this question from a group theory point of view (answers from any point of view are ...
6
votes
1answer
90 views

Non-injective monomorphisms

I am reading Borceux, vol. 1, I found this example at page 27: we consider the category whose object are the pairs $\langle X,x\rangle$ where $X$ is a topological space and $x$ a point of $X$ (base ...
3
votes
1answer
121 views

Is there some kind of deep relationship between substitution and recursion?

Define $\mathbb{N}$ as the initial object in the following category: Objects. Sets $X$ equipped with a function $S : X \rightarrow X$ and an element $0:X$. Morphisms. Functions that preserves ...
0
votes
0answers
27 views

Representable bifunctors

Is there a notion of representability for functors in the form $F:C^{op} \times C \to Set$? Can anyone please give me a reference? Thanks.
3
votes
1answer
48 views

Regular coimages in a finitely complete and finitely cocomplete category

According to the nLab, in a finitely complete and finitely cocomplete category $\mathcal{A}$, for every morphism $f : A \to B$ a regular coimage exists and is given by the coequalizer of $f$'s kernel ...
2
votes
1answer
36 views

Free cocompletion of thin categories

Let $C$ be a thin category. Is there a cocomplete thin category $C\to C'$ such that for every functor $C\to D$ into a cocomplete thin category there is a unique, up to isomorphism, cocontinous functor ...
4
votes
1answer
64 views

What would an infinite dimensional projective space look like as a scheme?

In topology, we can construct $\mathbb{CP}^\infty$ as the direct limit of $\cdots\rightarrow \mathbb{CP}^n \rightarrow \mathbb{CP}^{n+1}\rightarrow \cdots$ with the embedding given by $[x_0: x_1: x_2: ...
3
votes
1answer
37 views

Bounded derived category and hereditary categories

Let $\mathcal{A}$ be an abelian category with enough projectives (injectives). I tried to prove that if every element $M$ of $\mathcal{D}^{b}(\mathcal{A})$ satisfies $$ M \cong \bigoplus_{i} ...
2
votes
1answer
42 views

Extension of field homomorphisms and pullback square

Let $E/k$ and $F/k$ be two subextension of a field extension $K/k$. The following square induced by restriction functions is always pullback square (in category of sets and functions)? ...
3
votes
1answer
38 views

Lax cones for a monad

A monad $T$ on $\cal C$ is a lax functor $\mathbb T : \mathbf{1}\to\bf Cat$. The lax colimit and limit of $\mathbb T$ are the Klesili and EM categories ${\cal C}^{\mathbb T}$, ${\cal C}_{\mathbb T}$ ...
1
vote
0answers
29 views

How should automorphisms of monoid actions in $\mathbf{Rel}$ be defined?

To explain the question, I'd like to start by considering monoid actions in $\mathbf{Sets}$. In this case, a monoid action is simply a functor $S$ from a monoid $M$ to $\mathbf{Sets}$. Then, one can ...
5
votes
0answers
44 views

Transfinite composition

I am reading Chapter 10 of P.S.Hirschhorn book on model categories, and I have a question about Proposition 10.2.6. and 10.2.7. Proposition 10.2.7. gives some sufficient conditions for a map $f:P\to ...
1
vote
1answer
42 views

Characterisation of adjunction via initial object of a comma category

The following is a definition given in my lecture notes that I'm not sure is standard, so I'll write it out: Given a functor $G: \mathcal{D} \to \mathcal{C}$ and an object $x$ in $\mathcal{C}$, we ...
1
vote
1answer
69 views

Existence of some categories in the category of categories

I'm studying category of categories. I read that when there are categories $A,B$, it is allowed to define the product $A\times B$. Equalizers and coequalizers also exist. However, there are some ...
0
votes
1answer
32 views

Proofs of uniqueness up to isomorphism

I'm embarrassed about this question but here goes: Reading through the proof of Lambek's lemma (https://ncatlab.org/nlab/show/initial+algebra+of+an+endofunctor), I was stumped at the step where ...
2
votes
1answer
33 views

Is there an adjoint functor to the contravariant hom functor in the category of A-modules.

I should start by saying that I don't know any category theory. However, I am reading Atiyah-MacDonald and have just learned that in the category of A-modules (where here A is a commutative unital ...
1
vote
2answers
51 views

Morphism in category theory

Morphisms in category theory map from one object to another object. E.g. for group, object is set, right? Homomorphism is morphism. For topplogy space, object is set. Homeomorphism is morphism. My ...
1
vote
1answer
41 views

Formal Notation for Finding Inverses of Functions

Generally in most introductory university courses, finding the inverses of functions, is done in what seems to be to be a very haphazard way. Given any scalar function $f : \mathbb{R^n} \to ...
4
votes
0answers
55 views

Elegant formalism for gluing spaces over open subsets (Vakil 17.2.B.)

This question is about exercise 17.2.B. from Vakil's algebraic geometry notes. Let $X$ be a scheme. The following data is given: For each affine open set $U \subset X$ a scheme $\pi_U :Z_U \to U$. ...
3
votes
2answers
55 views

Coproduct in the category of metric spaces

While discussing categories without coproducts, we stumbled with the category $\mathbf{Met}$ that takes metric spaces as its objects and short maps as its morphisms. It is claimed that $\mathbf{Met}$ ...
1
vote
1answer
31 views

On essential surjectivity of the restriction functor

Consider the following setting: $P$ and $Q$ are two finite posets, and $i\colon P\to Q$ is a fully faithful embedding of $P$ in $Q$ (that is, $p\leq p'$ in $P$, if and only if $p\leq p'$ in $Q$). ...
1
vote
1answer
35 views

Does every surjective morphism from an uncountable into a countable monoid admit a homomorphic right inverse function

Let $M$ be a an uncountable monoid (like $\mathbb R$ with addition or multiplication) and $N$ be a countable monoid (like $\mathbb N_0$, or $\mathbb Z$ with addition or multiplication). Further ...
3
votes
1answer
32 views

Closed maps in terms of lifting properties (analogousy to formally étale morphisms)?

In continuation to this MSE question, where closed maps are characterized by "fiber thickenings", I trying to formulate this fiber thickening condition as some lifting property of $f$ against some ...
1
vote
2answers
56 views

Coproducts in Top preserved under pullbacks?

The statement which I'd like to prove is as follows. Let $A=\coprod_{i \in I} A_i$ be the coproduct of the sets $\left(A_i\right)_{i \in I}$ and suppose that we have for all $i \in I$ a pullback in ...
3
votes
1answer
79 views

Why does this exact sequence of sheaves imply the maps are $G$-equivariant?

I'm confused about something in Tamme's Introduction to Étale Cohomology (page 27). Let $G$ be a group and let $G$-$\mathsf{Set}$ denote the category of left $G$-sets with $G$-equivariant maps as ...
1
vote
0answers
31 views

What notation is usually used to denote the category of $R,S$-bimodules

I came across the notation: $\mathbf{Mod}_{(R,S)}$. But generally, when handwritten, long superscripts/subscripts are becoming clumsy. So I'm wondering whether there's an adopted alternative. Is ...
5
votes
1answer
57 views

Functor of points definition of a space modeled on a site

I'm trying to find a definition of a space modeled on a site which is: (i) plausible and natural in the context of general sites (ii) subsumes common examples. Let $(C,J)$ be a grothendieck site and ...
1
vote
1answer
77 views

Advanced examples of categories

I'm looking for some example of categories which requires some effort to prove that it is a category (For example it is straightforward to prove that $\mathbf{Set}$ is a category, I don't want that ...
3
votes
0answers
34 views

Converse to pullback pasting and local diffeomorphisms

The nlab page on local diffeomorphisms gives the following two equivalent conditions for a smoonth function to be a local diffeomorphism. The derivative is an isomorphism of tangent spaces ...
2
votes
1answer
29 views

The canonical base point for Weil algebras

Kock defines, after (16.2), the canonical base point of a small object $\operatorname{Spec}_R(W)$ to be $$\mathbf 1\overset{\operatorname{Spec}_R (\pi)}{\longrightarrow}\operatorname{Spec}_RW$$where ...
3
votes
1answer
94 views

Is there another way to describe the category $\mathbf{Top}$ of topological spaces?

The category $\mathbf{Top}_\ast$ of pointed topological spaces can be viewed as the comma category $(\bullet\downarrow\mathbf{Top})$. The objects of the category $\mathbf{Top}$ are topological spaces ...
1
vote
0answers
29 views

Localization of triangulated categories

I have been reading from the Stacks project, and Lemma 13.5.4. says: Let $F : \mathcal{D} \to \mathcal{D}'$ be an exact functor of pre-triangulated categories. Let $$ S = \{f \in ...
2
votes
1answer
34 views

Duality of diagrams for fibration and cofibration

According to May's A Concise Course in Algebraic Topology, the diagrams in the following represent cofibration and fibration, respectively if there exists an arrow diagonally (to the upper right ...
2
votes
1answer
48 views

Does this property really characterize monomorphisms?

In the post Does this property characterize monomorphisms?, I do not see how the third condition is equivalent to the others. Specifically, I require that $k_0$ and $k_1$ be isomorphisms in order that ...
1
vote
2answers
40 views

How to write the real projective plane as a pushout of a disk and the mobius strip?

I heard in topology class that the real projective plane is obtained by gluing a disk along the boundary of the mobius strip. I was wondering - how can I write this as a pushout? Also, how can I ...
1
vote
1answer
42 views

Are the components of the unit of an adjunction monomorphisms?

Looking at the list of adjunctions (in CWM) I strongly get the impression that the components $\eta_x$ of the unit $\eta$ involved are all monomorphisms. But uptil now I have missed/overlooked any ...
1
vote
0answers
38 views

Set of functions is not a bifunctor on Rel [migrated]

Let Rel be the category whose objects are sets and whose morphisms are binary relations, with composition defined by $x (S \circ R) z \Leftrightarrow (\exists y : x R y \wedge y S z)$, and identity ...
1
vote
1answer
45 views

Equivalence of definition of product in a category

I was reading Mitchel book on categories and the following observation without proof is given: A family of morphisms given by $\lbrace p_{i}:A \to A_{i} \rbrace$ is the product of $A_{i}$ if and only ...
3
votes
0answers
43 views

Intuition for the definition of a dense functor?

A functor $i:S\to C$ is dense if every object $c$ of $C$ is the vertex of the colimit of the following diagram $\varinjlim((i/c)\stackrel{\mathrm{pr}_S}{\longrightarrow} S \stackrel{i}{\to} C)$. I ...
3
votes
0answers
76 views

Where can I learn more about “topological germs”?

Definition 0. By a topological germ, I mean a pointed topological space. Whenever $X$ and $Y$ denote topological germs, by a morphism of topological germs $X \rightarrow Y$, I mean a neighbourhood ...
3
votes
0answers
52 views

What do you call the category of groups with surjections (injections)?

Take the category $Grp$ and throw out all morphisms that are not surjections. I think what's left is still a category. The composition of two surjections is surjective, and identities exist ...
3
votes
0answers
48 views

How to construct a G-extension of a category C?

Note: I'm a physicist so this will be phrased somewhat in physics language. Suppose we have a unitary modular tensor category $\mathcal{C}$. In physics language, we can think of $\mathcal{C}$ as ...
7
votes
1answer
103 views

Can these definitions of the words “problem” and “solution” be formalized, and if so, has this been done? If so, where can I learn more about it?

I had a thought. Define that: Vague Definition 0. A problem consists of: a set $X$ a set $Y$ a function $f : X \rightarrow Y$ a way $\overline{X}$ of representing the elements of $X$ ...
2
votes
0answers
40 views

What would be an arrow in category of Hilbert space?

Let $H,K$ be Hilbert spaces. Let $S$ be a Hilbert basis for $H$. (Which means that $S$ is orthogonal and the span of $S$ is dense in $H$.) For each arrow $S\rightarrow K$, there exists a unique ...
5
votes
1answer
72 views

Showing epimorphism without using the Freyd-Mitchell Embedding Theorem

In an Abelian category $\mathscr{C}$ consider a commutative diagram as follows: $$\require{AMScd}\begin{CD} 0@>>>\ker f@>\theta>>W @>{f}>> Y\\ @. @. @V{\phi}VV @|{id} \\ @. ...
4
votes
0answers
42 views

Is there a name for those concrete categories in which every subset / quotient set inherits the structure of an object in at most one way?

The following situation seems to occur a lot in abstract algebra: We have a category $\mathbf{C}$, concrete over $\mathbf{Set}$, that satisfies: For every object $Y$ of $\mathbf{C}$ and every set ...
1
vote
1answer
54 views

reference request: Category theory

I am sure that a similar question has been asked before, but I make my ideal textbook and situation more specific. I would like a textbook on category theory designed for someone who knows basically ...
1
vote
2answers
152 views

A categorical first isomorphism theorem

It is known, that for a morphism of universal algebras $f : A \to B$, if $R$ is the congruence relation given by $xRy \Leftrightarrow fx=fy$, then $\operatorname{im} f \cong A/R $. Here is an idea ...
5
votes
1answer
87 views

The bigger picture the Five Lemma fits into

The Five Lemma is a statement in category theory about certain conditions under which certain maps in exact sequences are isomorphisms. It has a few relatives like the 4 lemmas and maybe the Nine ...