Categories and functors, universal properties, algebras and algebraic theories, topoi, enriched and internal categories, structured categories (abelian, monoidal, etc), higher categories.

learn more… | top users | synonyms

18
votes
5answers
1k views

What's special about the Simplex category?

I have been wondering lately what makes simplicial sets 'tick'. Edited The category $\Delta$can be viewed as the category of standard $n$-simplices and order preserving simplicial maps. The goal of ...
7
votes
1answer
162 views

Do coherent toposes descend along open surjection?

Let $f:\mathcal{L} \rightarrow \mathcal{S}$ be a geometric morphism between two toposes. Let $g:\mathcal{T}\rightarrow \mathcal{S}$ be an open surjection (of toposes) and assume that the map ...
2
votes
0answers
65 views

Modules over an Azumaya algebra and modules over the associated Brauer-Severi variety

Assume $\mathcal{A}$ is an Azumaya algebra of rank $r^2$ on a smooth projective scheme $Y$ over $\mathbb{C}$. Let $f: X\rightarrow Y$ be the Brauer-Severi variety associated to $\mathcal{A}$. I read ...
4
votes
0answers
102 views

6j symbols with Majorana indices

The Levin-Wen model is a Hamiltonian formulation of Turaev-Viro (2 + 1)d TQFTs. It can be constructed from a unitary fusion category $\mathcal{C}$, which can be equivalently defined using $6j$ ...
7
votes
3answers
613 views

Category theory for Algebraic Geometry

How much of category theory should I know to view schemes, sheaves and cohomology concepts as concrete cases of abstract categorical concepts? Is there a textbook of category theory for AG people?
-3
votes
0answers
152 views

A question about Category Theory [on hold]

The Review of Symbolic Logic for June 2015 contains an article by Michael Ernst, in which it is proved that Unlimited Category Theory (as defined by S. Feferman) is inconsistent. This seems to me to ...
12
votes
1answer
269 views
+50

Which sequential colimits commute with pullbacks in the category of topological spaces?

This question was asked on math.stackexchange.com without a reaction. Given diagrams of topological spaces $$X_0\rightarrow X_1\rightarrow\ldots$$ $$Y_0\rightarrow Y_1\rightarrow\ldots$$ ...
2
votes
0answers
36 views

Does the $D$-property have universal objects?

A space $(X,\tau)$ is called a $D$-space if whenever one is given a neighborhood $N(x)$ of $x$ for each $x\in X$, then there is a closed discrete subset $D\subseteq X$ such that $\{N(x): x\in D\}$ ...
2
votes
0answers
106 views

Can such categorical notion of action be formalized?

I'm wondering if it's possible to find an universal construction for a general concept of action for (single-sorted?) finite product sketches, such that one of those is "acting" on the second in the ...
4
votes
1answer
111 views

Kan extensions of pseudofunctors

Can anyone suggest a reference for (left) Kan extensions of pseudofunctors? In particular, say we are given bicategories $\mathscr{A,B,C}$ and pseudo functors $\mathscr A \xrightarrow{G} \mathscr ...
1
vote
0answers
80 views

Category-theoretic characterization of zero-dimensional spaces

Some background: a zero-dimensional space is one admitting a basis of clopen sets, whereas an extremely disconnected space is one where the closures of open sets are open. In the category CHauss of ...
5
votes
2answers
528 views

Is assigning the endomorphism object in some sense functorial?

Let $\mathcal V$ be a monoidal category and let $\mathcal C$ be a $\mathcal V$-category. Let's denote the $\mathcal V$-valued hom-functor $[-,-]$. Now for every object $X\in\mathcal C$ we have it's ...
14
votes
3answers
360 views

Brouwer's theorem for the Cauchy reals

Brouwer famously proved, using principles motivated by intuitionistic choice sequences, that every function $\mathbb{R}\to \mathbb{R}$ is continuous. In Sheaves in geometry and logic (section VI.9), ...
5
votes
2answers
329 views

Is the box product of morphisms associative?

Suppose $(C,\otimes)$ is a symmetric monoidal finitely-cocomplete category such that $\otimes$ preserves colimits. Given two morphisms $a:A_1\to A_2$ and $b:B_1\to B_2$, define $a\Box b$ to be the ...
33
votes
2answers
790 views

The formal p-adic numbers

