余弦和计算——第3部分
John Baez发布
来宾发帖人安吉丽娜·阿吉纳尔多和安娜·克诺尔2021年，作为应用范畴理论附属学派的一部分
Synthesi和Socrates回来了！他们从中学到了什么第2部分在我们关于使用cospan进行计算的一系列博客文章中？
苏格拉底：这是一次对网络安全世界的迷人访问！
Synthesi公司很高兴你喜欢这次远足。你有什么想法吗？
苏格拉底：让我们反思一下在过去一个小时里我们采取的认知步骤，因为我们看到了推出式作文在回答关键问题时的威力：“计算机A可以通过计算机C访问计算机B吗？”.
Synthesi公司：我很乐意附议。清晰地提取这些步骤可能有助于医院场景之外的类似应用。
苏格拉底：为此，你能用分类的观点来反映我的认知方法吗？
Synthesi公司苏格拉底，全心全意。
苏格拉底：那么，作为解决安全紧急情况的基础，获得了两个数据集？代表两个网络SSH（SSH）我相信他们被称为“关系”？
Synthesi公司：确实如此。从FinSet类别中选取两个对象就是所做的动作。
苏格拉底：然后使用这些数据集计算两个单独的图形？描述每个网络中从源IP到响应IP的连接的图表？
Synthesi公司：是的，这一步我们可以理解为定义函子.
苏格拉底：我们的网络管理员利用她的直觉选择了一个她认为可疑的跳线ID？
合成：这对应于很快选择一个跨度，以形成我们分类框架中的共同分支。
苏格拉底：其中启动IP（IP）在网络1和目标中IP（IP）在网络中…
Synthesi公司：…与cospan 1中的输入元素和cospan 2中的输出元素相匹配。
苏格拉底：然后走向全局，我们的管理员将来自两个网络的数据集行合并在一起？然而，她只在不涉及可疑跳线盒ID的情况下为每个连接添加标签？
Synthesi公司真的，一个狡猾的步骤！这真是一个她成功构建的外推！有限集合的不相交并集，由精心选择的元素求商。
苏格拉底：她可以用倒数第二步直观地描述一种情况？通过计算这个组合数据集的图形？
Synthesi公司事实上，这是一个由装饰函子的相干图所实现的推出的可视化。
苏格拉底这一策略最终得到了最终答案IP（IP）连接到目标IP（IP）在这个精心制作的图表中？只能通过可疑跳线盒ID进行连接？
Synthesi公司：事实上，通过协等式计算该图的连接分量最终证实了她的怀疑：“192.168.25.253通过跳线盒ID 192.168.202.108连接到192.168.2 02.68”.
苏格拉底：Synthesi，谢谢你的对话。
Synthesi公司亲爱的苏格拉底，我也谢谢你。
发布于2021年9月10日凌晨3:57 UTC
