Search Results

As far as I know, there are four possible ways to generalize algebraic geometry by 'simply' replacing the basic category of rings with something similar but more general: $\bullet$ In the approach by …

I am wondering if there is a foundation of mathematics where not sets or "set-like objects" (such as objects of a suitable topos as in ETCS) are the primitive notion, but rather lists. These lists (ak …

Let $C$ be a small category. Isbell duality provides an adjunction $\widehat{C} {{\mathcal{O} \atop \longrightarrow} \atop {\longleftarrow \atop \mathrm{Spec}}}\widehat{C^{\mathrm{op}}}^{\mathrm{op}}$ …

Update. It's now on the arXiv. Some time ago I found my "own" proof of the fundamental theorem of Galois theory. You can find a pdf with the proof (link removed, see arXiv). It is quite short, self-c …

Let $X$ be a scheme and $I \subseteq \mathcal{O}_X$ be a quasi-coherent ideal of finite type. The blowing up $\mathrm{Bl}_I(X)$ has the following universal property: It comes with a morphism $p : \mat …

By general nonsense the forgetful functor from groups to monoids has a left adjoint. It maps a monoid $(X,\cdot,1)$ to the free group on $\{\underline{x} : x \in X\}$ modulo the relations $\underline{ …

What is the correct definition of an ind-scheme? I ask this because there are (at least) two definitions in the literature, and they really differ. Definition 1. An ind-scheme is a directed colimit …

As far as I know, there is no "official" notation for the left adjoint of a functor $F : \mathcal{C} \to \mathcal{D}$ if it exists. I have seen the notation $F^*$ sometimes, but this looks only nice w …

It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite set …

This is a reference request for the following "well-known" theorems in category theory: There is an equivalence of categories between finitary monads on $\mathbf{Set}$ and finitary Lawvere theories ( …

Question. Is there a large colimit-sketch $\mathcal{S}$ such that $\mathrm{Mod}(\mathcal{S}) \simeq \mathbf{Top}$? In other words, is there a category $\mathcal{E}$ with a class of cocones $\mathcal{S …

As we all know, the forgetful functor $\mathsf{Ab} \to \mathsf{CMon}$ from abelian groups to commutative monoids has a left adjoint, the Grothendieck group. I would like to categorify this constructio …

Let us say that a finitary algebraic theory $\tau$ has IBN (invariant basis number) if the free functor $F : \mathsf{Set} \to \mathsf{Mod}(\tau)$ reflects the isomorphism relation: If $S,T$ are sets w …

Most textbooks on category theory only sketch the meaning of the Duality Principle. But even when they do it more formally, I have only seen a version so far which concerns the language of a (single) …

Kan extensions make sense in any $2$-category. But so far I have only really seen them in the case of the $2$-category of categories, functors, natural transformations and the $2$-category of $k$-line …