On 5/26/25 22:31, Waldek Hebisch wrote:
On Mon, May 26, 2025 at 06:48:39PM +0100, Martin Baker wrote:
The idea here is that:
* topologies are sets of _labeled_ sets
* isomorphism classes are sets of _unlabeled_ sets
(both with the usual meet,join top and bottom axioms)
Strange, suddenly that reminds me of something I did in Aldor-Combinat
together with Martin Rubey (CC to him). Maybe Martin R. is still more
into the subject and can say something with respect to Combinatorial
Species and how topologies are modelled by them.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/06e4e9d1-bd1b-4280-83d0-e1e3c0efc16c%40hemmecke.org.