The real numbers can be defined in two ways (well, more than two, but let's stick to these for now): as the Cauchy completion of the metric space $\mathbb{Q}$ with its usual absolute value, or as the ...
12
votes
2answers
448 views

Classifying spaces for enriched categories

Is there a standard construction of a classifying space $BC$ for a category $C$ which is enriched which takes into account the enrichment? This is of course vague... The simplest example I can think ...
8
votes
1answer
213 views

Why do the model structures on dg-algebras and on dg-categories are not compatible?

First we talk about dg-algebras. According to this n-lab page, we write $dgAlg$ for the category of cochain dg-algebras in non-negative degree over a field $k$ of characteristic $0$. Write ...
16
votes
0answers
514 views

A Linear Order from AP Calculus

In teaching my calculus students about limits and function domination, we ran into the class of functions $$\Theta=\{x^\alpha (\ln{x})^\beta\}_{(\alpha,\beta)\in\mathbb{R}^2}$$ Suppose we say that ...
4
votes
1answer
197 views

The “$\infty$”-column in the periodic table of n-categories

A monoid is the same as a category with a single object. A monoidal category is the same as a bi-category with a single object. A commutative monoid is the same as a bi-category with a single object ...
2
votes
0answers
95 views

About a (new?) definition of transformation (anti.transformation) as a link between natural and dinatural transformations

This is not a hard topic, but I post here as "reference request" or because elementary aspects (but not previously vocalized) can be interesting too for researchers. Given $F: \mathscr{A}\to ...
3
votes
0answers
56 views

Natural transformations of $A_\infty$-functors (between dg-categories) are “directed homotopies” (reference?)

Let $\mathbf A$ and $\mathbf B$ be dg-categories over a field, viewed as $A_\infty$-categories. The $A_\infty$-category (actually, dg-category) of strictly unital $A_\infty$-functors $\mathbf A \to ...
7
votes
1answer
190 views

Rectifying the definition of a closed category

The definition of a closed category I'm using is here. Suppose $V$ is a closed category and that for each object $b\in V$, $[b,-]$ has a left adjoint $- \otimes b$. The result is nearly a monoidal ...
0
votes
0answers
49 views

Generating a series representation for the inverse of the operator $f(f)$

I was considering the following problem: Suppose you are given a function $u: C \rightarrow C$, find a function $g$ such that $g(g) = u$ (Let's assume that such a function exists). And by "find", I ...
3
votes
0answers
88 views

Does this notion of “$\mathcal{F}$-digraph” appear in the literature?

By a digraph, I mean a quiver with no multiple edges. So in particular: Loops are okay. An infinite set of vertexes is okay. Furthermore, I will tend to identify each digraph with its underlying ...
4
votes
2answers
256 views

Algebras for probability monad

What is the Eilenberg-Moore category for the non-finitary probability distribution monad is, that is, the monad $D \colon \mathbf{Set} \to \mathbf{Set}$ defined by $$ DX = \left\{ p \in [0,1]^X \ ...
17
votes
2answers
2k views

What is known about the category of monads on Set?

Monads on the category Set of sets and functions are somehow fundamental objects of category theory, and moreover they have important applications to computer science. We know of a good number of ...
4
votes
2answers
273 views

Categories of finite objects

In my experience, category theory is very successful at providing powerful machinery to reason about large objects or objects unrestricted in size, for example (logical) models (via accessible ...
-1
votes
1answer
70 views

Categorical product of graphs and chromatic number

Let $(G_i)_{i\in I}$ denote a family of simple, undirected graphs (finite or infinite). Let $\prod_{i\in I}G_i$ denote their categorical product. Why do we have the inequality $$\chi(\prod_{i\in ...
8
votes
2answers
364 views

Strategies for proving a category is Noetherian?

Let $C$ be a small linear category over a commutative ring $R$. A representation of $C$ is an $R$-linear functor $C \to \mathrm{Mod}(R)$. For example, for each $c\in C$, there is a representation ...
13
votes
4answers
998 views

2-TQFT are to Frobenius Algebras as ??? are to Hopf Algebras

The question arose this morning during a seminar about HAs. In a few words: can the equivalence $2-TQFT_k \leftrightarrow Frob_k$ be "modified" in a sensible way to give a similar one between the ...
2
votes
1answer
78 views

Model structures on diagrams indexed by a Reedy category

I'm interested in the way to put a model structure on the category of functors $F : P^{op} \rightarrow Ch(\mathbf{k})$ where $\mathbf{k}$ is a field of characteristic zero, $Ch(\mathbf{k})$ the ...
17
votes
4answers
744 views

Varieties where every algebra is free

I'd like to know more about varieties (in the sense of universal algebra) where every algebra is free. Another way to state the condition is that the comparison functor from the Kleisli category to ...
3
votes
1answer
243 views

Determining a scheme $X$ is affine from $Qcoh(X)$

My question is a subquestion of this question. And a repost from this MSE question. The settings is the following. Let $X$ be a scheme. Assume that the adjunction in TAG01BH of the stacks project is ...
11
votes
1answer
343 views

Why does this setting imply that a category is Grothendieck?

I came across the following Lemma in Mitsuyasu Hashimoto's Equivariant Twisted Inverses; it is Lemma 11.2 on page 107 of this pdf. Let $\mathcal{A}$ be an abelian category which satisfies the (AB3) ...
4
votes
1answer
251 views

Homotopy theory of acyclic categories

Homotopy theory of category of posets is well-developed and explained in various places. My interest is in acyclic categories. Recall that in acyclic categories only invertible morphisms are the ...
10
votes
2answers
530 views

What's a good introduction to category theory for someone doing analysis?

I do functional analysis, and diagrams are popping all over the place. It is about time I learned me some category theory. Any recommendations?
2
votes
0answers
94 views

Generalizing disjointness

The following definition generalizes set-theoretic disjointess: Definition 0. (Autonomy). Given a Lawvere theory $\mathsf{T}$, a $\mathsf{T}$-algebra $X$, and an indexed family $S$ of subalgebras ...
0
votes
1answer
87 views

Yetter-Drinfeld modules as rigid category

I'm reading a proof of the following theorem If $H$ is a Hopf algebra with invertible antipode then Yetter-Drinfeld modules of finite dimension form a rigid category. In this proof we define ...
1
vote
1answer
84 views

How to define the internal hom between presheaves valued in cotensored categories?

First let $\mathcal{V}$ be a closed symmetric monoidal category and $\mathcal{M}$ be a category enriched over $\mathcal{V}$. Moreover we assume $\mathcal{M}$ is cotensored, or powered over ...
4
votes
0answers
144 views

Schwede-Shipley theorem for monoidal categories?

The Schwede-Shipley theorem gives a criterion for a presentable stable $\infty$-category to be the category of modules over an $\mathcal{E}_1$-algebra. Is there any similar criterion for a monoidal ...
9
votes
1answer
257 views

Adding inverses to a symmetric monoidal category (Reference?)

As we all know, the forgetful functor $\mathsf{Ab} \to \mathsf{CMon}$ from abelian groups to commutative monoids has a left adjoint, the Grothendieck group. I would like to categorify this ...
0
votes
0answers
56 views

A construction on lax.functor

Consider for simplicity only locally small 2-categories. Given a 2-category $\mathscr{A}$ let $|\mathscr{A}|$ its 2-graph (forget the horizontal composition). Given a 2-graph $\mathcal{G}$ let ...
15
votes
1answer
317 views

The Gelfand duality for pro-$C^*$-algebras

The Gelfand duality says that $$X\to C(X)$$ is a contravariant equivalence between the category of compact Hausdorff spaces and continuous maps and the category of commutative unital $C^*$-algebras ...
6
votes
3answers
655 views

Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...
3
votes
1answer
140 views

Regarding the definition of S-flows over a category (given a monoid S)

(This question was originally directed to Simone Virili, referring to the answer http://mathoverflow.net/a/103840/2926, but could also be addressed to the greater community.) I was wondering if you ...
48
votes
5answers
5k views

Why higher category theory?

This is a soft question. I am an undergrad and is currently seriously considering the field of math I am going into in grad school. (perhaps a little bit late, but it's better late then never.) I ...
14
votes
0answers
676 views

Derived functors - homotopical vs homological approach

This question is a crosspost of the second part of this MSE question. In my first course in homological algebra, derived functors were defined in terms of universal $\delta$-functors. In the text ...
2
votes
2answers
338 views

Reference for higher categorical analogue of algebraic cycle? [closed]

Are there higher categorical analogues of algebraic cycles? What are some references? This question arise in an attempt to generalize algebraic cycles towards higher dimensional algebra. Has there ...
4
votes
1answer
333 views

Generalize $\pi_0(B\mathcal{C})\cong\{\text{objects}\}/\{\text{morphisms}\}$ to categories internal to topological spaces

Warmup: Let $\mathcal{C}$ be an ordinary category. Denote by $$B\mathcal{C}=(\coprod_{i\in\mathbb{N_0}}N_{i}(\mathcal{C})\times\Delta^i)/\tilde{}$$ its classifying space, i.e. the geometric ...
5
votes
3answers
754 views

Geometric models for classifying spaces of a group

For any given topological group $G$ we have Segal's construction/definition of $BG$. I'm recalling it in case the details turn out to be relevant. Form the disjoint union of $G^n\times\Delta_n$ ...