Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 126667

This tag is used if a reference is needed in a paper or textbook on a specific result.

15 votes
2 answers
739 views

$\mu$-presentable object as $\mu$-small colimit of $\lambda$-presentable objects

Remark 1.30 of Adámek and Rosický, Locally Presentable and Accessible Categories claims that in any locally $\lambda$-presentable category, each $\mu$-presentable object (for $\mu\ge\lambda$) can be w …
Reid Barton's user avatar
  • 25.2k
9 votes

What is a reference for an explicit, logic-based, statement of duality in category theory (i...

I would go even farther than the comments above, at least in the specific case you mention about computing (co)limits objectwise in a functor category. Once you know the statement for limits, deducin …
Reid Barton's user avatar
  • 25.2k
3 votes

References/literature for pushouts in category of commutative monoids? [ed. - amalgams]

I'm not sure exactly what you're looking for, but here is a somewhat weird example of a pushout in commutative monoids I recently came across: $\begin{matrix} \mathbb{N}&\to&\mathbb{Z}\\\\ \downarrow …
Reid Barton's user avatar
  • 25.2k
10 votes

$\mu$-presentable object as $\mu$-small colimit of $\lambda$-presentable objects

Here's an argument which I currently believe. As Tim suggested, it does use the fat small object argument. References are to that paper. Let $\mathcal{K}$ be a locally $\lambda$-presentable category …
Reid Barton's user avatar
  • 25.2k
7 votes
1 answer
210 views

Simplicial localization of the cofibrant-fibrant objects

Let $M$ be a model category. I don't assume that $M$ has functorial factorizations or that $M$ is simplicial. Write $M^{c}$ (respectively, $M^{cf}$) for the full subcategory of $M$ on the cofibrant ob …
Reid Barton's user avatar
  • 25.2k
3 votes

The Grothendieck plus construction for stacks of n-types

This is discussed in section 3.4.3 of https://arxiv.org/abs/2004.00731 by Mathieu Anel and Chaitanya Leena Subramaniam.
Reid Barton's user avatar
  • 25.2k
3 votes

Cofibrations of functors

When $\mathcal{M}$ and $\mathcal{N}$ are combinatorial, this class $\mathcal{C}$ is indeed the left class of a weak factorization system on the category of all left adjoints from $\mathcal{M}$ to $\ma …
Reid Barton's user avatar
  • 25.2k