Skip to main content
Theoretical Computer Science
Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa's user avatar
Giorgio Mossa
  • Member for 11 years, 10 months
  • Last seen more than a month ago
  • Earth
Profile Activity

Stats

454
reputation
5k
reached
5
answers
2
questions
Communities
View all

About

I'm math student, in particular I'm interested in algebra, geometry, topology and category theory (especially higher dimensional category theory) and its application in mathematics.

Badges

View all badges
This user doesn’t have any gold badges yet.
2
silver badges
10
bronze badges

Top tags

View all tags
9
Score
3
Posts
43
Posts %
6
Score
2
Posts
29
Posts %
6
Score
2
Posts
29
Posts %
5
Score
1
Posts
14
Posts %
5
Score
1
Posts
14
Posts %
4
Score
2
Posts
29
Posts %

Top posts

17
Formalizing Homotopy Type theory in Idris
Dec 27, 2014
5
How would a theory of computation course that culminated in lambda-calculus as "the" model of computation, instead of Turing machines, look like?
Feb 23, 2015
4
Algebra and algebraic data types
Jan 11, 2016
3
Distinguishing semantics vs syntactic techniques and the syntax of your semantic domains
Mar 12, 2015
1
Why is lambda calculus so "function" oriented?
Feb 23, 2015
1
Why are simulations defined as relations and not as functions?
May 12, 2018
1
What is the formalism behind ?- (query) in Prolog?
Jan 12, 2015

Top network posts

View all network posts
62
Natural transformations as categorical homotopies
42
Is Mac Lane still the best place to learn category theory?
40
How to Prove a Programming Language is Turing Complete?
29
Concrete example of $\infty$-categories
27
The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?