← Feed @constantine@types.pl Post #2590503 2026-05-13 14:00 UTC Has anyone studied the (2,2)-category of natural models of type theory? Specifically in reference to (op)lax limits/colimits Replies (0) No replies.