Skip to main content
Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa
  • Member for 12 years, 11 months
  • Last seen this week
19 votes
7 answers
5k views

What is combinatorics?

14 votes
3 answers
1k views

What is combinatorial homotopy theory?

14 votes
2 answers
1k views

How to introduce type theory to newcomer?

13 votes
1 answer
2k views

Mac Lane and Eilenberg's motivations for category theory

8 votes
0 answers
679 views

Foundation for category theory

7 votes
2 answers
865 views

Homotopic maps which aren't relative homotopic

6 votes
1 answer
407 views

Reasons for coherence for bi/monoidal categories

5 votes
1 answer
213 views

Lax algebras as lax morphisms

5 votes
3 answers
585 views

Computer algebra system for category theory

5 votes
1 answer
541 views

Lawvere category of categories for foundations

5 votes
1 answer
583 views

Filtered vs Directed colimits

3 votes
1 answer
149 views

Pullback of ring localizations.

3 votes
2 answers
358 views

Definition of enriched category as lax-monoidal functor

3 votes
0 answers
125 views

Internal equality for Eq-fibrations

2 votes
1 answer
289 views

Category of pointed manifolds

1 vote
0 answers
31 views

Singular point for Morse functions

0 votes
1 answer
29 views

How to obtain operation-version of the principle of equivalence from the property-version