Search Results

The algebras for this monad can be described in essentially the same way: they are sets in which it makes sense to to take "convex combinations" of countably many elements. More precisely, an algebra …

Your claim is incorrect because you truncated the simplicial diagram too much. Indeed, if what you said were true, then the isomorphism class of a group would be determined by its cardinality, but thi …

I would just say that the inclusion preserves covering families (in the naïve sense). You don't need Grothendieck pretopologies to make sense of this – just plain coverages (in the sense of Johnstone; …

There are several possible definitions of initial object in a 2-category $\mathfrak{K}$; which one is appropriate depends on your applications. A 2-category has an underlying ordinary category, so we …

Let $\mathcal{L}$ be the language of intuitionistic propositional logic generated by some atomic propositions $t_1, t_2, \ldots$. The Lindenbaum–Tarski algebra of $\mathcal{L}$ can be regarded as a bi …

It is known that the following are equivalent for an epimorphism $A \to B$ in $\mathbf{CRing}$: Let $S$ be the set of elements $a \in A$ such that $A [a^{-1}] \to B [a^{-1}]$ is an isomorphism. Then …

This is going to be a long post, so let me state my question first and then explain what I am interested in by way of examples. Question. Is there any literature studying notions of generation under c …

Following Grothendieck, let us say that a category is aspheric if its nerve is weakly contractible and a functor $u : \mathcal{A} \to \mathcal{B}$ is aspheric if for every object $b$ in $\mathcal{B}$, …

The quotation in the title is attributed to Frank Adams and appears in several places: In the preface of [2002, Operads in algebra, topology and physics]: "to operate the machine, it is not necessar …

There is definitely discussion of internal presheaves – the whole of section B2.5 is about them! In particular, the result you seek is Corollary 2.5.8: [Let $\mathcal{S}$ be a cartesian category with …

This "tensor product" is also known as the weighted colimit in enriched category theory. The short answer is that all the isomorphisms you are interested in always exist, provided the objects you are …

First things first: $\check{H}{}^n(U, \mathscr{F})$ (resp. $H^n(U, \mathscr{F})$) are same whether you regard $\mathscr{F}$ as an $\mathscr{O}$-module or as an abelian sheaf, so we may simplify things …

In [Schwänzl and Vogt, Strong cofibrations and fibrations in enriched categories], the authors refer to an earlier preprint, [Schwänzl and Vogt, Cofibration and fibration structures in enriched catego …

Hirschhorn's book, Model categories and their localizations, is a very thorough reference with many basic results explicitly stated and proved. The result you want is implied by axiom SM7 for simplici …

There is in fact no difference between the two definitions if you take your site to be the category of affine schemes – while it is true that the forgetful functor from sheaves to presheaves does not …