Bruno Gavranović

I'm building neural networks that generate provably correct code, and the software infrastructure for training them.

Recently experimenting with TensorType: https://github.com/bgavran/TensorType

Public Key

npub1as5wuenwxtp52fgk2u6km8drqg70zwras7hr0g9gfqp6ffmajdzqfzm3d3

NIP-05 Address

bgavran@mathstodon-xyz.mostr.pub

Profile Code

nprofile1qqswc28wvehr9s69y5t9wdtdnk3sy0838p7c0t3h5z5ysqay5a7ex3qpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds2765rp

Publishing to

nostr-pub.wellorder.net

relay.damus.io

nos.lol

Author Public Key

npub1as5wuenwxtp52fgk2u6km8drqg70zwras7hr0g9gfqp6ffmajdzqfzm3d3

Show more details

Last Notes

2026-01-27 16:30:15 UTC

- reply

@nprofile…97ud I think there is some care that needs to be taken when upgrading the "removing element of a set" story to "removing an object of a category" one.
For instance, if there was another object `q` isomorphic to `p0` we removed, we'd end up with an equivalent category. So you likely want to remove the entire isomorphism class, but then I believe you run into further problems.
This thesis on Symmetric Containers (Section 2.3) goes into some detail: https://staff.math.su.se/gylterud/thesis_gylterud.pdf

2025-11-10 12:11:44 UTC

- reply

@nprofile…p3nn @nprofile…4x5t It did - the Appendix B of my thesis contains an intro and relevant constuctions of locally graded (and indexed) categories, and unpacks how one obtains Para as a change of base along the category of elements
https://arxiv.org/abs/2403.13001