Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

define f-algebras and eilenberg-moore category #22

Open
marcosh opened this issue May 21, 2019 · 4 comments
Open

define f-algebras and eilenberg-moore category #22

marcosh opened this issue May 21, 2019 · 4 comments
Assignees
@marcosh

Comments

@marcosh
Copy link
Contributor

marcosh commented May 21, 2019

No description provided.

@marcosh marcosh self-assigned this May 21, 2019
@FabrizioRomanoGenovese
Copy link
Collaborator

What is the reason for this?

@marcosh
Copy link
Contributor Author

marcosh commented May 21, 2019

no specific reason at the moment, I just added here for future reference for things which could be nice to add to the library

@FabrizioRomanoGenovese
Copy link
Collaborator

That's fine, even if for now (assuming we solve the free smc nightmare) I'd really like to push on the fast compose feature for fssmcs. If we have that fssmcs become usable in practice, which is kinda of a big deal :D

@marcosh
Copy link
Contributor Author

marcosh commented May 21, 2019

I started working on that yesterday and I'm going to work on it some more today

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@marcosh marcosh

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@marcosh @FabrizioRomanoGenovese