Emily's user avatar
Emily's user avatar
Emily's user avatar
Emily
  • Member for 5 years, 5 months
  • Last seen this week
4 votes
1 answer
87 views

What are the 2-categorical mono/epimorphisms in the 2-category of relations?

5 votes
1 answer
151 views

1-categorical universal properties for the smash product of pointed sets

5 votes
1 answer
123 views

Co/limits and 2-co/limits of categories in the $\infty$- and $(\infty,2)$-category of $\infty$-categories

40 votes
8 answers
3k views

Suggestions and feature requests for the design of a font for math articles/books

5 votes
1 answer
110 views

Relations with "for each" composition and its properties (coming from profunctors with end composition)

6 votes
0 answers
117 views

Looking for Lawvere's "Closed categories and biclosed bicategories" lecture notes

1 vote
0 answers
70 views

Existence and characterisations of left Kan extensions and liftings in the bicategory of relations II

4 votes
1 answer
188 views

Existence and characterisations of left Kan extensions and liftings in the bicategory of relations I

2 votes
0 answers
234 views

Existence and explicit descriptions for left and right Kan extensions and lifts in bicategories of spans

3 votes
1 answer
141 views

What are the internal adjunctions in the bicategory $\mathsf{Span}$?

6 votes
2 answers
531 views

Examples of bilimits that aren't 2-limits, and some related questions

2 votes
1 answer
240 views

Functional integral formulas for the wave equation and other hyperbolic PDEs

4 votes
0 answers
204 views

A notion of SDE via the martingale representation theorem

5 votes
1 answer
448 views

Homotopy groups of categories of elements as higher colimits

5 votes
1 answer
189 views

Homotopy coherent localisation of a ring spectrum $E$ at a subset of $\pi_0E$

4 votes
1 answer
366 views

The “field of fractions” of the sphere spectrum (localization at $\pi_0(\mathbb{S})\setminus\{0\}$, the non-zero integers)

4 votes
0 answers
170 views

Valuations and (semi)norms on ring spectra

2 votes
0 answers
55 views

The graph topologies for powersets

6 votes
0 answers
295 views

Looking for analogs of the rational, $p$-adic, and real numbers in homotopy theory via the passage $\mathbb{N}\to\mathbb{Z}\to\mathbb{Q}\to\mathbb{R}$

2 votes
0 answers
90 views

References (and a question) on the "fine" topology of powersets

2 votes
0 answers
101 views

Existence of a nice-ish topology on the powerset of a topological space

1 vote
0 answers
71 views

Powersets of simplicial sets vs. powersets of topological spaces

6 votes
1 answer
208 views

Homotopical properties of powersets of simplicial sets

19 votes
2 answers
727 views

Existence of a *really* nice topology on the powerset of a topological space

2 votes
0 answers
60 views

Niceness properties of quotient spaces by continuous equivalence relations

3 votes
0 answers
151 views

Making the powerset into a topological monoid

9 votes
2 answers
642 views

Analogue of open/closed maps for measurable spaces

14 votes
2 answers
1k views

Applications of diffeological spaces to ordinary differential geometry

6 votes
1 answer
303 views

Decategorifying Grothendieck topoi and categorifying topological spaces

9 votes
1 answer
510 views

Is there a good theory of 2-locales?

1
2 3 4 5