Forum

eduardoochs
@eduardoochs
New Member
Joined: Nov 24, 2020
Last seen: Dec 4, 2020
Topics: 0 / Replies: 2
Reply
RE: Hi - and a question on "closure operators restricted to the terminal object"

UPDATE: Jens Hemelaer pointed me to this paper by Bert Lindenhovius -- and it seems that several things that I was trying to prove by myself are prove...

3 years ago