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/MartinEscardo/statuses/111874742744054699/replies",
"type": "Collection",
"first": {
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/111874742744054699/replies?page=true",
"type": "CollectionPage",
"next": "https://mathstodon.xyz/users/MartinEscardo/statuses/111874742744054699/replies?only_other_accounts=true&page=true",
"partOf": "https://mathstodon.xyz/users/MartinEscardo/statuses/111874742744054699/replies",
"items": [
{
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/114325373550321845",
"type": "Note",
"summary": null,
"inReplyTo": "https://mathstodon.xyz/users/MartinEscardo/statuses/111874742744054699",
"published": "2025-04-12T14:05:59Z",
"url": "https://mathstodon.xyz/@MartinEscardo/114325373550321845",
"attributedTo": "https://mathstodon.xyz/users/MartinEscardo",
"to": [
"https://www.w3.org/ns/activitystreams#Public"
],
"cc": [
"https://mathstodon.xyz/users/MartinEscardo/followers",
"https://mathstodon.xyz/users/ecavallo",
"https://types.pl/users/ncf"
],
"sensitive": false,
"atomUri": "https://mathstodon.xyz/users/MartinEscardo/statuses/114325373550321845",
"inReplyToAtomUri": "https://mathstodon.xyz/users/MartinEscardo/statuses/111874742744054699",
"conversation": "tag:mathstodon.xyz,2023-08-14:objectId=61683218:objectType=Conversation",
"content": "<p>* 2025/04/12. A universal characterization of the closed Euclidean interval.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114325340007735876\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114325340007735876</span></a></p><p>*2025/05/14. Computing all optimal plays of a sequential game.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114506199078361520\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114506199078361520</span></a></p><p>*2025/05/20. Internal effectful forcing.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114541967632998444\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114541967632998444</span></a></p><p>*2025/05/21. A positive way of saying that a type is different from the unit type, in connection with the lifting monad.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114547664640960020\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114547664640960020</span></a></p><p>*2025/06/05. Taking "algebraically" seriously in the definition of algebraically injective type.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114633174055141602\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114633174055141602</span></a></p><p>*2025/06/20. The fundamental lemma of transport along equivalences.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114717657709706036\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114717657709706036</span></a></p><p>*2025/06/22. Question about object classifiers and univalence.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114722727504214914\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114722727504214914</span></a></p><p>*2025/06/26. Dependent equality in dependent type theory.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114751426538568913\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114751426538568913</span></a></p><p>*2025/07/01. A proof that the type of natural numbers is a set in MLTT without universes by Evan Cavallo. <br /><a href=\"https://mathstodon.xyz/deck/@ncf@types.pl/114779291804001070\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@ncf@types</span><span class=\"invisible\">.pl/114779291804001070</span></a></p><p>The above is a thread started by <span class=\"h-card\" translate=\"no\"><a href=\"https://types.pl/@ncf\" class=\"u-url mention\">@<span>ncf</span></a></span> with that question, and eventually answered by <span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ecavallo\" class=\"u-url mention\">@<span>ecavallo</span></a></span> . I made wrong statements in that thread, but I am keeping them without correction (people corrected me there).</p><p>4/</p>",
"contentMap": {
"en": "<p>* 2025/04/12. A universal characterization of the closed Euclidean interval.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114325340007735876\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114325340007735876</span></a></p><p>*2025/05/14. Computing all optimal plays of a sequential game.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114506199078361520\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114506199078361520</span></a></p><p>*2025/05/20. Internal effectful forcing.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114541967632998444\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114541967632998444</span></a></p><p>*2025/05/21. A positive way of saying that a type is different from the unit type, in connection with the lifting monad.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114547664640960020\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114547664640960020</span></a></p><p>*2025/06/05. Taking "algebraically" seriously in the definition of algebraically injective type.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114633174055141602\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114633174055141602</span></a></p><p>*2025/06/20. The fundamental lemma of transport along equivalences.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114717657709706036\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114717657709706036</span></a></p><p>*2025/06/22. Question about object classifiers and univalence.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114722727504214914\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114722727504214914</span></a></p><p>*2025/06/26. Dependent equality in dependent type theory.<br /><a href=\"https://mathstodon.xyz/deck/@MartinEscardo/114751426538568913\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@MartinEsc</span><span class=\"invisible\">ardo/114751426538568913</span></a></p><p>*2025/07/01. A proof that the type of natural numbers is a set in MLTT without universes by Evan Cavallo. <br /><a href=\"https://mathstodon.xyz/deck/@ncf@types.pl/114779291804001070\" target=\"_blank\" rel=\"nofollow noopener noreferrer\" translate=\"no\"><span class=\"invisible\">https://</span><span class=\"ellipsis\">mathstodon.xyz/deck/@ncf@types</span><span class=\"invisible\">.pl/114779291804001070</span></a></p><p>The above is a thread started by <span class=\"h-card\" translate=\"no\"><a href=\"https://types.pl/@ncf\" class=\"u-url mention\">@<span>ncf</span></a></span> with that question, and eventually answered by <span class=\"h-card\" translate=\"no\"><a href=\"https://mathstodon.xyz/@ecavallo\" class=\"u-url mention\">@<span>ecavallo</span></a></span> . I made wrong statements in that thread, but I am keeping them without correction (people corrected me there).</p><p>4/</p>"
},
"updated": "2025-07-02T19:05:13Z",
"attachment": [],
"tag": [
{
"type": "Mention",
"href": "https://types.pl/users/ncf",
"name": "@ncf@types.pl"
},
{
"type": "Mention",
"href": "https://mathstodon.xyz/users/ecavallo",
"name": "@ecavallo"
}
],
"replies": {
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/114325373550321845/replies",
"type": "Collection",
"first": {
"type": "CollectionPage",
"next": "https://mathstodon.xyz/users/MartinEscardo/statuses/114325373550321845/replies?only_other_accounts=true&page=true",
"partOf": "https://mathstodon.xyz/users/MartinEscardo/statuses/114325373550321845/replies",
"items": []
}
},
"likes": {
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/114325373550321845/likes",
"type": "Collection",
"totalItems": 1
},
"shares": {
"id": "https://mathstodon.xyz/users/MartinEscardo/statuses/114325373550321845/shares",
"type": "Collection",
"totalItems": 1
}
}
]
}
}