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
1answer
16 views

Homotopy colimit of a 3x3

Hi I am wondering how you calculate homotopy colimits of a 3x3 diagram. In particular if we have (sorry not sure how to Tex these) Top/bottom row: * <-- * --> * Middle row: * <-- X --> ...
2
votes
1answer
29 views

Absolute coequalizers in $\mathbf {Set} $

Let $ A $ be a set and let $ R\subseteq A\times A $ be an equivalence relation on $ A $. Denote by $ p, q $ the projections $ R\longrightarrow A $ on the first and second factor, respectively. The ...
3
votes
0answers
22 views

Reference for understanding coalgebra

I am trying to read this paper, but I have no knowledge of coalgebra and have just started to learn Category Theory so I am struggling to understand it. Are there any references that can explain ...
0
votes
0answers
17 views

Definition of quotient category

Is there any reason why only gluing of morphisms sharing domain and codomain is usually allowed in the definition of quotient category?
0
votes
0answers
20 views

Defining the category of groups and center-preserving homomorphisms by a universal property; does this actually work?

Motivating Question. How can we define the category of groups and center-preserving homomorphisms by a universal property? Discussion. Given a diagram (call it Diagram 1) shaped like so, ...
1
vote
0answers
28 views

How does a section of a stack give a sheaf?

At nLab in the article constant stack and a few other related articles, a pattern is mentioned where a section of a constant sheaf is a locally constant function, a section of a constant stack is a ...
1
vote
1answer
54 views

What is $1 / \mathbf{Set}$ if $1$ is a one-element set and $\mathbf{Set}$ a category?

What does $1 / \mathbf{Set}$ denote? A pointed set is a set $X$ equipped with an element (a basepoint) $x \in X$. Let $\mathbf{Set_*}$ be the category of pointed sets and basepoint-preserving ...
0
votes
1answer
37 views

Are there any stable $(\infty,1)$-topoi?

Can a stable $(\infty,1)$-category be an $(\infty,1)$-topos?
1
vote
2answers
74 views

Category with only one object.

Suppose we have the category with only one object - the group G. Why can we think of the morphisms in this category as of the elements of the group G? I would be very grateful for explanation.
1
vote
0answers
34 views

Building a function $p : \mathcal{D} \rightarrow \mathbf{Ord}$ from a faithful functor $U : \mathcal{C} \rightarrow \mathcal{D}.$

For simplicity, I will ignore size issues in this question. Let $\mathcal{D}$ and $\mathcal{O}$ denote categories. By a function $\mathcal{D} \rightarrow \mathcal{O},$ let us mean a functor from the ...
0
votes
1answer
47 views

If for every pair of objects $a_1, a_2$ we have $fa_{1}=fa_{2}\implies ha_{1}=ha_{2}$, then $h$ factors through $f$

I've just started to explore the category theory, so my question and reasoning might be trivial... Anyway im reading Conceptual Mathemathics by Lawvere and Schanuel. There is an excersise (session 5, ...
4
votes
0answers
58 views

Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
2
votes
1answer
39 views

Reference for $F$-algebras and induction?

I've been learning about $F$-coalgebras and coinduction from this fantastic paper, which has really helped me get a feel with its many examples. I'm starting to struggle with reconciling the ...
2
votes
0answers
30 views

Category of Hilbert Spaces

Is it possible to triangulate the category of Hilbert spaces and bounded linear operators? I assume that one candidate for triangulation is the double dual space. What is a fact is that this ...
2
votes
2answers
46 views

Canonical Map in a Category with Finite Products, Coproducts and a Zero Object.

Let $C$ be a category as advertised in the title, $\left \{ A_{i} \right \}_{1\leqslant i\leqslant n}$ a finite collection of objects in $C$. Why is there then is a canonical map $f:\coprod ...
2
votes
1answer
27 views

“Structure of a measure space is the coarsest among all substantial structures on a set…”

In the book Lectures and Exercises on Functional Analysis by Helemskii I have stumbled upon the following note: The Rohlin theorem and similar results (see e.g., [19],[20]) show that the structure ...
1
vote
0answers
51 views

Somewhat Confused about Notation in Category Theory

I'm working through the exercises in "Category Theory for Computing Science" by Barr and Wells, and I'm a little confused about an early problem (though it could just come down to notation). Question ...
0
votes
0answers
29 views

In an abelian category,every morphism can be written as composition of epi and mono.

