Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [ct.category-theory]

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

50
votes
0answers
1k views

Dualizing the Notion of Topological Space

$\require{AMScd}$ Defining a topological space on a set $X$ is equivalent to designating certain subobjects of $X$ in ${\bf Set}$ (monomorphisms into $X$ up to equivalence) as open. The requirements ...
46
votes
0answers
1k views

What did Gelfand mean by suggesting to study “Heredity Principle” structures instead of categories?

Israel Gelfand wrote in his remarkable talk "Mathematics as an adequate language (a few remarks)", given at "The Unity of Mathematics" Conference in honor of his 90th birthday, the following ...
42
votes
0answers
955 views

Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following: The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...
34
votes
0answers
906 views

Computer calculations in A_infinity categories?

Is there a good computer program for doing calculations in A-infinity categories? Explicit calculations in A-infinity categories are an important, useful, yet very tedious task. One has to keep track ...
33
votes
0answers
751 views

Is there anything to the obvious analogy between Joyal's combinatorial species and Goodwillie calculus?

Combinatorial species and calculus of functors both take the viewpoint that many interesting functors can be expanded in a kind of Taylor series. Many operations familiar from actual calculus can be ...
23
votes
0answers
876 views

$\infty$-topos and localic $\infty$-groupoids?

It's known that every classical (Grothendieck) topos is equivalent to the topos of sheaves on a localic groupoid (a groupoid in the category of locales). For the record, this is proved by, starting ...
22
votes
0answers
773 views

The topologies for which a presheaf is a sheaf?

Given a set $S$, let $Top(S)$ denote the partially ordered set (poset) of topologies on $S$, ordered by fineness, so the discrete topology, $Disc(S)$, is maximal. Suppose that $Q$ is a presheaf on $...
21
votes
0answers
800 views

categorical characterization of large cardinals

Question 1. Is there a categorical representation of Kunen's inconsistency result? Question 2. Is there a categorical characterization of very large cardinals (in particular for strong and ...
20
votes
0answers
820 views

Can we describe equivariant vector bundles of free group action in terms of descent theory (Barr-Beck theorem)?

It is well known that for a compact topological group $G$ acts (say, from the right) freely on a compact space $X$. Then the category of equivariant complex vector bundles on $X$, $\text{Vect}_G(X)$, ...
19
votes
0answers
817 views

Is Feferman's unlimited category theory dead?

In The prospects of unlimited category theory: doing what remains to be done, 2014 (The Review of Symbolic Logic, 8 (2015) pp 306-327, link), Ernst discusses Feferman's program, described in ...
19
votes
0answers
448 views

Is the category Idem filtered?

I have recently been reading Lurie's "Higher Topos Theory", and come upon what I believe to be an erronous claim. However, the author goes to some pain as a result of that claim, and the error seems ...
19
votes
0answers
669 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 $...
19
votes
0answers
1k views

Homotopy flat DG-modules

A right DG-module $F$ over an associative DG-algebra (or DG-category) $A$ is said to be homotopy flat (h-flat for brevity) if for any acyclic left DG-module $M$ over $A$ the complex of abelian groups $...
18
votes
0answers
479 views

Eckmann-Hilton argument / Grothendieck

In terse terms, the “Eckmann-Hilton argument” says that a monoid in the category of monoids is commutative. It is essentially used, for example, to prove that homotopy groups of topological groups are ...
18
votes
0answers
930 views

Can the similarity between the Riesz representation theorem and the Yoneda embedding lemma be given a formal undergirding?

