Search Results

I recently noticed the following categorical/universal way to describe the passage from $\mathbb{Z}$ to $\mathbb{Q}$: We start with the categroy $\mathsf{Sets}^{\mathrm{actv}}_*$ of pointed sets and …

$\newcommand{\defeq}{\overset{\mathrm{def}}{=}}\newcommand{\rmR}{\mathrm{R}}\newcommand{\rmL}{\mathrm{L}}\newcommand{\End}{\mathrm{End}}\newcommand{\Hom}{\mathrm{Hom}}$This question is a sequel to my …

The recent paper Calin Tataru, Partial orders are the free conservative cocompletion of total orders. arXiv:2404.12924 has shown that the conservative cocompletion of the simplex category $\Delta$ i …

$\newcommand{\IsbellSpec}{\mathsf{Spec}}\newcommand{\IsbellO}{\mathsf{O}}\newcommand{\Nat}{\mathrm{Nat}}$Isbell duality sets up an adjunction (see here for a short abstract summary) $$\mathsf{O}\dashv …

Recently, in a conversation with Gabriel, the following question came up: Question. Do co/limits of categories taken in the $\infty$-category of $\infty$-categories agree with the usual co/limits tak …

Given a diagram of sets $D\colon\mathcal{C}\to\mathsf{Set}$, we have a bijection (Proof) $$\operatorname{colim}(D) \cong \pi_0 (\textstyle\int_\mathcal{C}D).$$ Is there any known application or signi …

Homotopy coherent Invertibility. Similarly to how $\mathbb{E}_k$-commutative spectra are a homotopy-coherent version of homotopy commutative spectra, encoding commutativity with higher homotopies, we …

Perhaps the most common construction of the rational numbers is the one given by taking the field of fractions $\mathrm{Frac}(\mathbb{Z})\cong\mathbb{Q}$ of the ring $\mathbb{Z}$ of integers. I'm wond …

Given a simplicial set $X_\bullet$, define its powerset simplicial set $\mathcal{P}_\bullet(X)$ as the composition $$\Delta^\mathsf{op}\xrightarrow{X_\bullet}\mathsf{Set}\xrightarrow{\mathcal{P}}\math …

(This is in a sense a follow-up to my earlier question on a geometric definition of globular $\infty$-groupoids) We know by Scholie 8.4.14 of Cisinski's thesis that the globe category $\mathbb{G}$ is …

The simplex category $\Delta$ has a $2$-category refinement $\Delta_2$ given by the full sub-$2$-category of the $2$-category $\mathsf{Cat}$ spanned by the ordinal categories $𝟘$, $𝟙$, $𝟚:=𝟙\star� …

The nLab page on $\infty$-categories splits the known definitions of $\infty$-categories into two types: Algebraic $\infty$-categories, in which composition is expressed "externally", e.g. as a some …

$\newcommand{\Trans}{\mathrm{Trans}}\newcommand{\H}{\mathrm{H}}\newcommand{\HH}{\mathrm{HH}}\newcommand{\Hom}{\mathrm{Hom}}\newcommand{\Mod}{\mathrm{Mod}}$Recently I noticed that one may regard the co …

$\DeclareMathOperator\Ho{Ho}\DeclareMathOperator\Hom{Hom}$There are (at least) seven kinds of morphism spaces for a simplicial set $X$: The left-pinched morphism space $\Hom^L_X(x,y)$, The right-pinc …

As noted in Tag 01WZ of Kerodon, the morphism spaces of an $(\infty,2)$-category $C$ can fail to be $\infty$-categories, in contrast to the pinched morphism spaces of $C$. This feels very counterintui …