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)

50
votes
0answers
1k views

Is there a categorical definition of submetry?

(Updated to include effective epimorphism.) This question is prompted by the recent discussion of why analysts don't use category theory. It demonstrates what happens when an analyst tries to use ...
24
votes
0answers
523 views

Is Erdős' lemma on intersection graphs a special case of Yoneda's lemma?

Under which name is the following proposition filed actually: Every poset $P$ embeds fully and faithfully in the powerset of $P$, ordered by subset inclusion. Let me call it Dedekind's lemma. ...
22
votes
0answers
348 views

Existence of a certain functor $F:\mathrm{Grpd}\rightarrow\mathrm{Grp}$

Let $\mathrm{Grpd}$ denote the category of all groupoids. Let $\mathrm{Grp}$ denote the category of all groups. Are there functors $F\colon\mathrm{Grpd}\rightarrow \mathrm{Grp}, ...
19
votes
0answers
886 views

Is this $really$ a categorical approach to $integration$?

Here's an article by Reinhard Börger I found recently whose title and content, prima facie, seem quite exciting to me, given my misadventures lately (like this and this); it's called, "A Categorical ...
16
votes
0answers
329 views

How much set theory does the category of sets remember?

Question. Let $M$ be a model of enough set theory. Then we can form a category $\mathbf{Set}_M$ whose objects are the elements of $M$ and whose morphisms are the functions in $M$. To what extent is ...
15
votes
0answers
162 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 ...
15
votes
0answers
275 views

Kernels in $\mathbf{Top}$

There is a following well-known theorem for abelian categories (at least the ones I know, Ab, $R$-mod and so on... not so familiar with categorical language to be honest) which states the following : ...
13
votes
0answers
210 views

Cantor-Schröder-Bernstein without elements

