Search Results

In [1, example C.1.2.8], a locale $Y$ (dense in another locale $X$) without any point is given. I fail to understand the point of such point-less locale - Why can't we identify those as the trivial lo …

Let $F: C \to D$ be a functor between two categories without a right adjoint. What are some natural ways to create a right adjoint for $F$? Of course, this does not make sense on the nose. One needs t …

Led by John Baez, applied category theory (e.g. [1]) seems to accumulate much popularity. As someone who has noticed the importance of category theory in pure mathematics (e.g. homotopy theory, tqfts, …

The category of smooth manifolds (SmoothMfld) can be thought of the Cauchy completion of the category $U$ of open subsets of Euclidean spaces (with smooth maps) [1]. This fact is shocking to me as it …

What's the standard definition, if any, of an $n$-category as of 2020? The literature I can tap into is quite limited, but I'll try my best to list what I had so far. In [Lei2001], Leinster demonstrat …

This question is an extension of my previous question last year (see [2020]) in which I asked about the (consensus of a) definition of a weak $n$-category. Here are some background: while strict $n$-c …

Non-extendable 2D TQFTs correspond to finite dimensional Frobenius algebras [1]. How about 3D TQFTs? While the answer is clear for the extended ones (e.g. (3,2,1) TQFTs almost correspond to modular te …

Throughout this thread, let us assume smallness. All functors "are" left adjoints Let $D \xrightarrow{F} C$ be any functor, which induces $$ D \xrightarrow{F} \hat{C}$$ by compositing the Yoneda embed …

Under good conditions [1], any functor $F: C \to D$ induces a codensity monad $T: D \to D$ as a right Kan extension of $F$ along itself. It does not say explicitly, but by considering left/right Kan e …

The answer is positive. I found a published account with details to be chapter 6 and 7 of Handbook of Categorical Algebra 1 by Francis Borceux. Thanks to the comments, useful links that summarize how …

EDIT Title has been edited. Let $C$ be a category, and $$\hat{C} = [C^{op}, (Set)]$$ be its free cocompletion. Despite its name, the free cocompletion of free cocompletion is not equivalent to the fr …

Let $C$ be a category, and $\Gamma$ a graph in $C$. Under good conditions it makes sense to talk about the limit $\lim \Gamma$ of $\Gamma$ in $C$. Suppose $\Gamma$ is the union of two subgraphs $\Gamm …

Let $$I: C \rightleftarrows D: F$$ be biadjoint [1] functors between categories $C, D$. That is, $I$ is the left and also the right adjoint of $F$ (thus vice versa). Put in notations, it's $$ \cdots \ …

Space-level homotopy induces (co)chain homotopy, but I've never heard of the converse. I am not sure if it is simply not true? However, for good enough spaces (finite type nilpotent), Mandell proved …

This is not an answer, but just some pointers to things I guess are related! I posted this in the comments, but it got really messy. So I moved it here. -- original comments below -- I also want to …