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

43
votes
0answers
1k views

A naive question about the double dual of a vector space

Let $K$ be a field. Are there non-scalar endomorphisms of the endofunctor $$ V\mapsto V^{**}/V $$ of the category of $K$-vector spaces? I asked a related question on Mathematics Stackexchange, but ...
29
votes
0answers
655 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 ...
27
votes
0answers
695 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 ...
21
votes
0answers
686 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 ...
21
votes
0answers
763 views

Pre-triangulated category that isn't triangulated

I've been working through some of the early parts of Neeman's book on triangulated categories, and he mentions that he does not know of a pre-triangulated category that is not triangulated. Is this ...
18
votes
0answers
598 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 ...
18
votes
0answers
649 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 ...
17
votes
0answers
210 views

Finite limits in the category of smooth manifolds?

The category of smooth manifolds does not have all finite limits. However, it does have some limits: it has finite products, it has splittings of idempotents, and it has certain other limits if we ...
16
votes
0answers
512 views

Is there a category of topological spaces such that open surjections admit local sections?

The class of open surjections $Q \to X$ is a Grothendieck pretopology on the category $Top$ of spaces, and includes the class of maps $\amalg U_\alpha \to X$ where $\{U_\alpha\}$ is an open cover of ...
14
votes
0answers
526 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 ...
14
votes
0answers
652 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 ...
13
votes
0answers
439 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. ...
13
votes
0answers
625 views

Fully dualizable objects in classical field theories

This is a follow up to this MO question: Free symmetric monoidal $(\infty,n)$-categories with duals Freed-Hopkins-Lurie-Teleman define a classical field theory as a symmetric monoidal functor $I$ ...
12
votes
0answers
254 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 ...
12
votes
0answers
419 views

Categorification of the integers

I would like to know a natural categorification of the rig of integers $\mathbb{Z}$. This should be a $2$-rig. Among the various notions of 2-rigs, we obviously have to exclude those where $+$ is a ...
12
votes
0answers
361 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
216 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 ...
12
votes
0answers
522 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 ...
12
votes
0answers
723 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 ...
11
votes
0answers
377 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 ...
11
votes
0answers
243 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 ...
11
votes
0answers
423 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 & ...
11
votes
0answers
459 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)$, ...
11
votes
0answers
355 views

When can we tell if PROPs, Algebraic Theories, etc. are faithfully detected in a given category?

I am interested in understanding a certain phenomenon. I am hoping this sort of problem has been studied before, but I don't know the proper terminology and am having trouble finding answers. I am ...
11
votes
0answers
488 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 ...
10
votes
0answers
230 views

Goodwillie calculus and morphisms of functors

Let $F,G: \mathcal{T}\to \mathcal{S}$ be two functors from topological spaces to spectra (or topological spaces) and let $s: F\to G$ be a morphism between them. Suppose $F$ and $G$ are analytic and ...
10
votes
0answers
198 views

Does every commutative variety of algebras have a cogenerator?

By a commutative variety $\mathcal{V}$ I mean a classical variety of algebras for some $(\Sigma,E)$, such that each pair of operations in $\Sigma$ commutes. Equivalently (i) every interpretation of ...
10
votes
0answers
342 views

Can a composition with itself of a universal self-map be non-universal?

I have formulated (and published) the notion of a universal map (and of a universal morphism), and the problems below, in the early 1960-ies. DEFINITION   A continuous map   $u: ...
10
votes
0answers
510 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 ...
10
votes
0answers
360 views

Higher holonomies for higher local systems

In Jacob Lurie's classification of tqfts, one finds a version of the cobordism hypothesis for $(X,\zeta)$-structure, where an $(X,\zeta)$ structure on a manifold $M$ is the datum of a continuous map ...
10
votes
0answers
298 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 ...
10
votes
0answers
265 views

Adjoint functor theorem for infinity categories

In HTT, a version of the adjoint functor theorem for (locally) presentable infinity categories is proven (Corollary 5.5.2.9). Is there a more refined version of this somewhere, which more closely ...
10
votes
0answers
478 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 ...
10
votes
0answers
671 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 ...
10
votes
0answers
563 views

Categorical Schur's Lemma

In attempt to prove (and compute) a formula for the dimensions of the HOMFLY homology of the (p,q)-torus knot one could try to follow original proof by Jones of a formula for HOMFLY polynomial of ...
10
votes
0answers
660 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. ...
9
votes
0answers
202 views

Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...
9
votes
0answers
294 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 ...
9
votes
0answers
412 views

The category theory of $(\infty, 1)$-categories

There are many proposed models for the theory of $(\infty, 1)$-categories and it has now been shown that many of these theories have Quillen-equivalent model categories, i.e. that they are equivalent ...
9
votes
0answers
183 views

Smallest class of rings closed under familiar operations

Suppose I start out with the ring $\mathbb{Z}$, and call $\mathcal{C}$ the smallest collection of (commutative, unital) rings closed under the following list of operations (which I am aware has some ...
9
votes
0answers
517 views

Categorification of finite type invariants

Recall that finite type invariants are those numerical knots invariants vanishing on knots with enough singularities. The value of an invariant on a singular knots is computed using the Vassiliev ...
9
votes
0answers
177 views

Are pivotal categories the algebras for a cartesian monad?

It seems to be "known" but not written down that the following are more-or-less equivalent: ...
9
votes
0answers
463 views

The open problem of nth quantization

In trying to explain a quote by E. Nelson, "First quantization is a mystery, but second quantization is a functor!" Baez points out what follows (full text available in this week find; I'm also ...
9
votes
0answers
466 views

Is there any elementary text unravelling the definitions of 2-category, lax functor and lax transformation, allowing people who do not know in the first place what these things are to really understand the definitions?

The question is in the title. My current research subject is the homotopy theory of $2$-categories. It may be slightly unreasonable to expect my PhD thesis to be read or even looked at by people ...
9
votes
0answers
564 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 ...
8
votes
0answers
258 views

End of the Ext functors

Let $R$ be a ring, and consider the hom functor $\hom\colon Mod(R)^\text{op}\times Mod(R)\to Mod(R)$; the end of $\hom$ is well-known to be the set of endomorphisms (endonatural transformations) of ...
8
votes
0answers
185 views

Retractions of Yoneda are retractors, 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 ...
8
votes
0answers
111 views

A “small” definition of sub-(∞,1)-topoi

Suppose I have an $(\infty,1)$-topos $\mathcal{X}$ and a (small) set of maps $S$ in $\mathcal{X}$, which therefore generates an accessible localization $S^{-1}\mathcal{X}$. Is there any "small" ...
8
votes
0answers
103 views

What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the Segal condition: For each $j$, the map $$ X_j \to ...
8
votes
0answers
158 views

Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category. For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...