**44**

votes

**0**answers

2k 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

**0**answers

669 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

**0**answers

709 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

**0**answers

694 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 ...

**18**

votes

**0**answers

606 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

**0**answers

656 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

**0**answers

214 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

**0**answers

523 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 ...

**15**

votes

**0**answers

298 views

### Is there a symmetric monoidal 2-category “SuperDuperVect”?

Recall that the category $\mathrm{SuperVect}$, as a category, consists of pairs of vector spaces, thought of as formal direct sums $V \oplus W\,\Pi$, where $\Pi$ is the "odd line". (Called "$\Pi$" ...

**14**

votes

**0**answers

531 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

**0**answers

663 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 ...

**14**

votes

**0**answers

742 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 ...

**13**

votes

**0**answers

567 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 ...

**13**

votes

**0**answers

447 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. ...

**12**

votes

**0**answers

263 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

**0**answers

426 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

**0**answers

365 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

**0**answers

221 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

**0**answers

536 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 ...

**11**

votes

**0**answers

392 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

**0**answers

252 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

**0**answers

443 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

**0**answers

481 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

**0**answers

492 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 ...

**11**

votes

**0**answers

359 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

**0**answers

496 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

**0**answers

231 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

**0**answers

345 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

**0**answers

516 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

**0**answers

362 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

**0**answers

301 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

**0**answers

271 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

**0**answers

679 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

**0**answers

570 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

**0**answers

671 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

**0**answers

187 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 ...

**9**

votes

**0**answers

206 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

**0**answers

309 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

**0**answers

419 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

**0**answers

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

**0**answers

526 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

**0**answers

178 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

**0**answers

472 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

**0**answers

469 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

**0**answers

589 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 ...

**9**

votes

**0**answers

356 views

### Why are Delta-generated spaces locally presentable?

Does anybody understand why Delta-generated spaces are locally presentable? This is of course claimed by Jeff Smith, and there is a paper by Fajstrup and Rosicky
A convenient category for directed ...

**8**

votes

**0**answers

274 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

**0**answers

112 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

**0**answers

107 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

**0**answers

166 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) ...