Following Weibel's book on homological algebra, he states without proof that every morphism $f\colon A \to B$ can be written as composition of an epimorphism followed by a monomorphism. After many ...
2
votes
0answers
29 views

What is the desirable function identification when setting up arrows in the category of types?

My question is which functions can not be allowed in a statically typed programming language, so that the "canonical" category is less coarse than what you get if you define it's arrows to be ...
3
votes
3answers
137 views

Has the opposite category exactly the same morphisms as the original?

This is actually a question about categories; not only about the category that I mention here specifically. I only use category $\mathsf{Rel}$ as an example. How to describe a morphism that ...
1
vote
0answers
44 views

What are the properties of the category of all categories within itself? [closed]

Let us suppose that we use something like new foundations instead of ZFC for our set theory (any set theory that allows this question to make sense would work.) This allows us to have a category of ...
0
votes
0answers
24 views

Category theoretic view of coupling measures/RVs

Here is a general definition of the word "coupling" that covers every use I've seen of it. (And this generality is necessary because sometimes one does not define a coupling on an exact product space, ...
2
votes
2answers
65 views

Homotopy direct limit versus direct limit

Let $X_1\to X_2\to \cdots$ be an infinite sequence of maps. Then, as I understand, the homotopy direct limit of this sequence is the space formed by taking the disjoint union of the $X_i\times I$ and ...
8
votes
3answers
120 views

The category of theorems and proofs

On a philosophy website, it said that you could have a category with theorems as objects and proofs as arrows. This sounds awesome, but I couldn't find anything on the web that has both "category" and ...
0
votes
1answer
38 views

manipulation of internal hom [closed]

Let $\text{hom}(-,-):\mathcal{C}^{op}\times\mathcal{C}\rightarrow\mathcal{C}$ denote the internal Hom functor associated to a closed category $\mathcal{C}$, and let $X$, $Y$, and $Z$ be objects in ...
1
vote
1answer
46 views

Standard Notation For The Set of All the Morphisms Of A Category

Let $\mathscr C$ be a category. Let $\text{Ob}(\mathscr C)$ be the set of all the objects of $\mathscr C$. Is there a standard notation for $\bigcup_{A,B\in\text{Ob}(\mathscr C)}\text{Mor}(A,B)$? ...
12
votes
1answer
209 views

Joke explanation: “a comathematician is a device for turning cotheorems into ffee”

Ok, so apparently there is an old joke (which I DO get) that says that in Hungary a mathematician is a device for turning coffee into theorems. I found a post by Qiaochu Yuan that has the following ...
3
votes
0answers
33 views

What are the algebraic and topological properties of a tree (graph theory), and what are any possible connections?

I'm a non-mathematician working with trees (mostly rooted and oriented trees). Typically, I understand them as join-semilattices, so they have an implicit algebraic structure: they form a subgroup ...
3
votes
2answers
78 views

What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?

maybe this question doesn't make sense at all. I don't know exactly the meaning of all these concepts, except the internal language of a topos (and searching on the literature is not helping at all). ...
2
votes
0answers
19 views

Does the lax Gray tensor product preserve fully faithful 2-functors?

The question is in the title. By fully faithful 2-functor, I mean 2-functors such that the maps on the hom categories are isomorphism, and by preserve, I mean in each variable. I have an argument ...
1
vote
0answers
45 views

Epimorphisms in two directions

Let $\mathcal{C}$ be a category. Consider the following statement: (S1) Whenever $A,B$ are objects and $\iota_1:A\to B$ and $\iota_2:B\to A$ are monomorphisms, then there is an isomorphism $\phi:A\to ...
6
votes
0answers
71 views

Is Category Theory geometric?

