What's better for my 2-functor between bigroupoids, where I can lift 2-arrows with specified lifted target, and lift 1-arrows with specified lifted target. Additionally it is surjective on objects and the strict fibres are 1-groupoids.
Or comment if you think that '2-fibration' is sufficient, because everything is invertible, at least up to isomorphism.
theHigherGeometer /
npub1d6…5mhwm
2024-11-06 05:55:24
Author Public Key
npub1d60hhaertjrlmhefe54s00hfyga38wangrqthcu3zdnnnfm3myase5mhwmPublished at
2024-11-06 05:55:24Event JSON
{
"id": "3e0e19d6a6c59635194515407e347b70b64cf88b5a087fd66882788641a67e33",
"pubkey": "6e9f7bf7235c87fddf29cd2b07bee9223b13bbb340c0bbe391136739a771d93b",
"created_at": 1730872524,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@highergeometer/113434461741976076",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/highergeometer/statuses/113434461741976076",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/highergeometer/statuses/113434461741976076",
"pink.momostr"
],
[
"-"
]
],
"content": "What's better for my 2-functor between bigroupoids, where I can lift 2-arrows with specified lifted target, and lift 1-arrows with specified lifted target. Additionally it is surjective on objects and the strict fibres are 1-groupoids. \n\nOr comment if you think that '2-fibration' is sufficient, because everything is invertible, at least up to isomorphism.",
"sig": "d0bfb5471fc3a945cee660753a8263693c0d815153a45c580ead1f763ce5061ce8eb41ca88054b4d417aca72f29f4b62df0f0a3aaff405cf13495a50f444ca54"
}