Top Tweets for #Groupoids

Logic Geometry, Information @LGcommaI

about 3 years ago

#HofmannStreicher-1 [#Classics #Groupoids #HistoryOfMath #HomotopyTypeTheory #ShulmanLogicOfSpace] The groupoid interpretation of #TypeTheory Martin Hofmann Thomas Streicher Ch. 6 in: Twenty-Five Years of Constructive Type Theory Oxford University Press (1998) ISBN 0198501277

LGcommaI's tweet photo. #HofmannStreicher-1
[#Classics
#Groupoids
#HistoryOfMath
#HomotopyTypeTheory
#ShulmanLogicOfSpace]

The groupoid interpretation of #TypeTheory

Martin Hofmann
Thomas Streicher

Ch. 6 in:
Twenty-Five Years of Constructive Type Theory
Oxford University Press (1998)
ISBN 0198501277 https://t.co/H2ljF0uxZi

1

2

0

0

198

Logic Geometry, Information @LGcommaI

about 3 years ago

#ShulmanLogicOfSpace-1 [#Formalization #Groupoids #New] Homotopy Type Theory: The #Logic of Space Michael Shulman (University of #SanDiego) Ch. 6 in New Spaces in #Mathematics Cambridge University Press 2021 ISBN 9781108490634 M.t. Homotopietypentheorie: die Logik des Raumes

LGcommaI's tweet photo. #ShulmanLogicOfSpace-1
[#Formalization
#Groupoids
#New]
Homotopy Type Theory: The #Logic of Space

Michael Shulman (University of #SanDiego)

Ch. 6 in
New Spaces in #Mathematics
Cambridge University Press 2021
ISBN 9781108490634

M.t. Homotopietypentheorie: die Logik des Raumes https://t.co/A8l9AoOY30

0

1

0

0

212

Entropy MDPI @Entropy_MDPI

over 4 years ago

#mdpientropy "Causality in Schwinger’s Picture of Quantum Mechanics" https://t.co/zzJa2b7pfg #causality #groupoids #causalcategories #causalsets

Entropy_MDPI's tweet photo. #mdpientropy "Causality in Schwinger’s Picture of Quantum Mechanics" https://t.co/zzJa2b7pfg

#causality
#groupoids
#causalcategories
#causalsets https://t.co/kFktt7nhAR

0

1

0

1

0

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users