牌带来
发表于 2025-3-23 11:37:45
Stefan Loehnert,Dana S. Mueller-Hoeppe where closed structures seem to be unique (cp. Činčura , Isbell ). A further application of the extension theorem is a criterion for monoidal- resp. cartesian closedness of MacNeille completions. Of course a symmetric monoidal closed structure is uniquely determined by its values on a finally
不理会
发表于 2025-3-23 16:53:47
N. Moës,N. Chevaugeon,F. Dufour where closed structures seem to be unique (cp. Činčura , Isbell ). A further application of the extension theorem is a criterion for monoidal- resp. cartesian closedness of MacNeille completions. Of course a symmetric monoidal closed structure is uniquely determined by its values on a finally
apiary
发表于 2025-3-23 19:08:40
http://reply.papertrans.cn/47/4607/460644/460644_13.png
Inertia
发表于 2025-3-23 23:41:54
Francesco Marotti de Sciarra where closed structures seem to be unique (cp. Činčura , Isbell ). A further application of the extension theorem is a criterion for monoidal- resp. cartesian closedness of MacNeille completions. Of course a symmetric monoidal closed structure is uniquely determined by its values on a finally
新陈代谢
发表于 2025-3-24 05:27:14
F. Ebobisse,A. T. McBride,B. D. Reddy where closed structures seem to be unique (cp. Činčura , Isbell ). A further application of the extension theorem is a criterion for monoidal- resp. cartesian closedness of MacNeille completions. Of course a symmetric monoidal closed structure is uniquely determined by its values on a finally
控诉
发表于 2025-3-24 06:51:47
Patrizio Neff where closed structures seem to be unique (cp. Činčura , Isbell ). A further application of the extension theorem is a criterion for monoidal- resp. cartesian closedness of MacNeille completions. Of course a symmetric monoidal closed structure is uniquely determined by its values on a finally
RLS898
发表于 2025-3-24 14:12:35
http://reply.papertrans.cn/47/4607/460644/460644_17.png
冒烟
发表于 2025-3-24 18:55:17
Stephan Brunssen,Corinna Hager,Florian Schmid,Barbara Wohlmuth where closed structures seem to be unique (cp. Činčura , Isbell ). A further application of the extension theorem is a criterion for monoidal- resp. cartesian closedness of MacNeille completions. Of course a symmetric monoidal closed structure is uniquely determined by its values on a finally
口诀
发表于 2025-3-24 19:24:06
http://reply.papertrans.cn/47/4607/460644/460644_19.png
Disk199
发表于 2025-3-25 00:57:20
http://reply.papertrans.cn/47/4607/460644/460644_20.png