Zhen Lin
Reputation
51,615
99/100 score
 20h 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.