Login / Signup
Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads.
G. M. Kelly
Stephen Lack
Published in:
Appl. Categorical Struct. (1993)
Keyphrases
</>
finite state
life cycle
default logic
precedence relations
website
lower bound
product design
product information
unit length