For example, by viewing Hilbert spaces as enriched categories in some fashion? (I suppose the same idea of considering the inner product of a Hilbert space as a generalized Hom-set has also been ...
18
votes
0answers
920 views

Schemification (schematization?) of locally ringed spaces

Motivation: Say $F: D \to Sch$ is a diagram in the category of schemes, and we're interested in whether it has a colimit (gluings, pushouts, and "categorical" quotients are all examples of colimits)....
17
votes
0answers
693 views

Does the category of strict $2$-categories together with Dwyer-Kan equivalences provide a model for $(\infty,1)$-categories?

The question is the title. In what follows, all $2$-categories and $2$-functors will be strict. Let $2-Cat$ denote the categories whose objects are $2$-categories and whose morphisms are $2$-functors....
16
votes
0answers
434 views

Is there a quantum group or loop group description of a braided monoidal 2-category giving Khovanov homology?

Recall that there are (at least) two ways to describe the modular tensor category that $3$-dimensional Chern-Simons (with gauge group $G$ and level $k$) assigns to a circle: one involving ...
16
votes
0answers
748 views

Is there some way to see a Hilbert space as a C-enriched category?

The inner product of vectors in a Hilbert space has many properties in common with a hom functor. I know that one can make a projectivized Hilbert space into a metric space with the Fubini-Study ...
15
votes
0answers
209 views

What is the group completion of finite sets with respect to cartesian product?

Let $\Sigma_+$ be the groupoid of finite pointed sets. The Barratt-Priddy-Quillen theorem tells us that the group completion of $\Sigma_+$ with respect to the symmetric monoidal structure given by ...
15
votes
0answers
238 views

Specific cases of the tangle hypothesis in terms of “classical” n-categories

As is well known, the tangle hypothesis of Baez and Dolan proposes that, for suitable definitions, the $n$-category of framed $n$-tangles in $n+k$ dimensions is the free $k$-tuply monoidal $n$-...
15
votes
0answers
515 views

Lifting DG-categories to characteristic zero

The question of lifting (smooth projective) varieties from an algebraically closed field $k$ of characteristic $p$ to characteristic zero (i.e., to the Witt vectors $W(k)$) is a classical one. It's ...
15
votes
0answers
608 views

Recognizing classifying toposes

Suppose $\mathbb{T}$ is a geometric theory, $\mathcal{E}$ is a topos, and $M$ is a model of $\mathbb{T}$ in $\mathcal{E}$. Is there any sort of elementary condition on $M$ and $\mathcal{E}$ (or, even ...
15
votes
0answers
847 views

Is the category of smooth manifolds equivalent to the opposite category of the category of commutative monoids of some additive symmetric monoidal category?

This is a followup to my previous question, which asked whether the category of commutative or noncommutative C*-algebras or von Neumann algebras is equivalent to the category of commutative or ...
15
votes
0answers
1k views

monomorphisms and epimorphisms of local rings

I want to understand the structure of monomorphisms/epimorphisms in the category of local rings (with local homomorphisms), or dually in the category of local schemes. Let $LR$ denote this category. ...
14
votes
0answers
257 views

The “concreteness preorder” on categories

A category is called concrete if it is equipped with faithful functor to $\mathrm{Set}$. Let us say a category $C$ can be made concrete if there exists a faithful functor $F \colon C \to \mathrm{Set}$...
14
votes
0answers
434 views

Is this an $E_\infty$-algebra?

I have a particular kind of algebraic structure that's come up in my work. It's basically a chain complex equipped with a multiplication which is commutative and associative up to homotopy in a ...
14
votes
0answers
840 views

Are all formal schemes *really* Ind-schemes?

I'm trying to understand whether there's a fully faithful functor $LRS \supset FormalSch \to IndSch$ and in what sense. Here's my progress so far: Let $\mathsf{A}$ be the category of adic rings. The ...
14
votes
0answers
507 views

What are some examples of weak ω-categories?

As is usual, let's say an (n, k)-category is something with objects, morphisms, 2-morphisms, ..., n-morphisms, such that all j-morphisms for j > k are invertible, everything meant in the weak sense. ...
14
votes
0answers
664 views

Is “being a full ring of quotients” a Morita invariant property?

Definition and context: An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...
14
votes
0answers
1k views

What is known about module categories over general monoidal categories?

All of the literature I have seen on module categories over monoidal categories has been in the rigid $k$-linear semisimple case, more or less in the spirit of Ostrik's paper, Module categories, weak ...
13
votes
0answers
468 views

The topos for forcing in computability theory

My understanding is that forcing (such as Cohen forcing) can be described via a topos. For example this nlab article on forcing describes forcing as a "the topos of sheaves on a suitable site." My ...
13
votes
0answers
295 views

Retractions of Yoneda are reflectors, i.e., left adjoints?

Background It is fairly well known that if a full subcategory $i: C \hookrightarrow D$ has a left adjoint $F: D \to C$, then the canonical counit $F i(c) \to c$ is an isomorphism. (A classical ...
13
votes
0answers
604 views

Can we categorify the formula for the quadratic Gauss sum?

Background Fix an odd prime $p$ and set $\zeta=e^{2\pi i/p}$. We define the quadratic Gauss sum as $$g=\sum_{n=0}^{p-1} \zeta^{n^2}.$$ It's pretty easy to show that $$g^2= \begin{cases} p & \...
13
votes
0answers
1k views

Characterizing the surcomplex numbers

Conway showed that the Field of surreal numbers ("${\bf No}$") is the maximal totally ordered Field. Later Jacob Lurie showed that the Group of all partizan games ${\bf Pg}$ is the universally ...
12
votes
0answers
395 views

What's wrong with the obvious argument that the unstable motivic category is an $\infty$-topos?

Fix a base scheme $S$, and let $Sm_S$ be the (ordinary) category of smooth schemes over $S$. Denote by $Psh(Sm_S)$ the $\infty$-category of $\infty$-presheaves on $Sm_S$. Let $Sh_{Nis}(Sm_S)\...
12
votes
0answers
255 views

Snake lemma for equivalence relation

A sequence $$E(\zeta) \stackrel{\theta}{\to} X^2 \rightrightarrows X \stackrel{\zeta}{\to} Y $$ where the unlabelled arrows are the two projection, is said to be exact iff $\zeta$ is the ...
12
votes
0answers
402 views

Algebraic closure of a field in constructive mathematics

There is a short note by André Joyal called Les théorèmes de Chevalley-Tarski et remarque sur l'algèbre constructive (pp. 256-258). It is claimed there that there is a constructive version of the ...
12
votes
0answers
246 views

How can you unitalize a higher category?

Given an associative nonunital algebra $A$, there are (at least) two standard ways to produce a unital algebra $A'$ together with a map $A \to A'$. Following the discussion in the comments below, ...
12
votes
0answers
294 views

Is there an analog of Kan's $Ex_\infty$ functor for quasicategories?

Is there a fibrant replacement functor in the Joyal model structure which can be described non-recursively, like $Ex_\infty$ for the Quillen model structure? I believe another way to put this is to ...
12
votes
0answers
406 views

How much choice is required to prove concretizability theorems in category theory?

A concretization of a category is a faithful functor to the category of sets. A category is concretizable if there exists such a functor. An evident necessary condition for concretizability is ...
12
votes
0answers
927 views

Unitary structures on fusion categories

A unitary fusion category is a fusion category with a $C^*$-tensor structure. Hence, in principle, a fusion category could have more than one unitary structure. Does exist a fusion category with more ...
12
votes
0answers
373 views

What is the history of the notion of subdivision of categories?

A recent answer by Peter May prompts me to ask a question which I have been considering to ask for several months. (The reason why I have not asked it before is that it is not directly related to my ...
12
votes
0answers
276 views

Is there a common framework for Tannaka and Gabriel-Ulmer reconstruction theorems?

Gabriel-Ulmer duality is a biequivalence between the 2-category of finite limit categories and the 2-category of locally finitely presentable categories. It allows for the reconstruction of a theory ...
11
votes
0answers
206 views

Is $\mathrm{Hom}(P^i,P^j)$ a finite set? ($P=$ power set functor, $i\equiv j\bmod2$)

Let $P:\textbf{Set}\to\textbf{Set}$ be the contravariant power set functor, and put $P^n:=P\circ\cdots\circ P$ ($n$ factors), so that $P^n$ is a covariant (resp. contravariant) endofunctor of $\textbf{...
11
votes
0answers
152 views

Is every colimit-generator dense in an $\infty$-topos?

Recall that there are various senses in which a full subcategory $G \subseteq C$ may "generate" a category $C$. For example, in order of increasing strength (under reasonable conditions): $G$ is a ...
11
votes
0answers
209 views

Connections in terms of tangent ($\infty$-)categories?

Given a commutative ring $k$ and a commutative $k$-algebra $A$, we know that the Kähler differential $\Omega_{A/k}^1$ could be described through machineries of tangent categories (see, for example, ...
11
votes
0answers
240 views

Direct proof of the equivalence of symmetric monoidal $K$-theory and exact sequence $K$-theory?

When all exact sequences split in $C$, we have $\Omega B C \simeq K(C):=\Omega Q(C)$. Heuristically, this is because the space of upper-triangular matrices is contractible. Can this be made precise? I ...
11
votes
0answers
171 views

Every category is a localization of a concrete one?

$\require{AMScd}$Kučera, JPAA 1971 shows the remarkable result that every category is a quotient of a concrete one: Given a category $\cal K$ there is a category $\check{\mathcal{K}}$ which is ...
11
votes
0answers
476 views

The intrinsic meaning of abelian sheaf cohomology of a category

Basically my question is: Suppose I meet an alien mathematician which understands everything through category theory and category theory alone. How would I convince said mathematician that certain ...