Here by coherence conditions I mean those axioms imposed on associators and unities that grant that the groupoid generated by such morphisms is a poset, i.e. any two parallels morphisms in this groupoid are equal. These condition implies that such weak structures are equivalent (in a suitable sense) to strict ones. That said, where does […]

I’ve been doing a lot of reading on homotopy theory. I’m very drawn to this subject as it seems to unify a lot of topology under simple principles. The problem seems to be that the deeper I go the more confused I get since the number of possible formalisms grows exponentially. The more i read […]

This is a more articulate version of a question I asked a few days ago. I have made an attempt to “categorify” the theory of metric spaces. Informally, in the spirit of representing a topological space as a category (as in topos theory), I think I have a way to make a 2-category that encodes […]

Set theory is typically formalized as a one-sorted theory without urelements. Is it possible to do the same with category theory or higher category theory, formalizing the whole affair as a theory with only one type of object? I know that this runs counter to what some feel is the philosophical spirit of category theory, […]

Let $\mathcal{S}$ be a category with pullbacks. A precategory $\mathbb{C}$ in the sense of Borceux and Janelidze [Galois Theories, §7.2] comprises three objects $C_0, C_1, C_2$ in $\mathcal{S}$ and morphisms $d_2^0, d_2^1, d_2^2 : C_2 \to C_1$, $d_1^0, d_1^1 : C_1 \to C_0$, $s_0^0 : C_0 \to C_1$, satisfying the following fragment of the simplicial […]

Let $\mathfrak{Cat}$ be the 2-category of small categories, functors, and natural transformations. Consider the following diagram in $\mathfrak{Cat}$: $$\mathbb{D} \stackrel{F}{\longrightarrow} \mathbb{C} \stackrel{G}{\longleftarrow} \mathbb{E}$$ There are several notions of pullback one could investigate in $\mathfrak{Cat}$: The ordinary pullback in the underlying 1-category $\textbf{Cat}$: these exist and are unique, by ordinary abstract nonsense. Explicitly, $\mathbb{D} \mathbin{\stackrel{1}{\times}_\mathbb{C}} \mathbb{E}$ […]

I’m not a topologist and I’m trying to understand a little bit about spectra. I’ve been told that spectra are the homotopical version of abelian groups. Can anyone expand on this point? Apparently it should be somewhere in Lurie’s work, but all I could find (thanks to moritz groth’s notes) is that Spectra are the […]

I’ve been reading some of John Baez’s work on 2-categories (eg here) and have been trying to visualize some of the constructions he gives. I’m interested in coming up with ‘concrete’ examples of 2-categories. As an example of what I don’t mean, I know that the category Cat forms a 2-category, where the objects are […]

Intereting Posts

Intuition behind the scaling property of Fourier Transforms
Convergence of integrals in $L^p$
Is there a Lucas-Lehmer equivalent test for primes of the form ${3^p-1 \over 2}$?
Berger's theorem on holonomy
Lipschitz Smoothness, Strong Convexity and the Hessian
Compute the limit of $\int_{n}^{e^n} xe^{-x^{2016}} dx$ when $n\to\infty$
Tensor product and Kronecker Product
Syntactically speaking, when can you introduce a universal such that no logical inconsistencies are introduced?
Bijection between binary trees and plane trees?
Suggested textbook for Multivariable Calculus
Are there any continuous functions from the real line onto the complex plane?
What's the explanation for these (infinitely many?) Ramanujan-type identities?
Can we teach calculus without reals?
$1\cdot 3 + 2\cdot 4 + 3\cdot 5 + \cdots + n(n+2) = n(n+1)(2n+7)/6$ by mathematical induction
QR factorization of a special structured matrix