CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd" > <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-ca"> <head> <title>nForum - Search</title> <link rel="shortcut icon" href="/themes/nforum/styles/nforum/favicon.ico" /> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <link rel="stylesheet" type="text/css" href="/extensions/TagThis/theme/tagthis.css" /> <link rel="stylesheet" type="text/css" href="/themes/nforum/styles/nforum/vanilla.css" media="screen" /> <link rel="stylesheet" type="text/css" href="/themes/nforum/styles/nforum/vanilla.print.css" media="print" /> <link rel="stylesheet" type="text/css" href="/extensions/GuestSignIn/style.css" /> <link rel="stylesheet" type="text/css" href="/extensions/OpenID/css/openid.css" /> <script type="text/javascript" src="/js/global.js"></script> <script type="text/javascript" src="/js/vanilla.js"></script> <script type="text/javascript" src="/js/ajax.js"></script> <script type="text/javascript" src="/js/ac.js"></script> <script type="text/javascript" src="/extensions/JQuery/jquery-1.4.2.min.js"></script> <script type="text/javascript" src="/extensions/OpenID/js/openid-jquery.js"></script> <script type="text/javascript" src="/extensions/OpenID/js/openid-en.js"></script> <script type="text/javascript" src="/extensions/MembersList/library/tablesort.js"></script> <script type="text/javascript" src="/extensions/MembersList/library/paginate.js"></script> <link rel="alternate" type="application/rss+xml" href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=RSS2&Tag=theory&FeedTitle=Search+Results+Feed+%28Tag%3A+theory%29" title="Search Results Feed (RSS2)" /> <link rel="alternate" type="application/atom+xml" href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=ATOM&Tag=theory&FeedTitle=Search+Results+Feed+%28Tag%3A+theory%29" title="Search Results Feed (ATOM)" /> <script type="text/javascript"> ( function($) { $(document).ready(function() { openid.init('openid_identifier',true); openid.setFormID('frmSignInOpenID'); }); }) (jQuery ); </script><script type="text/x-mathjax-config">MathJax.Hub.Config({TeX: {extensions: ["AMScd.js"]}});</script><script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.7/MathJax.js?config=MML_HTMLorMML-full"></script></head> <body id="SearchPage" onload="Focus('txtKeywords');"> <div id="SiteContainer"><div id="Session">Not signed in (<a href="/people.php?ReturnUrl=http%3A%2F%2Fnforum.ncatlab.org%2Fsearch%2F%3FPostBackAction%3DSearch%26Type%3DTopics%26Tag%3Dtheory">Sign In</a>)</div><div id="Header"> <a id="pgtop"></a> <h1> nForum </h1> <div id="TagLine">A discussion forum about contributions to the <a href="https://ncatlab.org/">nLab wiki</a> and related areas of mathematics, physics, and philosophy.</div><ul><li><a href="/extension.php?PostBackAction=HomeCat" >Home</a></li><li><a href="/" >Discussions</a></li><li><a href="/categories.php" >Categories</a></li><li class="TabOn"><a href="/search.php" >Search</a></li><li><a href="https://ncatlab.org/nlab/show/HomePage" >nLab</a></li><li><a href="https://ncatlab.org/nlabmeta/show/Welcome+to+the+nForum" >Help</a></li></ul> </div><div id="Body"><div id="Panel"><ul> <li> <h2>Search Results Feed</h2> <ul><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=RSS2&Tag=theory&FeedTitle=Search+Results+Feed+%28Tag%3A+theory%29" title="Subscribe to this feed..." class="RSS2">RSS2</a></li><li> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Page=1&Feed=ATOM&Tag=theory&FeedTitle=Search+Results+Feed+%28Tag%3A+theory%29" title="Subscribe to this feed..." class="ATOM">ATOM</a></li></ul> </li> </ul><div id="GuestSignIn"> <h2>Not signed in</h2> Want to take part in these discussions? Sign in if you have an account, or apply for one below <fieldset><form id="frmSignInUser" method="post" action="https://nforum.ncatlab.org/people/"> <div> <input name="PostBackAction" value="SignIn" type="hidden" /> <input name="ReturnUrl" value="http://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=theory" type="hidden" /> <ul> <li><label for="txtUsername">Username</label> <input id="txtUsername" name="Username" value="" class="Input" maxlength="20" type="text" /> </li> <li><label for="txtPassword">Password</label> <input id="txtPassword" name="Password" value="" class="Input" type="password" /> </li> <li id="RememberMe"><label for="RememberMeID"> <input name="RememberMe" value="1" id="RememberMeID" type="checkbox" checked="checked" /> Remember me</label> </li> <li> <input name="userSignIn" value="Sign In" class="Button" type="submit" /> </li> </ul> </div> </form> </fieldset> <fieldset><form id="frmSignInOpenID" method="post" action="https://nforum.ncatlab.org/people/"> <input name="PostBackAction" value="SignIn" type="hidden" /> <div> <ul> <li>Sign in using OpenID <div id="openid_choice"> <div id="openid_btns"></div> </div> <div id="openid_input_area"> <input id="openid_identifier" name="openid_identifier" type="text" value="http://" /> </div> </li> <li id="RememberMe"><label for="RememberMeID"> <input name="RememberMe" value="1" id="RememberMeID" type="checkbox" checked="checked" /> Remember me</label> </li> <li><input name="openidSignIn" value="Sign In" class="Button" type="submit" /></li> </ul> </div></form></fieldset> <ul class="MembershipOptionLinks"> <li class="ForgotPasswordLink"><a href="https://nforum.ncatlab.org/people/?PostBackAction=PasswordRequestForm">Forgot your password?</a></li> <li class="ApplyForMembershipLink"><a href="https://nforum.ncatlab.org/people/?PostBackAction=ApplyForm">Apply for membership</a></li> </ul></div><h2>Site Tag Cloud</h2><div id="TagCloud"><a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=2-category" class="TagLink">2-category</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=2-category-theory" class="TagLink">2-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=abelian-categories" class="TagLink">abelian-categories</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=adjoint" class="TagLink">adjoint</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebra" class="TagLink">algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebraic" class="TagLink">algebraic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebraic-geometry" class="TagLink">algebraic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=algebraic-topology" class="TagLink">algebraic-topology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=analysis" class="TagLink">analysis</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=analytic-geometry" class="TagLink">analytic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=arithmetic" class="TagLink">arithmetic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=arithmetic-geometry" class="TagLink">arithmetic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=book" class="TagLink">book</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=bundles" class="TagLink">bundles</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=calculus" class="TagLink">calculus</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=categorical" class="TagLink">categorical</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=categories" class="TagLink">categories</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=category" class="TagLink">category</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=category-theory" class="TagLink">category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=chern-weil-theory" class="TagLink">chern-weil-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cohesion" class="TagLink">cohesion</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cohesive-homotopy-type-theory" class="TagLink">cohesive-homotopy-type-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cohomology" class="TagLink">cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=colimits" class="TagLink">colimits</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=combinatorics" class="TagLink">combinatorics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=complex" class="TagLink">complex</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=complex-geometry" class="TagLink">complex-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=computable-mathematics" class="TagLink">computable-mathematics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=computer-science" class="TagLink">computer-science</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=constructive" class="TagLink">constructive</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=cosmology" class="TagLink">cosmology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=deformation-theory" class="TagLink">deformation-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=descent" class="TagLink">descent</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=diagrams" class="TagLink">diagrams</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential" class="TagLink">differential</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential-cohomology" class="TagLink">differential-cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential-equations" class="TagLink">differential-equations</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=differential-geometry" class="TagLink">differential-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=digraphs" class="TagLink">digraphs</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=duality" class="TagLink">duality</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=elliptic-cohomology" class="TagLink">elliptic-cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=enriched" class="TagLink">enriched</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=fibration" class="TagLink">fibration</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=foundation" class="TagLink">foundation</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=foundations" class="TagLink">foundations</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=functional-analysis" class="TagLink">functional-analysis</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=functor" class="TagLink">functor</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=gauge-theory" class="TagLink">gauge-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=gebra" class="TagLink">gebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=geometric-quantization" class="TagLink">geometric-quantization</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=geometry" class="TagLink">geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=graph" class="TagLink">graph</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=graphs" class="TagLink">graphs</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=gravity" class="TagLink">gravity</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=grothendieck" class="TagLink">grothendieck</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=group" class="TagLink">group</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=group-theory" class="TagLink">group-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=harmonic-analysis" class="TagLink">harmonic-analysis</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher" class="TagLink">higher</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-algebra" class="TagLink">higher-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-category-theory" class="TagLink">higher-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-differential-geometry" class="TagLink">higher-differential-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-geometry" class="TagLink">higher-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-lie-theory" class="TagLink">higher-lie-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=higher-topos-theory" class="TagLink">higher-topos-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homological" class="TagLink">homological</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homological-algebra" class="TagLink">homological-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homotopy" class="TagLink">homotopy</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homotopy-theory" class="TagLink">homotopy-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=homotopy-type-theory" class="TagLink">homotopy-type-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=index-theory" class="TagLink">index-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=integration" class="TagLink">integration</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=integration-theory" class="TagLink">integration-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=internal-categories" class="TagLink">internal-categories</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=k-theory" class="TagLink">k-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=lie-theory" class="TagLink">lie-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=limits" class="TagLink">limits</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=linear" class="TagLink">linear</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=linear-algebra" class="TagLink">linear-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=locale" class="TagLink">locale</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=localization" class="TagLink">localization</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=logic" class="TagLink">logic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=mathematics" class="TagLink">mathematics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=measure" class="TagLink">measure</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=measure-theory" class="TagLink">measure-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=modal" class="TagLink">modal</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=modal-logic" class="TagLink">modal-logic</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=model" class="TagLink">model</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=model-category-theory" class="TagLink">model-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monad" class="TagLink">monad</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monads" class="TagLink">monads</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monoidal" class="TagLink">monoidal</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=monoidal-category-theory" class="TagLink">monoidal-category-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=morphism" class="TagLink">morphism</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=motives" class="TagLink">motives</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=motivic-cohomology" class="TagLink">motivic-cohomology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=nlab" class="TagLink">nlab</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=noncommutative" class="TagLink">noncommutative</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=noncommutative-geometry" class="TagLink">noncommutative-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=number-theory" class="TagLink">number-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=of" class="TagLink">of</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=operads" class="TagLink">operads</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=operator" class="TagLink">operator</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=operator-algebra" class="TagLink">operator-algebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=order-theory" class="TagLink">order-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=pages" class="TagLink">pages</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=pasting" class="TagLink">pasting</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=philosophy" class="TagLink">philosophy</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=physics" class="TagLink">physics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=pro-object" class="TagLink">pro-object</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=probability" class="TagLink">probability</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=probability-theory" class="TagLink">probability-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantization" class="TagLink">quantization</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum" class="TagLink">quantum</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-field" class="TagLink">quantum-field</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-field-theory" class="TagLink">quantum-field-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-mechanics" class="TagLink">quantum-mechanics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-physics" class="TagLink">quantum-physics</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=quantum-theory" class="TagLink">quantum-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=question" class="TagLink">question</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=representation" class="TagLink">representation</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=representation-theory" class="TagLink">representation-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=riemannian-geometry" class="TagLink">riemannian-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=scheme" class="TagLink">scheme</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=schemes" class="TagLink">schemes</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=set" class="TagLink">set</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=set-theory" class="TagLink">set-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=sheaf" class="TagLink">sheaf</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=simplicial" class="TagLink">simplicial</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=space" class="TagLink">space</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=spin-geometry" class="TagLink">spin-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=stable-homotopy-theory" class="TagLink">stable-homotopy-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=stack" class="TagLink">stack</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=string" class="TagLink">string</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=string-theory" class="TagLink">string-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=superalgebra" class="TagLink">superalgebra</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=supergeometry" class="TagLink">supergeometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=svg" class="TagLink">svg</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=symplectic-geometry" class="TagLink">symplectic-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=synthetic-differential-geometry" class="TagLink">synthetic-differential-geometry</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=terminology" class="TagLink">terminology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=theory" class="TagLink">theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=topology" class="TagLink">topology</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=topos" class="TagLink">topos</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=topos-theory" class="TagLink">topos-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=tqft" class="TagLink">tqft</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=type" class="TagLink">type</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=type-theory" class="TagLink">type-theory</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=universal" class="TagLink">universal</a> <a href="https://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=variational-calculus" class="TagLink">variational-calculus</a></div><a href="http://getvanilla.com">Vanilla 1.1.10</a> is a product of <a href="http://lussumo.com">Lussumo</a>. More Information: <a href="http://lussumo.com/docs">Documentation</a>, <a href="http://lussumo.com/community">Community Support</a>.</div> <div id="Content"><div id="NoticeCollector" class="Notices"><div class="Notice">Welcome to nForum If you want to take part in these discussions either <a href="/people.php?ReturnUrl=http%3A%2F%2Fnforum.ncatlab.org%2Fsearch%2F%3FPostBackAction%3DSearch%26Type%3DTopics%26Tag%3Dtheory">sign in now</a> (if you have an account), <a href="https://nforum.ncatlab.org/people/?PostBackAction=ApplyForm">apply for one now</a> (if you don't).</div></div><div id="Form" class="Account Search"> <fieldset id="SearchSimpleFields"> <legend>Search</legend> <a href="./" onclick="ShowAdvancedSearch(); return false;" class="SearchSwitch">Advanced</a><form id="SearchSimple" method="get" action="https://nforum.ncatlab.org/search/"><div><input type="hidden" name="PostBackAction" value="Search" /> </div><ul> <li id="MainSearchInput"> <label for="txtKeywords">Search terms:</label> <input id="txtKeywords" type="text" name="Keywords" value="" class="SearchInput" /> </li> <li id="SimpleSearchRadios">Search:<input type="radio" name="Type" id="Radio_Topics" value="Topics" checked="checked" class="SearchRadio" /> <label for="Radio_Topics" class="Radio">Topics</label> <input type="radio" name="Type" id="Radio_Comments" value="Comments" class="SearchRadio" /> <label for="Radio_Comments" class="Radio">Comments</label> <input type="radio" name="Type" id="Radio_Users" value="Users" class="SearchRadio" /> <label for="Radio_Users" class="Radio">Users</label> </li> <li> <input type="submit" name="btnSubmit" value="Search" class="Button SearchButton" /> </li> </ul> </form> </fieldset><fieldset id="SearchDiscussionFields"> <legend>Discussion topic search</legend> <a href="./" onclick="ShowSimpleSearch(); return false;" class="SearchSwitch">Simple</a><form id="SearchDiscussions" method="get" action="https://nforum.ncatlab.org/search/"><div><input type="hidden" name="PostBackAction" value="Search" /> <input type="hidden" name="Type" value="Discussions" /> <input type="hidden" name="Advanced" value="1" /> </div><ul> <li> <label for="txtDiscussionKeywords">Find discussion topics containing</label> <input id="txtDiscussionKeywords" type="text" name="Keywords" value="" class="SearchInput AdvancedSearchInput" /> </li><li> <label for="ddDiscussionCategories">in the category</label> <select name="Categories[]" class="SearchSelect" id="ddDiscussionCategories" multiple="multiple" size="5"> <option value="" selected="selected">All categories</option> <option value="nLab" >nLab</option> <option value="- Latest Changes" >- Latest Changes</option> <option value="- HoTT: Latest Changes" >- HoTT: Latest Changes</option> <option value="- CatLab: Latest Changes" >- CatLab: Latest Changes</option> <option value="- nLab General Discussions" >- nLab General Discussions</option> <option value="- Lab Elf News" >- Lab Elf News</option> <option value="- Diagrams" >- Diagrams</option> <option value="- nLab Organisation" >- nLab Organisation</option> <option value="- nLab Technical Matters" >- nLab Technical Matters</option> <option value="nJournal" >nJournal</option> <option value="- nJournal Organisation" >- nJournal Organisation</option> <option value="- nJournal Technical" >- nJournal Technical</option> <option value="- nJournal Articles" >- nJournal Articles</option> <option value="Atrium" >Atrium</option> <option value="- Mathematics, Physics & Philosophy" >- Mathematics, Physics & Philosophy</option> <option value="- Preprints & Publications" >- Preprints & Publications</option> <option value="n-Forum" >n-Forum</option> </select> </li><li> <label for="DiscussionAuthUsername">where the author was</label> <input id="DiscussionAuthUsername" name="AuthUsername" type="text" value="" class="SearchInput AdvancedUserInput" /> <script type="text/javascript"> var DiscussionAutoComplete = new AutoComplete("DiscussionAuthUsername", false); DiscussionAutoComplete.TableID = "DiscussionAutoCompleteResults"; DiscussionAutoComplete.KeywordSourceUrl = "/ajax/getusers.php?Search="; </script> </li> <li> <input type="submit" name="btnSubmit" value="Search" class="Button SearchButton" /> </li> </ul> </form> </fieldset><fieldset id="SearchCommentFields"> <legend>Discussion comment search</legend><form id="SearchComments" method="get" action="https://nforum.ncatlab.org/search/"><div><input type="hidden" name="PostBackAction" value="Search" /> <input type="hidden" name="Advanced" value="1" /> <input type="hidden" name="Type" value="Comments" /> </div><ul> <li> <label for="txtCommentKeywords">Find comments containing</label> <input id="txtCommentKeywords" type="text" name="Keywords" value="" class="SearchInput AdvancedSearchInput" /> </li><li> <label for="ddCommentCategories">in the category</label> <select name="Categories[]" class="SearchSelect" id="ddCommentCategories" multiple="multiple" size="5"> <option value="" selected="selected">All categories</option> <option value="nLab" >nLab</option> <option value="- Latest Changes" >- Latest Changes</option> <option value="- HoTT: Latest Changes" >- HoTT: Latest Changes</option> <option value="- CatLab: Latest Changes" >- CatLab: Latest Changes</option> <option value="- nLab General Discussions" >- nLab General Discussions</option> <option value="- Lab Elf News" >- Lab Elf News</option> <option value="- Diagrams" >- Diagrams</option> <option value="- nLab Organisation" >- nLab Organisation</option> <option value="- nLab Technical Matters" >- nLab Technical Matters</option> <option value="nJournal" >nJournal</option> <option value="- nJournal Organisation" >- nJournal Organisation</option> <option value="- nJournal Technical" >- nJournal Technical</option> <option value="- nJournal Articles" >- nJournal Articles</option> <option value="Atrium" >Atrium</option> <option value="- Mathematics, Physics & Philosophy" >- Mathematics, Physics & Philosophy</option> <option value="- Preprints & Publications" >- Preprints & Publications</option> <option value="n-Forum" >n-Forum</option> </select> </li><li> <label for="CommentAuthUsername">where the author was</label> <input id="CommentAuthUsername" name="AuthUsername" type="text" value="" class="SearchInput AdvancedUserInput" /> <script type="text/javascript"> var CommentAutoComplete = new AutoComplete("CommentAuthUsername", false); CommentAutoComplete.TableID = "CommentAutoCompleteResults"; CommentAutoComplete.KeywordSourceUrl = "/ajax/getusers.php?Search="; </script> </li> <li> <input type="submit" name="btnSubmit" value="Search" class="Button SearchButton" /> </li> </ul> </form> </fieldset><fieldset id="SearchUserFields"> <legend>User account search</legend><form id="SearchUsers" method="get" action="https://nforum.ncatlab.org/search/"><div><input type="hidden" name="PostBackAction" value="Search" /> <input type="hidden" name="Advanced" value="1" /> <input type="hidden" name="Type" value="Users" /> </div><ul> <li> <label for="txtUserKeywords">Find user accounts containing</label> <input id="txtUserKeywords" type="text" name="Keywords" value="" class="SearchInput AdvancedSearchInput" /> </li> <li> <label for="ddRoles">in the role</label> <select name="Roles" class="SearchSelect" id="ddRoles"> <option value="" selected="selected">All roles</option> <option value="Steering Committee" >Steering Committee</option> <option value="Moderator" >Moderator</option> <option value="Librarian" >Librarian</option> <option value="Browser" >Browser</option> <option value="Banned" >Banned</option> <option value="Researcher" >Researcher</option> <option value="Administrator" >Administrator</option> </select> </li> <li> <label for="ddOrder">sort results by</label> <select name="UserOrder" class="SearchSelect" id="ddOrder"> <option value="" selected="selected">Username</option> <option value="Date" >Date last active</option> </select> </li> <li> <input type="submit" name="btnSubmit" value="Search" class="Button SearchButton" /> </li> </ul> </form> </fieldset> </div><div class="ContentInfo Top"> <h1>Topics</h1> <div class="PageInfo"> Results 1 to 30 for tag "theory" <div class="PageList">Previous <a href="https://nforum.ncatlab.org/search/2/?PostBackAction=Search&Type=Topics&Tag=theory">Next</a> </div> </div> </div> <div id="ContentBody"> <ol id="Discussions"> <li id="Discussion_1366" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/1366/liouville-cocycle/#Item_0">Liouville cocycle</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/1366/liouville-cocycle/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/37/">domenico_fiorenza</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/1366/liouville-cocycle/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/37/">domenico_fiorenza</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/1366/liouville-cocycle/#Item_3">Last Active</a> May 28th 2010 </li></ul> </li> <li id="Discussion_1381" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/1381/very-quick-question-about-a-lemma-from-luries-higher-topos-theory/#Item_0">Very quick question about a lemma from Lurie's Higher Topos Theory</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/1381/very-quick-question-about-a-lemma-from-luries-higher-topos-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/34/">Harry Gindi</a> </li> <li class="DiscussionComments"> Comments 7 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/1381/very-quick-question-about-a-lemma-from-luries-higher-topos-theory/#Item_7">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/1381/very-quick-question-about-a-lemma-from-luries-higher-topos-theory/#Item_7">Last Active</a> May 31st 2010 </li></ul> </li> <li id="Discussion_1717" class="Discussion Unread NewComments Category_17"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/1717/benzvi-notes-on-gauge-theory-and-representation-theory/#Item_0">Ben-Zvi notes on gauge theory and representation theory</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/17/">- Preprints & Publications</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/1717/benzvi-notes-on-gauge-theory-and-representation-theory/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/37/">domenico_fiorenza</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/1717/benzvi-notes-on-gauge-theory-and-representation-theory/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/78/">Kevin Lin</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/1717/benzvi-notes-on-gauge-theory-and-representation-theory/#Item_4">Last Active</a> Sep 3rd 2010 </li></ul> </li> <li id="Discussion_2504" class="Discussion Unread NewComments NoReplies Category_5 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/2504/impredicativity/#Item_0">impredicativity</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/2504/impredicativity/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/2504/impredicativity/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/2504/impredicativity/#Item_1">Last Active</a> Feb 19th 2011 </li></ul> </li> <li id="Discussion_2899" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/2899/small-cardinality-selection-axiom/#Item_0">small cardinality selection axiom</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/2899/small-cardinality-selection-axiom/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionComments"> Comments 7 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/2899/small-cardinality-selection-axiom/#Item_7">Last comment by</a> <a href="https://nforum.ncatlab.org/account/42/">DavidRoberts</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/2899/small-cardinality-selection-axiom/#Item_7">Last Active</a> May 24th 2021 </li></ul> </li> <li id="Discussion_3140" class="Discussion Unread NewComments Category_20 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3140/stacks-of-measures/#Item_0">Stacks of Measures</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/20/">- nLab General Discussions</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3140/stacks-of-measures/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/192/">hilbertthm90</a> </li> <li class="DiscussionComments"> Comments 14 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3140/stacks-of-measures/#Item_14">Last comment by</a> <a href="https://nforum.ncatlab.org/account/42/">DavidRoberts</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3140/stacks-of-measures/#Item_14">Last Active</a> Sep 17th 2011 </li></ul> </li> <li id="Discussion_3597" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3597/enriched-functor-categories/#Item_0">Enriched Functor Categories</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3597/enriched-functor-categories/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/561/">franeb</a> </li> <li class="DiscussionComments"> Comments 5 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3597/enriched-functor-categories/#Item_5">Last comment by</a> <a href="https://nforum.ncatlab.org/account/561/">franeb</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3597/enriched-functor-categories/#Item_5">Last Active</a> Feb 28th 2012 </li></ul> </li> <li id="Discussion_3782" class="Discussion Unread NewComments Category_19 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3782/structural-induction-over-categories/#Item_0">structural induction over categories</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/19/">Atrium</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3782/structural-induction-over-categories/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/304/">Ben_Sprott</a> </li> <li class="DiscussionComments"> Comments 8 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3782/structural-induction-over-categories/#Item_8">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3782/structural-induction-over-categories/#Item_8">Last Active</a> May 20th 2012 </li></ul> </li> <li id="Discussion_3797" class="Discussion Unread NewComments Category_19"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3797/constructive-mathematical-analysis-of-recent-quantum-states-are-real-publications/#Item_0">Constructive mathematical analysis of recent "Quantum States are Real" publications</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/19/">Atrium</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3797/constructive-mathematical-analysis-of-recent-quantum-states-are-real-publications/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/304/">Ben_Sprott</a> </li> <li class="DiscussionComments"> Comments 31 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3797/constructive-mathematical-analysis-of-recent-quantum-states-are-real-publications/#Item_31">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3/">Mike Shulman</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3797/constructive-mathematical-analysis-of-recent-quantum-states-are-real-publications/#Item_31">Last Active</a> May 20th 2012 </li></ul> </li> <li id="Discussion_3906" class="Discussion Unread NewComments Category_20 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3906/how-to-name-my-objects/#Item_0">How to name my objects?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/20/">- nLab General Discussions</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3906/how-to-name-my-objects/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/646/">porton</a> </li> <li class="DiscussionComments"> Comments 2 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3906/how-to-name-my-objects/#Item_2">Last comment by</a> <a href="https://nforum.ncatlab.org/account/42/">DavidRoberts</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3906/how-to-name-my-objects/#Item_2">Last Active</a> Jun 14th 2012 </li></ul> </li> <li id="Discussion_3915" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/3915/the-coalgebra-for-the-comonad-of-a-light-switch-an-operationalist-view-of-tqft/#Item_0">The (co)algebra for the (co)monad of a light switch, an operationalist view of TQFT</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/3915/the-coalgebra-for-the-comonad-of-a-light-switch-an-operationalist-view-of-tqft/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/304/">Ben_Sprott</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/3915/the-coalgebra-for-the-comonad-of-a-light-switch-an-operationalist-view-of-tqft/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/304/">Ben_Sprott</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/3915/the-coalgebra-for-the-comonad-of-a-light-switch-an-operationalist-view-of-tqft/#Item_1">Last Active</a> Jun 17th 2012 </li></ul> </li> <li id="Discussion_4190" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4190/computational-problems-in-extensional-type-theories/#Item_0">Computational Problems in Extensional Type Theories?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4190/computational-problems-in-extensional-type-theories/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/575/">Jon Beardsley</a> </li> <li class="DiscussionComments"> Comments 14 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4190/computational-problems-in-extensional-type-theories/#Item_14">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4190/computational-problems-in-extensional-type-theories/#Item_14">Last Active</a> Sep 8th 2012 </li></ul> </li> <li id="Discussion_4192" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4192/decidability/#Item_0">decidability</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4192/decidability/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 8 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4192/decidability/#Item_8">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4192/decidability/#Item_8">Last Active</a> Jun 6th 2023 </li></ul> </li> <li id="Discussion_4241" class="Discussion Unread NewComments NoReplies Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4241/strict-higher-groupoids/#Item_0">strict higher groupoids</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4241/strict-higher-groupoids/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/675/">ronniegpd</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4241/strict-higher-groupoids/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/675/">ronniegpd</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4241/strict-higher-groupoids/#Item_1">Last Active</a> Sep 13th 2012 </li></ul> </li> <li id="Discussion_4309" class="Discussion Unread NewComments NoReplies Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4309/telescope-conjecture/#Item_0">telescope conjecture</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4309/telescope-conjecture/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/575/">Jon Beardsley</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4309/telescope-conjecture/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/575/">Jon Beardsley</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4309/telescope-conjecture/#Item_1">Last Active</a> Sep 27th 2012 </li></ul> </li> <li id="Discussion_4326" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4326/local-homeomorphisms-of-ntopoi/#Item_0">Local homeomorphisms of n-topoi</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4326/local-homeomorphisms-of-ntopoi/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/186/">DavidCarchedi</a> </li> <li class="DiscussionComments"> Comments 19 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4326/local-homeomorphisms-of-ntopoi/#Item_19">Last comment by</a> <a href="https://nforum.ncatlab.org/account/186/">DavidCarchedi</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4326/local-homeomorphisms-of-ntopoi/#Item_19">Last Active</a> Oct 13th 2012 </li></ul> </li> <li id="Discussion_4634" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4634/roots-weights-etc/#Item_0">roots, weights, etc.</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4634/roots-weights-etc/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 9 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4634/roots-weights-etc/#Item_9">Last comment by</a> <a href="https://nforum.ncatlab.org/account/7/">TobyBartels</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4634/roots-weights-etc/#Item_9">Last Active</a> Jan 3rd 2013 </li></ul> </li> <li id="Discussion_4713" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4713/construction-of-enriched-end-requires-enrichment-cat-to-be-closed/#Item_0">Construction of enriched end requires enrichment cat to be closed?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4713/construction-of-enriched-end-requires-enrichment-cat-to-be-closed/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/887/">joe.hannon</a> </li> <li class="DiscussionComments"> Comments 6 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4713/construction-of-enriched-end-requires-enrichment-cat-to-be-closed/#Item_6">Last comment by</a> <a href="https://nforum.ncatlab.org/account/24/">Todd_Trimble</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4713/construction-of-enriched-end-requires-enrichment-cat-to-be-closed/#Item_6">Last Active</a> Feb 1st 2013 </li></ul> </li> <li id="Discussion_4800" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4800/isabelle/#Item_0">Isabelle</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4800/isabelle/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/10/">zskoda</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4800/isabelle/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4800/isabelle/#Item_4">Last Active</a> May 26th 2020 </li></ul> </li> <li id="Discussion_4906" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4906/qft-with-defects/#Item_0">QFT with defects</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4906/qft-with-defects/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 8 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4906/qft-with-defects/#Item_8">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4906/qft-with-defects/#Item_8">Last Active</a> Apr 22nd 2024 </li></ul> </li> <li id="Discussion_4940" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4940/noethers-theorem/#Item_0">Noether's theorem</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4940/noethers-theorem/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 34 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4940/noethers-theorem/#Item_34">Last comment by</a> <a href="https://nforum.ncatlab.org/account/20/">David_Corfield</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4940/noethers-theorem/#Item_34">Last Active</a> Aug 19th 2018 </li></ul> </li> <li id="Discussion_4954" class="Discussion Unread NewComments NoReplies Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4954/fiorenza-on-linfinity-algebras-of-local-observables/#Item_0">Fiorenza on L-infinity algebras of local observables</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4954/fiorenza-on-linfinity-algebras-of-local-observables/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4954/fiorenza-on-linfinity-algebras-of-local-observables/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4954/fiorenza-on-linfinity-algebras-of-local-observables/#Item_1">Last Active</a> May 28th 2013 </li></ul> </li> <li id="Discussion_4959" class="Discussion Unread NewComments NoReplies Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4959/finite-carry-extended-residue-arithmetic/#Item_0">Finite carry extended residue arithmetic</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4959/finite-carry-extended-residue-arithmetic/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/947/">NicoB</a> </li> <li class="DiscussionComments"> Comments 1 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4959/finite-carry-extended-residue-arithmetic/#Item_1">Last comment by</a> <a href="https://nforum.ncatlab.org/account/947/">NicoB</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4959/finite-carry-extended-residue-arithmetic/#Item_1">Last Active</a> May 30th 2013 </li></ul> </li> <li id="Discussion_4965" class="Discussion Unread NewComments Category_20 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/4965/kernel-of-split-epimorphism-is-cokernel-of-rightinverse/#Item_0">Kernel of split epimorphism is cokernel of right-inverse?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/20/">- nLab General Discussions</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/4965/kernel-of-split-epimorphism-is-cokernel-of-rightinverse/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/887/">joe.hannon</a> </li> <li class="DiscussionComments"> Comments 20 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/4965/kernel-of-split-epimorphism-is-cokernel-of-rightinverse/#Item_20">Last comment by</a> <a href="https://nforum.ncatlab.org/account/887/">joe.hannon</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/4965/kernel-of-split-epimorphism-is-cokernel-of-rightinverse/#Item_20">Last Active</a> Jun 13th 2013 </li></ul> </li> <li id="Discussion_5063" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5063/landauginzburg-model/#Item_0">Landau-Ginzburg model</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5063/landauginzburg-model/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 11 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5063/landauginzburg-model/#Item_11">Last comment by</a> <a href="https://nforum.ncatlab.org/account/3179/">perezl.alonso</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5063/landauginzburg-model/#Item_11">Last Active</a> Jun 7th 2024 </li></ul> </li> <li id="Discussion_5156" class="Discussion Unread NewComments Category_20 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5156/a-kring-is-a-morphism-of-kalgebras/#Item_0">a k-ring is a morphism of k-algebras?</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/20/">- nLab General Discussions</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5156/a-kring-is-a-morphism-of-kalgebras/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/887/">joe.hannon</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5156/a-kring-is-a-morphism-of-kalgebras/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/24/">Todd_Trimble</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5156/a-kring-is-a-morphism-of-kalgebras/#Item_4">Last Active</a> Aug 8th 2013 </li></ul> </li> <li id="Discussion_5517" class="Discussion Unread NewComments Category_5"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5517/intensive-and-extensive/#Item_0">intensive and extensive</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5517/intensive-and-extensive/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 4 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5517/intensive-and-extensive/#Item_4">Last comment by</a> <a href="https://nforum.ncatlab.org/account/2029/">Dean</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5517/intensive-and-extensive/#Item_4">Last Active</a> Dec 3rd 2019 </li></ul> </li> <li id="Discussion_5620" class="Discussion Unread NewComments Category_5 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5620/world-sheets-for-world-sheets/#Item_0">world sheets for world sheets</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/5/">- Latest Changes</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5620/world-sheets-for-world-sheets/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionComments"> Comments 3 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5620/world-sheets-for-world-sheets/#Item_3">Last comment by</a> <a href="https://nforum.ncatlab.org/account/4/">Urs</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5620/world-sheets-for-world-sheets/#Item_3">Last Active</a> Jan 22nd 2014 </li></ul> </li> <li id="Discussion_5655" class="Discussion Unread NewComments Category_15"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5655/alternative-decategorification/#Item_0">Alternative decategorification</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5655/alternative-decategorification/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/1170/">Skave</a> </li> <li class="DiscussionComments"> Comments 5 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5655/alternative-decategorification/#Item_5">Last comment by</a> <a href="https://nforum.ncatlab.org/account/6/">Tim_Porter</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5655/alternative-decategorification/#Item_5">Last Active</a> Feb 6th 2014 </li></ul> </li> <li id="Discussion_5732" class="Discussion Unread NewComments Category_15 Alternate"><ul> <li class="DiscussionType"> Discussion Type </li> <li class="DiscussionTopic"> discussion topic<a href="https://nforum.ncatlab.org/discussion/5732/getting-ncats-as-truncated-quasicats/#Item_0">Getting n-cats as truncated quasicats</a> </li> <li class="DiscussionCategory"> Category <a href="https://nforum.ncatlab.org/15/">- Mathematics, Physics & Philosophy</a> </li> <li class="DiscussionStarted"> <a href="https://nforum.ncatlab.org/discussion/5732/getting-ncats-as-truncated-quasicats/#Item_1">Started by</a> <a href="https://nforum.ncatlab.org/account/575/">Jon Beardsley</a> </li> <li class="DiscussionComments"> Comments 13 </li> <li class="DiscussionLastComment"> <a href="https://nforum.ncatlab.org/discussion/5732/getting-ncats-as-truncated-quasicats/#Item_13">Last comment by</a> <a href="https://nforum.ncatlab.org/account/575/">Jon Beardsley</a> </li> <li class="DiscussionActive"> <a href="https://nforum.ncatlab.org/discussion/5732/getting-ncats-as-truncated-quasicats/#Item_13">Last Active</a> Mar 18th 2014 </li></ul> </li></ol> </div><div class="ContentInfo Bottom"> <div class="PageInfo"> Results 1 to 30 for tag "theory" <div class="PageList">Previous <a href="https://nforum.ncatlab.org/search/2/?PostBackAction=Search&Type=Topics&Tag=theory">Next</a> </div> </div> <a href="http://nforum.ncatlab.org/search/?PostBackAction=Search&Type=Topics&Tag=theory#pgtop">Top of Page</a> </div></div> <a id="pgbottom" > </a> </div> </div></body> </html>