159

Answers
votes newest views recent
3
On the large cardinals foundations of categories
1
Is rigour just a ritual that most mathematicians wish to get rid of if they could?
3
Constructing a stack (gerbe) from a connected groupoid
5
Connections between topos theory and topology
5
An example where Čech and derived functor cohomologies don’t agree.
6
Path components of a monoidal category form a monoid?
1
An example of a non-paracompact tvs (over the reals, say)
6
Completeness of a Theory from the Categorical Viewpoint
9
Grothendieck topology for a non-small category
3
How would set theory research be affected by using ETCS instead of ZFC?
4
Equivalences of Internal Categories
5
Mathematician trying to learn string theory
4
stacks as Morita equivalence classes
11
Why pullback only defined up-to-isomorphism but nevertheless presented as functor?
10
Conjectures in Grothendieck’s “Pursuing stacks”
-1
If d/dx is an operator, on what does it operate?
4
are immersions/submersions captured in generalised smooth spaces by some universal property?
3
Can a classifying space be characterised universally?
3
Is there any formal foundation to ultrafinitism?
1
When are $k$-sectors of a Lie groupoid a manifold?
6
Is it possible to approch higher categories from the arrow functor?
3
Categorical nomenclature
5
Sets = structured sets without structure
2
What is the correct notion of Morita Equivalence between topological groupoids
6
Monoidal structure on a category with products and with terminal object
4
fpqc sheafification and localisation
2
Terminology for sequences and countability
2
resolution by simplicial objects versus resolution by chain complex
6
How should one understand orbifold fundamental groups?
7
what do empty parens symbol mean?
1 2 3 4 5 6 next