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 29322

Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.

11 votes
1 answer
850 views

Is $Lex(\mathcal B,\mathsf{Set}_*)$ an $\mathbb F_1$-linear category?

Following Anton Deitmar, let $\mathcal B$ be an "$\mathbb F_1$-linear category" (Deitmar uses the term "Belian"); i.e., $\mathcal B$ is balanced, pointed, contains finite products, kernels, and cokern …
Stahl's user avatar
  • 1,349
3 votes
0 answers
260 views

Categorizing epimorphisms in $\mathscr{L}ex(\mathcal{B}^{Str},\mathsf{Set}_*)$

This is a follow up to this question of mine. The setup: Let $\mathcal{B}$ be an $\mathbb{F}_1$-linear category (Deitmar uses the term Belian); that is, $\mathcal{B}$ is pointed; balanced; contains fi …
Stahl's user avatar
  • 1,349
10 votes
1 answer
732 views

Does derived hom commute with homotopy limits?

Suppose that $\mathcal{V}$ is a symmetric monoidal model category, and that $\mathcal{C}$ is a $\mathcal{V}$-enriched model category. Write $\Bbb{R}\!\operatorname{Hom}(-,-)$ for the derived Hom funct …
Stahl's user avatar
  • 1,349
5 votes
1 answer
170 views

Completeness of comma $\infty$-categories

Let $\mathsf{A},\mathsf{B},$ and $\mathsf{C}$ be (ordinary) categories and $F : \mathsf{A}\to\mathsf{C}$ and $G : \mathsf{B}\to\mathsf{C}$ be functors such that $\mathsf{A}$ and $\mathsf{B}$ are comp …
Stahl's user avatar
  • 1,349
2 votes
1 answer
350 views

Are dg-modules over a cofibrant dg-category cofibrant?

Fix a commutative ring $k;$ all dg-categories will be dg-categories over $k.$ Throughout the question, I will be following the notation and conventions of Toën's "The homotopy theory of dg-categories …
Stahl's user avatar
  • 1,349