A small tool to view real-world ActivityPub objects as JSON! Enter a URL
or username from Mastodon or a similar service below, and we'll send a
request with
the right
Accept
header
to the server to view the underlying object.
{
"@context": [
"https://www.w3.org/ns/activitystreams",
{
"ostatus": "http://ostatus.org#",
"atomUri": "ostatus:atomUri",
"inReplyToAtomUri": "ostatus:inReplyToAtomUri",
"conversation": "ostatus:conversation",
"sensitive": "as:sensitive",
"toot": "http://joinmastodon.org/ns#",
"votersCount": "toot:votersCount"
}
],
"id": "https://mathstodon.xyz/users/varkor/statuses/109479305369084244",
"type": "Note",
"summary": null,
"inReplyTo": "https://mathstodon.xyz/users/ltchen/statuses/109478851421119293",
"published": "2022-12-08T17:47:07Z",
"url": "https://mathstodon.xyz/@varkor/109479305369084244",
"attributedTo": "https://mathstodon.xyz/users/varkor",
"to": [
"https://www.w3.org/ns/activitystreams#Public"
],
"cc": [
"https://mathstodon.xyz/users/varkor/followers",
"https://mathstodon.xyz/users/ltchen"
],
"sensitive": false,
"atomUri": "https://mathstodon.xyz/users/varkor/statuses/109479305369084244",
"inReplyToAtomUri": "https://mathstodon.xyz/users/ltchen/statuses/109478851421119293",
"conversation": "tag:mathstodon.xyz,2022-12-08:objectId=32612759:objectType=Conversation",
"content": "<p><span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ltchen\" class=\"u-url mention\">@<span>ltchen</span></a></span> While there is a standard definition of "category", there is no standard definition of "type theory"/"deductive system" (though there are many candidates). However, if you pick a specific framework (e.g. generalised algebraic theories), then one can give a general type theoretic definition of product just as easily as one gives the category theoretic definition of product.</p><p>Historically, studying "type theories" in general has not been popular, though it is becoming more fashionable now.</p>",
"contentMap": {
"en": "<p><span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ltchen\" class=\"u-url mention\">@<span>ltchen</span></a></span> While there is a standard definition of "category", there is no standard definition of "type theory"/"deductive system" (though there are many candidates). However, if you pick a specific framework (e.g. generalised algebraic theories), then one can give a general type theoretic definition of product just as easily as one gives the category theoretic definition of product.</p><p>Historically, studying "type theories" in general has not been popular, though it is becoming more fashionable now.</p>"
},
"attachment": [],
"tag": [
{
"type": "Mention",
"href": "https://mathstodon.xyz/users/ltchen",
"name": "@ltchen"
}
],
"replies": {
"id": "https://mathstodon.xyz/users/varkor/statuses/109479305369084244/replies",
"type": "Collection",
"first": {
"type": "CollectionPage",
"next": "https://mathstodon.xyz/users/varkor/statuses/109479305369084244/replies?only_other_accounts=true&page=true",
"partOf": "https://mathstodon.xyz/users/varkor/statuses/109479305369084244/replies",
"items": []
}
},
"likes": {
"id": "https://mathstodon.xyz/users/varkor/statuses/109479305369084244/likes",
"type": "Collection",
"totalItems": 7
},
"shares": {
"id": "https://mathstodon.xyz/users/varkor/statuses/109479305369084244/shares",
"type": "Collection",
"totalItems": 1
}
}