In "From a Geometrical Point of View" (http://www.amazon.com/gp/aw/d/1402093837?pc_redir=1407132421&robot_redir=1) Marquis states that category theory is thoroughly geometric. Could someone ...
1
vote
1answer
40 views

Additive, covariant functor commutes direct limits, then it commutes with direct sums?

Suppose $T:R-Mod \to R-Mod$ is an additive covariant functor that preserves direct limits. (R is commutative, unital. Noetherian if it suits you even). That is, if $(W_{\alpha})_{\alpha \in \Lambda}$ ...
5
votes
0answers
92 views

Learning roadmap to Topological Quantum Field Theories from a mathematics perspective

I want to learn TQFT's and am looking for review articles or books. My mathematics knowledge is limited to one year of graduate course in Algebra (Groups,Rings,Fields,Categories, Modules and ...
1
vote
1answer
29 views

Stacks versus sheaves with values in categories

A (small) category is a perfectly valid algebraic structure like Groups, Rings, vector spaces, groupoids etc. So on a topological space or more generally on a site, it makes perfectly sense to ...
3
votes
2answers
50 views

Help with exercise from the Category Theory Wikibook

Reading through the Category Theory Wikibook, I came across the following exercise: (Harder.) If we add another morphism to the above example, it fails to be a category. Why? Hint: think about ...
0
votes
0answers
63 views

Relation between existential and universal quantificator in category theory

Let $\mathscr C$ be a cartesian (i.e. with finite limits) category with subobject classifier $\Omega$ and generic subobject $\tau:I\to\Omega$ (here $I$ denote the terminal object). Let $f:X\to Y$ and ...
2
votes
0answers
37 views

Kernels of induced maps in cohomology

Let $k$ be a field, and let $A$ and $B$ be two commutative $k$-algebras. Suppose $\varphi,\psi:A\to B$ are maps of $k$-algebras such that there are algebra automorphisms $G:A\to A$ and $F:B\to B$ ...
1
vote
1answer
40 views

Every closed (not-necessarily symmetric) monoidal category is canonically self-enriched, right?

Here it is stated that: A closed symmetric monoidal category is canonically self-enriched. This makes sense, but I don't see why it has to be symmetric. Every closed (not-necessarily symmetric) ...
1
vote
0answers
42 views

Is this a fruitful enrichment of $R[X]$?

Let $R$ be a commutative ring. Then polynomial ring $R\left[X\right]$ can be looked at as an $R$-algebra free over a singleton. If $S$ is another $R$-algebra then for any element $s\in S$ there is a ...
1
vote
1answer
54 views

Exponential objects and hom-sets.

Let $C$ be a cartesian closed category and $X, Y$ two objects of $C$. Is it the case that $\text{Hom}(X,Y) = Y^X$?
3
votes
0answers
76 views

Showing that morphisms transforms as claimed, Borceux and enriched natural transformations.

I am having trouble following the proof given in the images below of lemma 6.3.3. More specifically, it is claimed that diagram 6.22 is equivalent to diagram 6.23, but I can't see it. Here, the object ...
2
votes
1answer
36 views

Derived Functors and nice Resolutions

Charles A. Weibel, like many other books I know, introduces the notion of (Left) dervied functros as following: "Let $\mathscr F:$$\mathscr A$$\rightarrow$$\mathscr B$ be a right exact functor ...
4
votes
1answer
43 views

“Nice proof” that the unit of the left Kan extension of $F$ is an isomorphism, if $F$ is fully faithful

Let $F: \mathbf C \to \mathbf D, G: \mathbf C \to \mathbf E$ be functors. Assume that $\mathbf C$ is small, $\mathbf D$ is locally small and $\mathbf E$ is cocomplete. Then, I can compute the left Kan ...
0
votes
2answers
42 views

A property of product category

This property of the product category states that the projections $P$ and $Q$ are "universal" among pairs of functors to $B$ and $C$. Can someone specify me exactly the sense of that assertion? I ...
0
votes
0answers
36 views

directed colimits,category,unary algebras,preservation

Are there some natural properties of mono-unary algebras NOT preserved by (omega)-directed colimits (unlike being connected,having no cycles...)? Formalization to logical formulas is not necessary.
2
votes
0answers
24 views

Map of monads and left adjoints

Let $(T,\eta,\mu)$, $(T',\eta',\mu')$ be two monads on a category $X$. Let $\theta:T\Rightarrow T'$ be a map of monads. Then, we have an induced functor $X^\theta:X^{T'}\rightarrow X^T$ (from the ...
5
votes
1answer
82 views

Category theory for knot theory

Where would I start to learn category theory for its use in knot theory? I have a background in physics and Ive read Adams Knot book. I know nothing about category theory. Eventually I want to learn ...
2
votes
1answer
49 views

Terminal objects of the category of morphisms

I'm reading Basic Category Theory for Computer Scientists by Benjamin C. Pierce and in exercice 1.4.6, he asks what the terminal objects are in $Set^\to$. Let $C$ be a category. The category ...
4
votes
1answer
85 views

Composition of bicartesian squares

A commutative square is called bicartesian when it is both pull-back and push-out. In an abelian category, consider two pull-back squares $(X)$ and $(Y)$: $$ \begin{array}{ccccc} A & ...