Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
What purpose is this page intended to serve? At the moment it just links to category of fibrant objects. Is there a reason this is not merged with that page?
The definitions of “fibration category” in use are not all exactly the same as that of “category of fibrant objects” in K. Brown’s sense.
The purpose of this page is to provide explanation to users who click on a link text “fibration category” in other entries.
Of course it does not yet fulfill its purpose. But that is its purpose, nevertheless.
I see. Perhaps a good starting point would be for the page simply to contain some references to other notions, without necessarily any accompanying exposition in the article. (Unfortunately I am not familiar with this topic, otherwise I would do so.)
1 to 3 of 3