Institution

References

• https://ncatlab.org/nlab/show/institution