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 examples
Search options not deleted
user 22131
For questions requesting examples of a certain structure or phenomenon
12
votes
Examples of non-polynomial comonads on Set?
In general, given a surjective geometric morphism $f: \mathcal{E} \to \mathcal{T}$ of toposes, then the adjunctions $f^* \vdash f_*$ is comonadic.
In particular, given a topological or localic monoid …
- 42.4k
12
votes
Accepted
Simple example of nontrivial simplicial localization
For any $1$-category $C$ the localization $C[C^{-1}]$ at all arrows is an $\infty$-groupoid homotopy equivalent to the nerve of $C$, so it can be any $\infty$-groupoid.
For example take $C$ to be the …
- 42.4k
8
votes
Accepted
Example of a non-cocomplete model category of a realized limit sketch
But maybe there are more naturally occuring examples. I feel like there should be a better way to explain the construction, but I don't know how for now. …
- 42.4k
6
votes
2
answers
290
views
Combinatorial proof that some model categories are monoidal/enriched?
I'm looking for examples of proofs that some Quillen model categories are monoidal, or enriched over an other model category, which are based on explicit computation of the "pushout product" of the generating … I would be interested to see other examples of such direct combinatorics proof (like dendroidal sets, cellular sets, complicial sets, other algebraic structure , I assume no such things is known for opetopic …
- 42.4k