The Cantor-Schröder-Bernstein Theorem for the category of sets has several "analogues" for other categories as well, for example measurable spaces and operator algebras (but not for arbitrary ...
13
votes
0answers
282 views

Closed model categories in the sense of Quillen [1969] vs the modern sense

The modern definition of (closed) model category differs in two ways from Quillen's 1969 definition: Model categories are now required to be complete and cocomplete, whereas Quillen only asked for ...
13
votes
0answers
241 views

What limits do commute with pushouts in Set?

I know of the following two colimit/limit commutation results in the category of sets: Products commute with sifted colimits and finite limits commute with filtered colimits. Does someone know ...
12
votes
0answers
135 views

How to name these “ideals”?

Background. Let $\mathcal{C}$ be a symmetric monoidal category with unit $\mathbf{1}$. A subobject of $\mathbf{1}$ is just a monomorphism $I \to \mathbf{1}$. We may also call this an ideal of ...
11
votes
0answers
210 views

Textbooks on higher category theory

What textbooks on higher category theory are there? What books do you recommend? I am looking for self-contained introductions, no research reports. There are lots of informal summaries and arXiv ...
11
votes
0answers
158 views

Cogroup structures on the profinite completion of the integers

Let $\mathsf{ProFinGrp}$ be the category of profinite groups (with continuous homomorphisms). This is equivalent to the Pro-category of $\mathsf{FinGrp}$. Notice that $\widehat{\mathbb{Z}} = ...
11
votes
0answers
247 views

What properties are preserved under a measurable mapping?

Although in an abstract category the morphisms are not explicitly defined, in a concrete example (model theory?), morphisms are (always/usually?) mappings that preserve some properties. In the ...
10
votes
0answers
240 views

Transfinite horizontal composition

Suppose that you have two sequences $\{F_n\}$ and $\{G_n\}$ of endofunctors of $\bf A$ arising as strings of adjoints $\cdots\dashv F_{n-1}\dashv F_n\dashv F_{n+1}\dashv \cdots$, $\cdots\dashv ...
10
votes
0answers
135 views

Free medial magmas

A medial magma is a set $M$ with a binary relation $*$ satisfying $(a*b)*(c*d) = (a*c)*(b*d)$. Medial magmas constitute an algebraic category $\mathsf{Med}$, therefore there is a functor $\mathsf{Set} ...
9
votes
0answers
147 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 ...
8
votes
0answers
130 views

Whether a functor is exact?

I am stuck with exercise $1$ of section $3$ of chapter $1$ in the book Cohomology of number fields by Neukirch. The exercise is to show that the functor from $A \rightarrow C^n(G,A)$ is exact, where ...
8
votes
0answers
89 views

Non-Universal Delta Functors

Recall a delta functor on an abelian category is a collection of functors $H^n$, $n \ge 0$ and connecting homomorphisms associated to each short exact sequence so that we get a corresponding long ...
8
votes
0answers
132 views

Uniform Spaces: Completeness

Attention This thread has been generalized to uniform spaces as general metric spaces. Context The context was the equivalence: $$K\text{ compact}\iff K\text{ totally bounded, complete}$$ That is a ...
8
votes
0answers
136 views

Galois Group of Composite Field vs. Second Isomorphism Theorem

$\DeclareMathOperator{\Gal}{Gal}$ In my abstract algebra class, we learned about how Galois groups interact with composite fields. Namely, if $K/F$ is Galois, and $L/F$ is any extension: $$\Gal(KL/L) ...
8
votes
0answers
178 views

Functoriality of the correspondence between oligomorphic actions and $\aleph_0$-categorical theories

If a group $G$ acts on a set $X$, then the action is said to be oligomorphic if the number of orbits of $X^n$ under the action is finite for each $n$. There is a classic theorem in model theory that ...
8
votes
0answers
217 views

Morita-invariance of Hochschild (co)homology.

Ok, I'm reading this paper by Christian Kassel on associative algebras and Hochschild (co)homology and on page 19 he says that Hochschild homology is Morita-invariant, by which he means that if $R$ ...
7
votes
0answers
52 views

What categorical property do these forgetful functors have in common?

Consider the following examples: The forgetful functor $U_1: \operatorname{Vect}_\mathbb{C} \to \operatorname{Vect}_\mathbb{R}$ The forgetful functor $U_2: \operatorname{Diff}^{\text{or}} \to ...
7
votes
0answers
157 views

A More Advanced Version Of Aluffi

Paulo Aluffi's Book, Algebra, Chapter 0 aims to teach basic algebra from a categorical viewpoint. The first chapters of the book, however, introduce groups and rings using very basic categorical ...
7
votes
0answers
196 views

Has category theory solved major math problems?

All: I am new to category theory. Just wonder if category theory has solved any major math problems for other mathematics fields? or what are the major applications of the category theory ? ...
7
votes
0answers
133 views

Is there such a thing as 'overtification' (dual to compactification)?

The dual to the notion of compactness for spaces is overtness. This duality is not manifest in the category of spaces but rather in the quantifiers used to define these notions. Is there a process ...
7
votes
0answers
105 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 ...
7
votes
0answers
112 views

Equivalence of categories of directed complete posets

In the book ``Domains and Lambda-Calculi'' by Amadio and Curien, there is the following exercise: Define an equivalence between the category of partial morphisms generated by $(\mathcal{M}_S, ...
7
votes
0answers
107 views

Flabby sheaf comonad

If one Googles sufficiently hard one finds the statement that Roger Godement gives the first example of a comonad, used to compute flabby resolutions of sheaves, in his monograph "Topologie algébrique ...
7
votes
0answers
199 views

What does category theory say about chains of set inclusions $\dots\in c\in b\in a$?

I'm currently trying to understand to what extend a set theory like ZFC can be mirrored within category theory, i.e. topos theory. What appears as an obstacle to me is the axiom of regularity, which ...
7
votes
0answers
154 views

French translation of “well-powered” category

In order to write a report, I'm looking for a French translation of the term "well-powered category". Does anyone know the canonical term in French?
7
votes
0answers
215 views

Limits and colimits in the category of fields

It is said that the category of fields $\mathsf{Fld}$ is ill-behaved, for example it is not an algebraic theory, does not have initial or terminal objects. In particular it is not presentable. On the ...
7
votes
0answers
419 views

Is there a theory that combines category theory/abstract algebra and computational complexity?

Category theory and abstract algebra deal with the way functions can be combined with other functions. Complexity theory deals with how hard a function is to compute. It's weird to me that I haven't ...
7
votes
0answers
166 views

Question about definition of $\mathrm{Ext}$

One can define $\mathrm{Ext}^n(M,N)$ (where $M,N$ are $R$-modules) in two ways, either by taking an injective resolution of $N$ and applying $\mathrm{Hom}(M,-)$or by taking a projective resolution and ...
7
votes
0answers
262 views

Is there an abelian cat of topological groups?

There are lots of reasons why the category of topological abelian groups (i.e. internal abelian groups in $\bf Top$) is not an abelian category. So i'm wondering: Is there a "suitably well ...
7
votes
0answers
178 views

$(\mbox{Sh,Sh-map})$ represents the category of sheaves on a stack

I'm trying to understand the following theorem, and I think I don't understand the definitions. Let $(\mathcal{C},J)$ be a site (with a subcanonical topology). Write $\mathcal{C}/X$ for the groupoid ...
6
votes
0answers
61 views

What are the universally effective epimorphisms of topological spaces?

An effective epimorphism in a category is a morphism that is the coequaliser of its kernel pair, and a universally effective epimorphism is a morphism $f : X \to Y$ such that, for every pullback ...
6
votes
0answers
58 views

Heyting algebras and infinite distributive law

I want to prove that "a complete lattice satisfies the infinite distributive law $a\wedge(\vee{S})=\vee\{a\wedge s|s\in S\}$ iff it is a Heyting algebra". I proved "if" part but can't "only if" part. ...
6
votes
0answers
80 views

Symmetric Algebra and Extension of Scalars

I am reading Gortz and Wedhorn's Algebraic Geometry. In their section on the symmetric algebra they explain the adjoint situation $$ \mathrm{Sym}_A \dashv i_A\colon \mathrm{Alg}(A)\to ...
6
votes
0answers
82 views

When are all ring homomorphisms also algebra homomorphisms?

Let $k$ be an algebraically closed field, and let $A,B$ be two unitary $k$-algebras. In general, there are more ring homomorphisms $A\to B$ than there are $k$-algebra homomorphisms. More precisely, ...
6
votes
0answers
50 views

Closed Monoidal Structures On The Category Of Complete Topological Vector Spaces

Context: The category of Banach spaces, with the projective tensor product is a closed monoidal category. Question 1: Is there a tensor product on the category of complete topological vector spaces, ...
6
votes
0answers
71 views

Best approximation to an adjoint functor

I have the following question. Suppose I have a functor $F\colon C\to D$ between two categories. I would like it to have an adjoint (say, right), but it doesn't. Is there a way to define a "best ...
6
votes
0answers
170 views

A question about co-exponentials

An exponential object $B^{A}$ is defined to be the representing object of the functor $$\mathcal{C}\left(- \times A,B\right): \mathcal{C} \rightarrow Set$$ or equivalently, as the terminal object of ...
6
votes
0answers
102 views

On locally small category

Maybe this is a very trivial question for those who are familiar with Set theory. Let $C$ be a category, and $\hat{C}$ be its presheaves. I hear that if both $C$ and $\hat{C}$ are locally small, ...
6
votes
0answers
221 views

Free Graded Commutative Algebra on a Graded Vector Space

Let $V$ be a graded vector space, thought of as a collection $\{ V^n \}_{n \ge 0}$ of vector spaces. Let $V_{odd} = \bigoplus_{n \text{ odd}} V^n$ and $V_{even} = \bigoplus_{n \text{ even}} V^n$. I am ...
6
votes
0answers
142 views

Universal property of $N\rtimes K$

Given groups $N$ and $K$, if $K$ acts on $N$ by \begin{equation} K\xrightarrow{\theta}\operatorname{Aut_{Grp}}(N), \end{equation} then we can define a group $N\rtimes_{\theta}K$ whose elements are ...
6
votes
0answers
297 views

Foundation for category theory

Before a little premise: It's well known that we can internalize the notion of category, functor and natural transformation in any category with enough structure: for instance we can define what an ...
6
votes
0answers
167 views

Mnemonic device for relationships between Hom and Tensor

Probably this is a stupid question, but nevertheless... Let $A$, $B$, $C$ and $D$ be rings, and $M$, $N$ and $K$ be appropriate bimodules between them. There are extremely well-known canonical ...
6
votes
0answers
229 views

Do probability distributions form a comonad?

$\def\unit{{\rm unit}}\def\join{{\rm join}}$It's well known that (discrete) probability distributions form a monad. Specifically, if we let $PX$ be the set of discrete probability distributions on ...