Boarders on Nostr: Is there a resource (maybe Bénabou?) that develops elementary category theory from ...
Is there a resource (maybe Bénabou?) that develops elementary category theory from the point of view of something like (Grothendieck) fibrations where a category C is studied via a generalization of Fam(C) so that C is not fibered over the just the category of sets but the 2-category of small categories where the fiber at a category I is given by Func(I, C)?
Published at
2024-12-06 01:48:49Event JSON
{
"id": "46cb35784cc1a37869fcab57425b9e7e40dfaa9e1c8a26ebcb111da51ddb66cd",
"pubkey": "2f0afd5abe64f93d8a7586063f781b69e63387bb9a54d5455cfce53f7b87ed06",
"created_at": 1733449729,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/boarders/statuses/113603361440220136",
"activitypub"
]
],
"content": "Is there a resource (maybe Bénabou?) that develops elementary category theory from the point of view of something like (Grothendieck) fibrations where a category C is studied via a generalization of Fam(C) so that C is not fibered over the just the category of sets but the 2-category of small categories where the fiber at a category I is given by Func(I, C)?",
"sig": "48d41848af60018feb40859590d9c317554ba4c9422a705865422ea8bfe2375bdf46429747cf54afc060cb1bb4b91b3b7e0fc1b8867165c9ddf44cd6a90e1e7c"
}
