Reputation
51,615
Next tag badge:
99/100 score
25/20 answers
Badges
4 68 146
Impact
~513k people reached

17h
comment Intuition for the definition of a dense functor?
I'm not sure there is actually a connection of the type you are looking for.
Apr
29
comment Is an “$\aleph_0$-limit” a finite limit or a small limit?
It is conventional to say that a category is $\kappa$-small if it has $< \kappa$ (objects and) morphisms.
Apr
28
comment Reference/Definition of Homotopy in an Abstract Category
The truncation of the simplicial localisation always recovers ordinary localisation. (This is an instance of the fact that the left adjoint of the composite is the composite of the left adjoints.)
Apr
28
comment How to call a “non-strict” monoidal category?
@NajibIdrissi In fact, such a concept exists, but for some reason it is called a skew monoidal category.
Apr
27
answered Adjunction with reversed elements
Apr
25
comment Differentiable manifolds as locally ringed spaces
Perhaps I mean here specifically.
Apr
25
revised Simplicial homotopy's exponential law
edited tags
Apr
23
awarded  Good Question
Apr
23
comment Question Janelidze and Tholen's 'Beyond Barr Exactness: Effective Descent Morphisms'
I believe it is conventional to take $F$ to be the so-called fundamental fibration, i.e. $X \mapsto \mathcal{C}_{/ X}$. This is a 2-presheaf.
Apr
22
comment if $F_{\bullet}$ is a complex and $r$ an integer, what is $F_{r-\bullet}$?
For me, if $F_\bullet$ is a chain complex then $F_{r-\bullet}$ is a cochain complex where $(F_{r-\bullet})_n = F_{r-n}$. Note that the differentials now increase degree.
Apr
22
comment Presheaf and copresheaf categories on finite sets
$\mathbf{Set}$, $[\mathbf{FinSet}, \mathbf{Set}]$ and $[\mathbf{FinSet}^\mathrm{op}, \mathbf{Set}]$ are all distinct.
Apr
20
comment Terminal object in the category of sheaves?
The initial object is not the constant presheaf $0$ but rather the sheafification thereof.
Apr
19
comment When are sheafification and the embedding of sheaves into presheaves exact functors?
Yes, it is exact for groups. More generally, also for any finitary algebraic theory.
Apr
19
comment When are sheafification and the embedding of sheaves into presheaves exact functors?
Very rarely. That would make cohomology trivial.
Apr
19
comment When are sheafification and the embedding of sheaves into presheaves exact functors?
Sheafification is exact for sheaves of abelian groups, hence also for sheaves of $R$-modules or $\mathscr{O}_X$-modules.
Apr
18
answered Construction of 2-limits in 2-categories
Apr
17
comment Commutations of pullbacks and coproducts?
Why go to the trouble of bringing up cartesian closedness or convenient categories? The isomorphisms in question all basically arise from the fact that coproducts are disjoint unions.
Apr
15
comment On the existence of finite tensors/cotensors
Tensors (resp. cotensors) in ordinary categories are special cases of coproducts (resp. products)
Apr
14
comment Is the category of categories a topos?
It is not a 2-topos in the sense of Lurie (which is a (2, 1)-category).
Apr
14
comment Why isn't '&' used for logical conjunction?
Linear logic also has ⅋, to make things more fun.