Search Results
| 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 ct.category-theory
Search options not deleted
user 42658
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
7
votes
1
answer
215
views
Saturated classes, generation by a set and pullbacks of categories
Assume that we have a pullback square
$$
\begin{array}{ccc}
A & \rightarrow & B \\
\downarrow & & \downarrow \\
C & \rightarrow & D \\
\end{array}
$$
with all functors accessible, and all categories …
- 660
5
votes
Derivators and fibred $\infty$-categories
I am no Denis-Charles but given the other paper you quoted let me think of a sketch, perhaps you will be able to make the right out of it.
Let $\mathcal E \to \mathcal C$ be a Quillen presheaf (model …
- 660
8
votes
How do you define (infinity,1) categories in Homotopy Type Theory?
While this question has an accepted answer, let me just mention that there is now a preprint by James Cranch about doing categories structured over homotopy types, you might be interested to have a lo …
- 660
12
votes
The "derived drift" is pretty unsatisfying and dangerous to category theory (or at least, to...
Let me address something which is not explicitly mentioned in other answers. Job issues exist, and they exist not only for category-theorists or the like, even much more ''working'' (in the sense of M …
10
votes
1
answer
287
views
Criterion for homotopy pullback square of simplicial categories
Assume given a pullback square of simplicial categories
$$\begin{array}[c]{ccc}
A&{\rightarrow}&B\\
\downarrow&&\downarrow\\
C&{\rightarrow}&D.
\end{array}$$
Suppose further that one of the induced …
- 660