Explore tweets tagged as #subobject
Which notation do you like the most (or dislike the least) for the subobject fibration?
2
2
9
《余談: この論文の「ゲームの圏」は圏論的にかなり良い性質を持っています。論文中では、終対象の存在くらいしか使っていませんが、実はlocally finitely presentable symmetric monoidal closed coregular category comonadic over Set admitting a subobject classifierになってます。》
1
8
48
Topos are; categories with Finite limits, which are cartesian closed, have a representable subobject functor. Why are topos important to modeling computation?
2
3
29
Really enjoy visualizing these subobject segmentations from DirectSAM
0
0
2
We updated our paper with the Direct Segment Anything Model (DirectSAM), which efficiently generates comprehensive subobject segmentations with a single forward pass! The pretrained model and training code are released in our GitHub repo ( https://t.co/0FgbbjkIBs)!
Subobject-level Image Tokenization Transformer-based vision models typically tokenize images into fixed-size square patches as input units, which lacks the adaptability to image content and overlooks the inherent pixel grouping structure. Inspired by the subword tokenization
0
2
5
少し前の記事ですが、便利さの割にあまり浸透して���ないようなので再掲💡 サブオブジェクト選択について https://t.co/tk0rC4ou2X Rhinoは通常クリックだとオブジェクト全体の選択になりますが【Ctrl+Shift＋クリック】すると一部の面・エッジ・頂点の選択・変形が可能です。
0
8
87
MIR construction has brings some unique challenges to C++. I'm working on inherited constructors (thanks, std::variant), and had been implementing them with a special AST node for subobject initialization. Because you can't copy function parameters, it copies the LLVM params.
1
0
26
みんながご飯食べて楽しそうにしている resp. SGLゼミをこの部屋1人でやってた 数学にも直感やイメージを掴みながら読み進めてはいますが、やっててよかったなと思う。 subobject classifierについて学んだけど、来週typicalなやつを見るしまだまだ旅は始まったばかりですね。
0
0
9
Cool cool. On the left: using dot for member-access on reference types preserves the kind of reference on its subobject. So using dot on a borrow gives you a borrow of the subobject. On the right: decltype is fixed. The inanity of C++11 is gone.
3
0
6
Subobject classifier idea. Logical chop suey...make it as you like. Category theory.
0
0
0
Cool cool, cmp operator <=> now lowers to MIR. One instruction for both the strong and partial varieties. The MIR abstracts the details. LLVM lowering pokes an i8 into a subobject of the target object.
0
0
15
topos E の subobject classifier に群構造が入るなら E は Boolean topos という謎定理 https://t.co/WqGtx7FnwD
0
3
11
Here is my new favorite UB trap (🧵 1/2). Doing a down-cast from a base subobject (memref) to the most-derived type (make_pvec) while that most-derived object is still under construction is undefined behavior (UB), because the lifetime of "make_pvec" has not yet begun. If we
2
0
3
This is my first paper done at FAIR. We show that adaptive visual token segmentation, especially in subobject-level (i.e., subwords in images), enables VLMs to have a better and faster learning of image understanding! https://t.co/i7XtIzcSWY
1
12
59