Home
Explore
mastodon.social
mstdn.social
infosec.exchange
mstdn.jp
social.vivaldi.net
hachyderm.io
piaille.fr
mastodon.world
troet.cafe
m.cmx.im
mastodon.uno
mastodon.gamedev.place
techhub.social
social.tchncs.de
mastodon.nl
norden.social
flipboard.social
kolektiva.social
mastoturk.org
mathstodon.xyz
nrw.social
occm.cc
tech.lgbt
defcon.social
mstdn.ca
mastodonapp.uk
universeodon.com
c.im
masto.es
sueden.social
toot.community
mstdn.party
sfba.social
mastodon.scot
det.social
mastodon.sdf.org
tkz.one
mastodon.ie
ohai.social
ruhr.social
mastodontech.de
hessen.social
mastodon.nu
pouet.chapril.org
livellosegreto.it
mastodon.au
social.linux.pizza
muenchen.social
ieji.de
social.cologne
indieweb.social
mastodon.eus
mastodon.bida.im
ioc.exchange
mastodon.green
mastodont.cat
wehavecookies.social
feuerwehr.social
social.anoxinon.de
nerdculture.de
masto.nu
ruby.social
mindly.social
mastodon.ml
cyberplace.social
metalhead.club
phpc.social
uri.life
mastodontti.fi
dresden.network
m.otter.homes
toot.wales
sunny.garden
climatejustice.social
sciences.social
noc.social
mstdn.plus
tooting.ch
freiburg.social
privacysafe.social
woof.tech
mastodon.me.uk
mastodon.com.pl
hostux.social
furry.engineer
rollenspiel.social
blorbo.social
bonn.social
rheinneckar.social
urbanists.social
gaygeek.social
mast.lat
mastoart.social
rivals.space
wien.rocks
discuss.systems
expressional.social
ursal.zone
mapstodon.space
mstdn.games
mastodon-belgium.be
masto.pt
h4.io
todon.nl
hcommons.social
fairy.id
snabelen.no
darmstadt.social
cupoftea.social
lgbtqia.space
sakurajima.moe
tilde.zone
bark.lgbt
glasgow.social
shelter.moe
urusai.social
mastodon.gal
retro.pizza
ludosphere.fr
qdon.space
muenster.im
mastodon.berlin
peoplemaking.games
pawb.fun
socel.net
toot.aquilenet.fr
bookstodon.com
veganism.social
mast.dragon-fly.club
union.place
mstdn.dk
kanoa.de
vmst.io
theblower.au
toad.social
witter.cz
freeradical.zone
eupolicy.social
masto.nyc
oslo.town
mastodon.uy
famichiki.jp
machteburch.social
tooot.im
xarxa.cloud
musicworld.social
fandom.ink
stranger.social
disabled.social
thecanadian.social
mstdn.business
gardenstate.social
graphics.social
cultur.social
pnw.zone
burningboard.net
hear-me.social
furries.club
mountains.social
mustard.blog
mastorol.es
dizl.de
mastodon.pnpde.social
musician.social
bahn.social
tea.codes
toot.kif.rocks
fedi.at
ciberlandia.pt
archaeo.social
tuiter.rocks
libretooth.gr
babka.social
musicians.today
ani.work
vkl.world
dmv.community
mastodon.energy
frikiverse.zone
4bear.com
drupal.community
tyrol.social
gamepad.club
social.seattle.wa.us
masto.nobigtech.es
mast.hpc.social
hometech.social
donphan.social
toot.si
qaf.men
lou.lt
fulda.social
muri.network
tchafia.be
is.nota.live
bzh.social
social.politicaconciencia.org
social.silicon.moe
puntarella.party
wargamers.social
mastodon.vlaanderen
toot.re
lsbt.me
datasci.social
mograph.social
norcal.social
opencoaster.net
mastodon.africa
theatl.social
toot.funami.tech
hispagatos.space
epicure.social
burma.social
elekk.xyz
devianze.city
apobangpo.space
est.social
friendsofdesoto.social
mastodon.london
kurry.social
planetearth.social
leipzig.town
lewacki.space
mastodon.pirateparty.be
toot.garden
genealysis.social
mstdn.animexx.de
mastodon.cr
mastodon.education
colorid.es
esq.social
ruhrpott.social
indieauthors.social
fikaverse.club
hoosier.social
mastodon.bot
mastodon.wien
fairmove.net
techtoots.com
library.love
toots.nu
mastodon-swiss.org
fribygda.no
opalstack.social
frontrange.co
paktodon.asia
h-net.social
raphus.social
rheinhessen.social
mastodon.sg
rail.chat
poweredbygay.social
arvr.social
cwb.social
seocommunity.social
episcodon.net
epsilon.social
camp.smolnet.org
stereodon.social
okla.social
mastodon.free-solutions.org
elizur.me
mastodon.cipherbliss.com
birdon.social
biplus.social
bologna.one
masto.yttrx.com
k8s.social
growers.social
khiar.net
mastodon.hosnet.fr
skastodon.com
squawk.mytransponder.com
mastodon.babb.no
mastodon.frl
balkan.fedive.rs
silversword.online
cville.online
ailbhean.co-shaoghal.net
social.diva.exchange
kcmo.social
mastodon.bachgau.social
lounge.town
23.illuminati.org
mastodon.iow.social
kzoo.to
mcr.wtf
synapse.cafe
mastodon.ph
nfld.me
darticulate.com
social.ferrocarril.net
mastodon.ee
mastodon.bahia.no
voi.social
nwb.social
troet.fediverse.at
nautical.social
dariox.club
polsci.social
mikumikudance.cloud
mastodon.mg
social.sndevs.com
fpl.social
nomanssky.social
kjas.no
bvb.social
ms.maritime.social
ceilidh.online
nutmeg.social
netsphere.one
learningdisability.social
wxw.moe
computerfairi.es
Log In
Amelie Matheuse en Carton
Set theorist are panicking right now /j
1
0
0
Show thread
Amelie Matheuse en Carton
Mar 24, 2023
Source: "Homotopy Type Theory"
(And yes in this context, it is correct!)
1
0
0
Show thread
Amelie Matheuse en Carton
Mar 24, 2023
Alt-text for english user: A quote of a math Book saying that the type of Ordinals is a set
0
0
0
Amelie Matheuse en Carton