kripke joyal

@kripkejoyal

Location

the world

Following Organizations

No Organizations you are following

Following tags

No tags you are following

$ analyze @kripkejoyal

posted articles:
  • 圏論:33%
  • TypeTheory:33%
  • トポス:33%
  • 位相:33%
  • Topos:33%
answered questions:
  • No data