query: Snake Lemma: "natural" or "functorial"
positive_passages.docid: 157054
positive_passages.text: Long exact sequence in homology: naturality=functoriality?
negative_passages.docid: 154324
negative_passages.text: preservation of completeness under homeomorphism
negative_passages.docid: 110110
negative_passages.text: Mitchell's Embedding Theorem for not-necessarily-small categories
negative_passages.docid: 53056
negative_passages.text: natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
negative_passages.docid: 80626
negative_passages.text: Is this an equivalent formulation of "surjective" resp. "epimorphism"?
negative_passages.docid: 8417
negative_passages.text: Natural $(R/I)$-module structure for an $R$-module $M$ annihilated by $I$
negative_passages.docid: 52554
negative_passages.text: Showing that localization is an exact functor
negative_passages.docid: 131082
negative_passages.text: Proof that $\mathbb R/[0,1]$ and $\mathbb R$ are homeomorphic
negative_passages.docid: 150961
negative_passages.text: An example for a homomorphism that is not an automorphism
negative_passages.docid: 83037
negative_passages.text: Applying Zorn's Lemma to natural numbers
negative_passages.docid: 28692
negative_passages.text: Find if set $I$ of all injective functions $\mathbb{N} \rightarrow \mathbb{N}$ is equinumerous to $\mathbb{R}$
negative_passages.docid: 133884
negative_passages.text: A proof using Yoneda lemma
negative_passages.docid: 34300
negative_passages.text: "Natural" categories where monomorphisms differ from injective morphisms
negative_passages.docid: 87257
negative_passages.text: How to prove this sequent using natural deduction?
negative_passages.docid: 63207
negative_passages.text: Zorn's lemma and maximal ideals
negative_passages.docid: 52354
negative_passages.text: Given a idempotent endomorphism, show that $M = \ker(f) \oplus \ker (f-\text{id}_M)$
negative_passages.docid: 35115
negative_passages.text: Questions on how to prove that a set of connectives is NOT functionally complete