Fixed broken link syntax in references
]]>Added an idea section. I’m afraid it might be slightly floppy, but I intend to add definitions and theorems in the future.
]]>I just added a few basic links. I’ll add links to papers where monoidal versions of indexed categories and fibrations have shown up.
Joe M
]]>